Package | Description |
---|---|
fmrisc.ProofNavigator.Proving.CVCL | |
fmrisc.ProofNavigator.Semantics | |
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Method and Description |
---|---|
TypeDeclaration |
CVCLParser.tdeclaration() |
TypeDeclaration |
CVCLParser.tdeclaration0() |
Modifier and Type | Method and Description |
---|---|
TypeSymbol |
Environment.putTypeDeclaration(TypeDeclaration tdecl)
put type declaration into environment
|
Modifier and Type | Method and Description |
---|---|
TypeDeclaration[] |
LetType.getDeclarations()
get declarations
|
TypeDeclaration |
TypeDeclaration.instantiate()
create instantiated copy of declaration
|
static TypeDeclaration[] |
ASTUtil.toTypeDeclarationArray(java.util.Vector<TypeDeclaration> v)
converts vector v of TypeDeclaration objects to TypeDeclaration array
|
static TypeDeclaration |
Construct.typeDeclaration(TypeDeclIdentifier name,
Type type)
construct type declaration with denoted name and type.
|
Modifier and Type | Method and Description |
---|---|
static LetType |
Construct.letType(TypeDeclaration[] declarations,
Type base)
construct let type of declarations and base type
|
Modifier and Type | Method and Description |
---|---|
static TypeDeclaration[] |
ASTUtil.toTypeDeclarationArray(java.util.Vector<TypeDeclaration> v)
converts vector v of TypeDeclaration objects to TypeDeclaration array
|
Constructor and Description |
---|
LetType(TypeDeclaration[] declarations,
Type base)
Construct let types of declarations and base types.
|