All Classes
-
All Classes Interface Summary Class Summary Exception Summary Class Description Antlr4Util A class providing utilities regarding ANTLR4 functionalities.ArrayType A type representing an IMP array defined in an IMP program.ClassType A type representing an IMP class defined in an IMP program.IMPAddOrConcat An expression modeling the plus operation (+
) that, in some languages, represents either the string concatenation or the numeric addition depending on the types of its operands.IMPAnnotationVisitor AnIMPParserBaseVisitor
that will parse annotations from IMP code.IMPArrayAccess An expression modeling the array element access operation (array[index]
).IMPAssert An assertion in an IMP program.IMPFeatures IMP'sLanguageFeatures
implementation.IMPFrontend AnIMPParserBaseVisitor
that will parse the IMP code building a representation that can be analyzed through LiSA.IMPLexer IMPNewArray An expression modeling the array allocation operation (new type[...]
).IMPNewObj An expression modeling the object allocation and initialization operation (new className(...)
).IMPParser IMPParser.AnnotationContext IMPParser.AnnotationMemberContext IMPParser.AnnotationMembersContext IMPParser.AnnotationsContext IMPParser.AnnotationValueContext IMPParser.ArgContext IMPParser.ArgumentsContext IMPParser.ArrayAccessContext IMPParser.ArrayAnnotationValueContext IMPParser.ArrayCreatorRestContext IMPParser.ArraySqDeclarationContext IMPParser.AssignmentContext IMPParser.BasicAnnotationValueContext IMPParser.BasicExprContext IMPParser.BinaryStringExprContext IMPParser.BlockContext IMPParser.BlockOrStatementContext IMPParser.ClassMemberDeclarationsContext IMPParser.ClassUnitContext IMPParser.ConstantDeclarationContext IMPParser.ConstructorDeclarationContext IMPParser.ExpressionContext IMPParser.FieldAccessContext IMPParser.FieldDeclarationContext IMPParser.FileContext IMPParser.ForDeclarationContext IMPParser.ForLoopContext IMPParser.FormalContext IMPParser.FormalsContext IMPParser.IndexContext IMPParser.InterfaceMemberDeclarationsContext IMPParser.InterfaceUnitContext IMPParser.LiteralContext IMPParser.LocalDeclarationContext IMPParser.LoopContext IMPParser.MethodCallContext IMPParser.MethodDeclarationContext IMPParser.NewBasicArrayExprContext IMPParser.NewReferenceTypeContext IMPParser.ParExprContext IMPParser.PrimitiveTypeContext IMPParser.ReceiverContext IMPParser.SignatureDeclarationContext IMPParser.StatementContext IMPParser.StringExprContext IMPParser.TernaryStringExprContext IMPParser.UnaryStringExprContext IMPParser.UnitContext IMPParser.UnitNameContext IMPParser.UnitNamesContext IMPParser.WhileLoopContext IMPParserBaseVisitor<T> This class provides an empty implementation ofIMPParserVisitor
, which can be extended to create a visitor which only needs to handle a subset of the available methods.IMPParserVisitor<T> This interface defines a complete generic visitor for a parse tree produced byIMPParser
.IMPSyntaxException An exception thrown due to an inconsistency in an imp file.IMPTypeSystem THeTypeSystem
for the IMP language.InterfaceType A type representing an IMP interface defined in an IMP program.ParsingException An exception thrown while parsing an IMP file.StringConcat The native construct representing the concatenation operation.StringConcat.IMPStringConcat An expression modeling the string contains operation.StringContains The native construct representing the contains operation.StringContains.IMPStringContains An expression modeling the string contains operation.StringEndsWith The native construct representing the endsWith operation.StringEndsWith.IMPStringEndsWith An expression modeling the string endsWith operation.StringEquals The native construct representing the equals operation.StringEquals.IMPStringEquals An expression modeling the string equals operation.StringIndexOf The native construct representing the indexOf operation.StringIndexOf.IMPStringIndexOf An expression modeling the string indexOf operation.StringLength The native construct representing the length operation.StringLength.IMPStringLength An expression modeling the string length operation.StringReplace The native construct representing the replace operation.StringReplace.IMPStringReplace An expression modeling the string replace operation.StringStartsWith The native construct representing the startsWith operation.StringStartsWith.IMPStringStartsWith An expression modeling the string startsWith operation.StringSubstring The native construct representing the substring operation.StringSubstring.IMPStringSubstring An expression modeling the string substring operation.