Package | Description |
---|---|
fmrisc.ProgramExplorer.InOut | |
fmrisc.ProgramExplorer.Parser | |
fmrisc.ProgramExplorer.Semantics | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Spec |
Modifier and Type | Method and Description |
---|---|
TheoryDeclaration |
TheoryReader.read()
Read the theory declaration.
|
Modifier and Type | Method and Description |
---|---|
TheoryDeclaration |
SpecLangParser.theorydecl() |
Modifier and Type | Method and Description |
---|---|
TheoryDeclaration |
TypeTranslator.constructClassTheory(ClassSymbol csymbol)
Construct a theory declaration for the denoted class.
|
TheoryDeclaration |
TheorySymbol.getDeclaration()
Get the declaration of the theory.
|
Modifier and Type | Method and Description |
---|---|
void |
TheorySymbol.setDeclaration(TheoryDeclaration decl,
ErrorStream error)
Set and process new theory declaration
|
Constructor and Description |
---|
TheorySymbol(ClassSymbol csymbol,
Identifier name,
TheoryDeclaration decl,
ErrorStream error)
Construct local theory symbol from declaration.
|
TheorySymbol(PackageSymbol psymbol,
Identifier name,
TheoryDeclaration decl,
ErrorStream error)
Construct theory symbol from declaration.
|
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(TheoryDeclaration tree) |
void |
ASTPrinter.visit(TheoryDeclaration c) |
void |
ASTVisitorBase.visit(TheoryDeclaration tree) |
Modifier and Type | Method and Description |
---|---|
static TheoryDeclaration |
TheoryDeclaration.construct(Name pname,
Import[] imports,
Identifier name,
Name[] theories,
Declaration[] decls)
Construct a theory declaration
|
static TheoryDeclaration |
TheoryDeclaration.construct(Name pname,
java.util.Vector<Import> imports,
Identifier name,
java.util.Vector<Name> theories,
java.util.Vector<Declaration> decls)
Construct a theory.
|