Merge branch 'master' into master

This commit is contained in:
Christian Meurin
2018-01-15 19:10:14 -08:00
committed by GitHub
14 changed files with 12621 additions and 101 deletions

View File

@@ -94,8 +94,9 @@ class Type:
self.enums = enums
def read(filename,silent=False):
def read(filename, silent=False):
schema = Schema()
print( "Try to read EXPRESS schema file" + filename)
with open(filename,'rt') as inp:
contents = inp.read()
types = re.findall(re_match_type,contents)

File diff suppressed because it is too large Load Diff