fmrisc.ProgramExplorer.Syntax.Logic

Interface Type

All Superinterfaces:

AST, ASTLogic, ASTSource, Expression

All Known Implementing Classes:

ArrayType, AtomicType, BitType, BooleanType, FunctionType, IntType, NatType, Real0Type, RealType, RecordType, Reference, StateType, StringType, SubrangeType, SubType, TupleType, TypeBase

public interface Type
extends Expression

Interface to a type term.

Method Summary

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.Logic.Expression

getPrecedence, isLeftAssociative, isRightAssociative

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, accept, acceptChildren, print, printCore, toString, toStringCore