Package | Description |
---|---|
fmrisc.ProgramExplorer.Semantics |
Modifier and Type | Method and Description |
---|---|
static LogicChecking |
LogicChecking.createChecker(ClassSymbol csymbol,
Environment penv,
ErrorStream error)
Create checker for processing logical entities in environment set up
by the (already processed) local theory of a class.
|
static LogicChecking |
LogicChecking.createChecker(ErrorStream error)
Create checker for processing logical entities in empty environment.
|
LogicChecking |
LogicTypeTable.setChecker(LogicChecking checker)
Set checker to be used for type-checking terms in types;
must be called before process() is called.
|
Modifier and Type | Method and Description |
---|---|
LogicChecking |
LogicTypeTable.setChecker(LogicChecking checker)
Set checker to be used for type-checking terms in types;
must be called before process() is called.
|