Searched refs:postcondition (Results 1 - 9 of 9) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage10.py | 31 from .stage6 import postcondition as precondition
33 def postcondition(ast_lifted): function
52 def postcondition(self, ast_lifted, _): member in class:Parse10
53 return postcondition(ast_lifted)
|
| H A D | stage5.py | 37 def postcondition(ast_lifted): function
76 def postcondition(self, ast_lifted, _): member in class:Parse5
77 return postcondition(ast_lifted)
|
| H A D | base.py | 45 assert self.postcondition(result, result_read)
53 assert self.postcondition(result, result_read)
63 def postcondition(self, ast_lifted, read): member in class:Transformer
|
| H A D | stage6.py | 37 def postcondition(ast_lifted): function
81 def postcondition(self, ast_lifted, _): member in class:Parse6
82 return postcondition(ast_lifted)
|
| H A D | stage8.py | 33 from .stage6 import postcondition as precondition
35 def postcondition(ast_lifted): function
135 def postcondition(self, ast_lifted, _): member in class:Parse8
136 return postcondition(ast_lifted)
|
| H A D | query.py | 29 from .stage6 import postcondition as precondition
92 def postcondition(ast_lifted): function
162 def postcondition(self, ast_lifted, _): member in class:QueryParseStage
163 return postcondition(ast_lifted)
|
| H A D | stage9.py | 90 def postcondition(self, ast_lifted, _): member in class:Parse9
|
| H A D | stage4.py | 20 stage and beyond are defined by their postcondition, which should hold on its
44 def postcondition(ast_lifted): function
198 def postcondition(self, ast_lifted, _): member in class:Parse4
199 return postcondition(ast_lifted)
|
| H A D | stage7.py | 35 from .stage6 import postcondition as precondition
225 def postcondition(self, ast_lifted, _): member in class:Parse7
|
Completed in 76 milliseconds