e0246df26b
Since we have a DSL for specifying syscalls, we can create a verificaton method for each syscall that can cover most argument (and eventually capability) verification instead of doing it piecemeal in each syscall implementation, which can be more error-prone. Now a new _syscall_verify_* function exists for every syscall, which calls the real implementation. The syscall table for the syscall handler now maps to these verify functions. Other changes: - Updated the definition grammar to allow options to have a "key:value" style, to eventually support capabilities. - Added an "optional" option for parameters that says a syscall will accept a null value. - Some bonnibel fixes, as definition file changes weren't always properly causing updates in the build dep graph. - The syscall implementation function signatures are no longer exposed in syscall.h. Also, the unused syscall enum has been removed.
76 lines
1.9 KiB
Python
76 lines
1.9 KiB
Python
class NotFound(Exception): pass
|
|
|
|
class Context:
|
|
def __init__(self, path, verbose=False):
|
|
if isinstance(path, str):
|
|
self.__paths = [path]
|
|
else:
|
|
self.__paths = path
|
|
|
|
self.__closed = set()
|
|
self.__verbose = verbose
|
|
|
|
self.__deps = {}
|
|
|
|
self.objects = dict()
|
|
self.interfaces = dict()
|
|
|
|
verbose = property(lambda self: self.__verbose)
|
|
|
|
def find(self, filename):
|
|
from os.path import exists, isabs, join
|
|
|
|
if exists(filename) or isabs(filename):
|
|
return filename
|
|
|
|
for path in self.__paths:
|
|
full = join(path, filename)
|
|
if exists(full):
|
|
return full
|
|
|
|
raise NotFound(filename)
|
|
|
|
def parse(self, filename):
|
|
pending = set()
|
|
pending.add(filename)
|
|
|
|
from .parser import LarkError
|
|
from .parser import Lark_StandAlone as Parser
|
|
from .transformer import DefTransformer
|
|
|
|
objects = {}
|
|
interfaces = {}
|
|
|
|
while pending:
|
|
name = pending.pop()
|
|
self.__closed.add(name)
|
|
|
|
path = self.find(name)
|
|
|
|
parser = Parser(transformer=DefTransformer(name))
|
|
|
|
try:
|
|
imps, objs, ints = parser.parse(open(path, "r").read())
|
|
except LarkError as e:
|
|
import sys
|
|
import textwrap
|
|
print(f"\nError parsing {name}:", file=sys.stderr)
|
|
print(textwrap.indent(str(e), " "), file=sys.stderr)
|
|
sys.exit(1)
|
|
|
|
objects.update(objs)
|
|
interfaces.update(ints)
|
|
|
|
self.__deps[name] = imps
|
|
|
|
pending.update(imps.difference(self.__closed))
|
|
|
|
from .types import ObjectRef
|
|
ObjectRef.connect(objects)
|
|
|
|
self.objects.update(objects)
|
|
self.interfaces.update(interfaces)
|
|
|
|
def deps(self):
|
|
return {self.find(k): tuple(map(self.find, v)) for k, v in self.__deps.items()}
|