|
Peano
|
Data Structures | |
| class | Block |
Public Member Functions | |
| __init__ (self) | |
| push_block (self) | |
| pop_block (self) | |
| get_block (self) | |
| clear_block (self) | |
Protected Attributes | |
| _blocks | |
Definition at line 8 of file SyntaxTree.py.
| exahype2.api.dslhype.SyntaxTree.Context.__init__ | ( | self | ) |
Definition at line 10 of file SyntaxTree.py.
| exahype2.api.dslhype.SyntaxTree.Context.clear_block | ( | self | ) |
Definition at line 28 of file SyntaxTree.py.
References exahype2.api.dslhype.SyntaxTree.Context._blocks.
| exahype2.api.dslhype.SyntaxTree.Context.get_block | ( | self | ) |
Definition at line 23 of file SyntaxTree.py.
References exahype2.api.dslhype.SyntaxTree.Context._blocks, and exahype2.api.dslhype.SyntaxTree.Context.push_block().

| exahype2.api.dslhype.SyntaxTree.Context.pop_block | ( | self | ) |
Definition at line 17 of file SyntaxTree.py.
References exahype2.api.dslhype.SyntaxTree.Context._blocks.
| exahype2.api.dslhype.SyntaxTree.Context.push_block | ( | self | ) |
Definition at line 14 of file SyntaxTree.py.
References exahype2.api.dslhype.SyntaxTree.Context._blocks.
Referenced by exahype2.api.dslhype.SyntaxTree.Context.get_block().

|
protected |