A B C D E F G H I L M N O P R S T U V W _
All Classes All Packages

A

ABSTRACT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

ABSTRACT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

ABSTRACT() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationValueContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockOrStatementContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.FileContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.IndexContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.LoopContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.NewBasicArrayExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ParExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.ReceiverContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.StringExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

accept(ParseTreeVisitor<? extends T>) - Method in class it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext

ADD - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

ADD - Static variable in class it.unive.lisa.imp.antlr.IMPParser

ADD() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

all() - Static method in class it.unive.lisa.imp.types.ArrayType

Yields all the ArrayTypes defined up to now.

all() - Static method in class it.unive.lisa.imp.types.ClassType

Yields all the ClassTypes defined up to now.

all() - Static method in class it.unive.lisa.imp.types.InterfaceType

Yields all the InterfaceTypes defined up to now.

allInstances(TypeSystem) - Method in class it.unive.lisa.imp.types.ArrayType

allInstances(TypeSystem) - Method in class it.unive.lisa.imp.types.ClassType

allInstances(TypeSystem) - Method in class it.unive.lisa.imp.types.InterfaceType

AND - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

AND - Static variable in class it.unive.lisa.imp.antlr.IMPParser

AND() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

annotation() - Method in class it.unive.lisa.imp.antlr.IMPParser

annotation() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

annotation(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

AnnotationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.AnnotationContext

annotationMember() - Method in class it.unive.lisa.imp.antlr.IMPParser

annotationMember() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

annotationMember(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

AnnotationMemberContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext

annotationMembers() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationContext

annotationMembers() - Method in class it.unive.lisa.imp.antlr.IMPParser

AnnotationMembersContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

annotations() - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

AnnotationsContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

annotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext

annotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser

AnnotationValueContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.AnnotationValueContext

Antlr4Util - Class in it.unive.lisa.imp

A class providing utilities regarding ANTLR4 functionalities.

Antlr4Util() - Constructor for class it.unive.lisa.imp.Antlr4Util

arg() - Method in class it.unive.lisa.imp.antlr.IMPParser

arg() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

arg(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

ArgContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ArgContext

arguments() - Method in class it.unive.lisa.imp.antlr.IMPParser

arguments() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

arguments() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext

ArgumentsContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

arrayAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

arrayAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser

arrayAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

arrayAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

ArrayAccessContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

arrayAnnotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationValueContext

arrayAnnotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser

ArrayAnnotationValueContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

arrayCreatorRest() - Method in class it.unive.lisa.imp.antlr.IMPParser

arrayCreatorRest() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewBasicArrayExprContext

arrayCreatorRest() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext

ArrayCreatorRestContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

arraySqDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

ArraySqDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

ArrayType - Class in it.unive.lisa.imp.types

A type representing an IMP array defined in an IMP program.

ASSERT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

ASSERT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

ASSERT() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

ASSIGN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

ASSIGN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

ASSIGN() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext

ASSIGN() - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

ASSIGN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

ASSIGN() - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

assignment() - Method in class it.unive.lisa.imp.antlr.IMPParser

assignment() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

AssignmentContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

B

basicAnnotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationValueContext

basicAnnotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

basicAnnotationValue() - Method in class it.unive.lisa.imp.antlr.IMPParser

basicAnnotationValue(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

BasicAnnotationValueContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

basicExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

basicExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

BasicExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

binarySemantics(InterproceduralAnalysis<A, H, V, T>, AnalysisState<A, H, V, T>, SymbolicExpression, SymbolicExpression, StatementStore<A, H, V, T>) - Method in class it.unive.lisa.imp.expressions.IMPAddOrConcat

binarySemantics(InterproceduralAnalysis<A, H, V, T>, AnalysisState<A, H, V, T>, SymbolicExpression, SymbolicExpression, StatementStore<A, H, V, T>) - Method in class it.unive.lisa.imp.expressions.IMPArrayAccess

binaryStringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

binaryStringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.StringExprContext

BinaryStringExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

block() - Method in class it.unive.lisa.imp.antlr.IMPParser

block() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockOrStatementContext

block() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

block() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

BlockContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.BlockContext

blockOrStatement() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockContext

blockOrStatement() - Method in class it.unive.lisa.imp.antlr.IMPParser

blockOrStatement() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

blockOrStatement() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

blockOrStatement() - Method in class it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext

blockOrStatement(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockContext

blockOrStatement(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

BlockOrStatementContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.BlockOrStatementContext

BOOLEAN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

BOOLEAN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

BOOLEAN() - Method in class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringConcat.IMPStringConcat

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringContains.IMPStringContains

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringEndsWith.IMPStringEndsWith

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringEquals.IMPStringEquals

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringIndexOf.IMPStringIndexOf

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringLength.IMPStringLength

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringReplace.IMPStringReplace

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringStartsWith.IMPStringStartsWith

Builds a new instance of this native call, according to the PluggableStatement contract.

build(CFG, CodeLocation, Expression...) - Static method in class it.unive.lisa.imp.constructs.StringSubstring.IMPStringSubstring

Builds a new instance of this native call, according to the PluggableStatement contract.

BUMP - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

BUMP - Static variable in class it.unive.lisa.imp.antlr.IMPParser

BUMP() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

C

canBeAssignedTo(Type) - Method in class it.unive.lisa.imp.types.ArrayType

canBeAssignedTo(Type) - Method in class it.unive.lisa.imp.types.ClassType

canBeAssignedTo(Type) - Method in class it.unive.lisa.imp.types.InterfaceType

canBeReferenced(Type) - Method in class it.unive.lisa.imp.types.IMPTypeSystem

channelNames - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

CLASS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

CLASS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

CLASS() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

classMemberDeclarations() - Method in class it.unive.lisa.imp.antlr.IMPParser

classMemberDeclarations() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

ClassMemberDeclarationsContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

ClassType - Class in it.unive.lisa.imp.types

A type representing an IMP class defined in an IMP program.

classUnit() - Method in class it.unive.lisa.imp.antlr.IMPParser

classUnit() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitContext

ClassUnitContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

clearAll() - Static method in class it.unive.lisa.imp.types.ArrayType

Clears the cache of ArrayTypes created up to now.

clearAll() - Static method in class it.unive.lisa.imp.types.ClassType

Clears the cache of ClassTypes created up to now.

clearAll() - Static method in class it.unive.lisa.imp.types.InterfaceType

Clears the cache of InterfaceTypes created up to now.

code - Variable in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

code - Variable in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

COMMA - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

COMMA - Static variable in class it.unive.lisa.imp.antlr.IMPParser

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

COMMA() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

COMMA(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

command - Variable in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

COMMENT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

COMMENT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

commonSupertype(Type) - Method in class it.unive.lisa.imp.types.ArrayType

commonSupertype(Type) - Method in class it.unive.lisa.imp.types.ClassType

commonSupertype(Type) - Method in class it.unive.lisa.imp.types.InterfaceType

condition - Variable in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

condition - Variable in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

CONSTANT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

CONSTANT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

CONSTANT() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

constantDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

constantDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

constantDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

constantDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

constantDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

ConstantDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

constructorDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

constructorDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

constructorDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

ConstructorDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

D

declarations - Variable in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

declarations - Variable in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

DEFINE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

DEFINE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

DEFINE() - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

DIV - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

DIV - Static variable in class it.unive.lisa.imp.antlr.IMPParser

DIV() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

DOT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

DOT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

DOT() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

DOT() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

DOT() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

DOT(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

E

ELSE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

ELSE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

ELSE() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

EQUAL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

EQUAL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

EQUAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

equals(Object) - Method in class it.unive.lisa.imp.expressions.IMPNewArray

equals(Object) - Method in class it.unive.lisa.imp.expressions.IMPNewObj

equals(Object) - Method in class it.unive.lisa.imp.types.ArrayType

equals(Object) - Method in class it.unive.lisa.imp.types.ClassType

equals(Object) - Method in class it.unive.lisa.imp.types.InterfaceType

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.ParExprContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

expression() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

expression(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

expression(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

expression(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

expression(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

ExpressionContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

expressionSemantics(InterproceduralAnalysis<A, H, V, T>, AnalysisState<A, H, V, T>, ExpressionSet<SymbolicExpression>[], StatementStore<A, H, V, T>) - Method in class it.unive.lisa.imp.expressions.IMPNewArray

expressionSemantics(InterproceduralAnalysis<A, H, V, T>, AnalysisState<A, H, V, T>, ExpressionSet<SymbolicExpression>[], StatementStore<A, H, V, T>) - Method in class it.unive.lisa.imp.expressions.IMPNewObj

EXTENDS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

EXTENDS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

EXTENDS() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

EXTENDS() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

F

fieldAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

fieldAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

fieldAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

fieldAccess() - Method in class it.unive.lisa.imp.antlr.IMPParser

FieldAccessContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

fieldDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

fieldDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

fieldDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

fieldDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

fieldDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

FieldDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

file() - Method in class it.unive.lisa.imp.antlr.IMPParser

FileContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.FileContext

FINAL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

FINAL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

FINAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

FINAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

FLOAT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

FLOAT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

FLOAT() - Method in class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

FOR - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

FOR - Static variable in class it.unive.lisa.imp.antlr.IMPParser

FOR() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

forDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

forDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

ForDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

forLoop() - Method in class it.unive.lisa.imp.antlr.IMPParser

forLoop() - Method in class it.unive.lisa.imp.antlr.IMPParser.LoopContext

ForLoopContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

formal() - Method in class it.unive.lisa.imp.antlr.IMPParser

formal() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

formal(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

FormalContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.FormalContext

formals() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

formals() - Method in class it.unive.lisa.imp.antlr.IMPParser

formals() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

formals() - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

FormalsContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

G

GE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

GE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

GE() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

getAssigningStrategy() - Method in class it.unive.lisa.imp.IMPFeatures

getATN() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getATN() - Method in class it.unive.lisa.imp.antlr.IMPParser

getBaseType() - Method in class it.unive.lisa.imp.types.ArrayType

getBooleanType() - Method in class it.unive.lisa.imp.types.IMPTypeSystem

getChannelNames() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getGrammarFileName() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getGrammarFileName() - Method in class it.unive.lisa.imp.antlr.IMPParser

getInnerType() - Method in class it.unive.lisa.imp.types.ArrayType

getIntegerType() - Method in class it.unive.lisa.imp.types.IMPTypeSystem

getMatchingStrategy() - Method in class it.unive.lisa.imp.IMPFeatures

getModeNames() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getProgramValidationLogic() - Method in class it.unive.lisa.imp.IMPFeatures

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationValueContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockOrStatementContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.FileContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.IndexContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.LoopContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewBasicArrayExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ParExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.ReceiverContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.StringExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

getRuleIndex() - Method in class it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext

getRuleNames() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getRuleNames() - Method in class it.unive.lisa.imp.antlr.IMPParser

getSerializedATN() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getSerializedATN() - Method in class it.unive.lisa.imp.antlr.IMPParser

getStringType() - Method in class it.unive.lisa.imp.types.IMPTypeSystem

getTokenNames() - Method in class it.unive.lisa.imp.antlr.IMPLexer

Deprecated.

getTokenNames() - Method in class it.unive.lisa.imp.antlr.IMPParser

Deprecated.

getTraversalStrategy() - Method in class it.unive.lisa.imp.IMPFeatures

getUnit() - Method in class it.unive.lisa.imp.types.ClassType

getUnit() - Method in class it.unive.lisa.imp.types.InterfaceType

getVocabulary() - Method in class it.unive.lisa.imp.antlr.IMPLexer

getVocabulary() - Method in class it.unive.lisa.imp.antlr.IMPParser

GT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

GT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

GT() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

H

hashCode() - Method in class it.unive.lisa.imp.expressions.IMPNewArray

hashCode() - Method in class it.unive.lisa.imp.expressions.IMPNewObj

hashCode() - Method in class it.unive.lisa.imp.types.ArrayType

hashCode() - Method in class it.unive.lisa.imp.types.ClassType

hashCode() - Method in class it.unive.lisa.imp.types.InterfaceType

I

IDENTIFIER - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

IDENTIFIER - Static variable in class it.unive.lisa.imp.antlr.IMPParser

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMemberContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.AssignmentContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.IndexContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.ReceiverContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

IDENTIFIER() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

IDENTIFIER(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

IF - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

IF - Static variable in class it.unive.lisa.imp.antlr.IMPParser

IF() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

IMPAddOrConcat - Class in it.unive.lisa.imp.expressions

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.

IMPAddOrConcat(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.expressions.IMPAddOrConcat

Builds the addition.

IMPAnnotationVisitor - Class in it.unive.lisa.imp

An IMPParserBaseVisitor that will parse annotations from IMP code.

IMPAnnotationVisitor() - Constructor for class it.unive.lisa.imp.IMPAnnotationVisitor

IMPArrayAccess - Class in it.unive.lisa.imp.expressions

An expression modeling the array element access operation (array[index]).

IMPArrayAccess(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.expressions.IMPArrayAccess

Builds the array access.

IMPAssert - Class in it.unive.lisa.imp.expressions

An assertion in an IMP program.

IMPAssert(CFG, String, int, int, Expression) - Constructor for class it.unive.lisa.imp.expressions.IMPAssert

Builds the assertion.

IMPFeatures - Class in it.unive.lisa.imp

IMP's LanguageFeatures implementation.

IMPFeatures() - Constructor for class it.unive.lisa.imp.IMPFeatures

IMPFrontend - Class in it.unive.lisa.imp

An IMPParserBaseVisitor that will parse the IMP code building a representation that can be analyzed through LiSA.

IMPLEMENTS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

IMPLEMENTS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

IMPLEMENTS() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

IMPLexer - Class in it.unive.lisa.imp.antlr

IMPLexer(CharStream) - Constructor for class it.unive.lisa.imp.antlr.IMPLexer

IMPNewArray - Class in it.unive.lisa.imp.expressions

An expression modeling the array allocation operation (new type[...]).

IMPNewArray(CFG, String, int, int, Type, boolean, Expression[]) - Constructor for class it.unive.lisa.imp.expressions.IMPNewArray

Builds the array allocation.

IMPNewObj - Class in it.unive.lisa.imp.expressions

An expression modeling the object allocation and initialization operation (new className(...)).

IMPNewObj(CFG, String, int, int, Type, boolean, Expression...) - Constructor for class it.unive.lisa.imp.expressions.IMPNewObj

Builds the object allocation and initialization.

IMPParser - Class in it.unive.lisa.imp.antlr

IMPParser(TokenStream) - Constructor for class it.unive.lisa.imp.antlr.IMPParser

IMPParser.AnnotationContext - Class in it.unive.lisa.imp.antlr

IMPParser.AnnotationMemberContext - Class in it.unive.lisa.imp.antlr

IMPParser.AnnotationMembersContext - Class in it.unive.lisa.imp.antlr

IMPParser.AnnotationsContext - Class in it.unive.lisa.imp.antlr

IMPParser.AnnotationValueContext - Class in it.unive.lisa.imp.antlr

IMPParser.ArgContext - Class in it.unive.lisa.imp.antlr

IMPParser.ArgumentsContext - Class in it.unive.lisa.imp.antlr

IMPParser.ArrayAccessContext - Class in it.unive.lisa.imp.antlr

IMPParser.ArrayAnnotationValueContext - Class in it.unive.lisa.imp.antlr

IMPParser.ArrayCreatorRestContext - Class in it.unive.lisa.imp.antlr

IMPParser.ArraySqDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.AssignmentContext - Class in it.unive.lisa.imp.antlr

IMPParser.BasicAnnotationValueContext - Class in it.unive.lisa.imp.antlr

IMPParser.BasicExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.BinaryStringExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.BlockContext - Class in it.unive.lisa.imp.antlr

IMPParser.BlockOrStatementContext - Class in it.unive.lisa.imp.antlr

IMPParser.ClassMemberDeclarationsContext - Class in it.unive.lisa.imp.antlr

IMPParser.ClassUnitContext - Class in it.unive.lisa.imp.antlr

IMPParser.ConstantDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.ConstructorDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.ExpressionContext - Class in it.unive.lisa.imp.antlr

IMPParser.FieldAccessContext - Class in it.unive.lisa.imp.antlr

IMPParser.FieldDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.FileContext - Class in it.unive.lisa.imp.antlr

IMPParser.ForDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.ForLoopContext - Class in it.unive.lisa.imp.antlr

IMPParser.FormalContext - Class in it.unive.lisa.imp.antlr

IMPParser.FormalsContext - Class in it.unive.lisa.imp.antlr

IMPParser.IndexContext - Class in it.unive.lisa.imp.antlr

IMPParser.InterfaceMemberDeclarationsContext - Class in it.unive.lisa.imp.antlr

IMPParser.InterfaceUnitContext - Class in it.unive.lisa.imp.antlr

IMPParser.LiteralContext - Class in it.unive.lisa.imp.antlr

IMPParser.LocalDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.LoopContext - Class in it.unive.lisa.imp.antlr

IMPParser.MethodCallContext - Class in it.unive.lisa.imp.antlr

IMPParser.MethodDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.NewBasicArrayExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.NewReferenceTypeContext - Class in it.unive.lisa.imp.antlr

IMPParser.ParExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.PrimitiveTypeContext - Class in it.unive.lisa.imp.antlr

IMPParser.ReceiverContext - Class in it.unive.lisa.imp.antlr

IMPParser.SignatureDeclarationContext - Class in it.unive.lisa.imp.antlr

IMPParser.StatementContext - Class in it.unive.lisa.imp.antlr

IMPParser.StringExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.TernaryStringExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.UnaryStringExprContext - Class in it.unive.lisa.imp.antlr

IMPParser.UnitContext - Class in it.unive.lisa.imp.antlr

IMPParser.UnitNameContext - Class in it.unive.lisa.imp.antlr

IMPParser.UnitNamesContext - Class in it.unive.lisa.imp.antlr

IMPParser.WhileLoopContext - Class in it.unive.lisa.imp.antlr

IMPParserBaseVisitor<T> - Class in it.unive.lisa.imp.antlr

This class provides an empty implementation of IMPParserVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.

IMPParserBaseVisitor() - Constructor for class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

IMPParserVisitor<T> - Interface in it.unive.lisa.imp.antlr

This interface defines a complete generic visitor for a parse tree produced by IMPParser.

IMPStringConcat(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringConcat.IMPStringConcat

Builds the concat.

IMPStringConcat(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringConcat.IMPStringConcat

Builds the concat.

IMPStringContains(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringContains.IMPStringContains

Builds the contains.

IMPStringContains(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringContains.IMPStringContains

Builds the contains.

IMPStringEndsWith(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringEndsWith.IMPStringEndsWith

Builds the endsWith.

IMPStringEndsWith(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringEndsWith.IMPStringEndsWith

Builds the endsWith.

IMPStringEquals(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringEquals.IMPStringEquals

Builds the equals.

IMPStringEquals(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringEquals.IMPStringEquals

Builds the equals.

IMPStringIndexOf(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringIndexOf.IMPStringIndexOf

Builds the indexOf.

IMPStringIndexOf(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringIndexOf.IMPStringIndexOf

Builds the indexOf.

IMPStringLength(CFG, CodeLocation, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringLength.IMPStringLength

Builds the length.

IMPStringLength(CFG, String, int, int, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringLength.IMPStringLength

Builds the length.

IMPStringReplace(CFG, CodeLocation, Expression, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringReplace.IMPStringReplace

Builds the replace.

IMPStringReplace(CFG, String, int, int, Expression, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringReplace.IMPStringReplace

Builds the replace.

IMPStringStartsWith(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringStartsWith.IMPStringStartsWith

Builds the startsWith.

IMPStringStartsWith(CFG, String, int, int, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringStartsWith.IMPStringStartsWith

Builds the startsWith.

IMPStringSubstring(CFG, CodeLocation, Expression, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringSubstring.IMPStringSubstring

Builds the substring.

IMPStringSubstring(CFG, String, int, int, Expression, Expression, Expression) - Constructor for class it.unive.lisa.imp.constructs.StringSubstring.IMPStringSubstring

Builds the substring.

IMPSyntaxException - Exception in it.unive.lisa.imp

An exception thrown due to an inconsistency in an imp file.

IMPSyntaxException() - Constructor for exception it.unive.lisa.imp.IMPSyntaxException

Builds the exception.

IMPSyntaxException(String) - Constructor for exception it.unive.lisa.imp.IMPSyntaxException

Builds the exception.

IMPSyntaxException(String, Throwable) - Constructor for exception it.unive.lisa.imp.IMPSyntaxException

Builds the exception.

IMPSyntaxException(Throwable) - Constructor for exception it.unive.lisa.imp.IMPSyntaxException

Builds the exception.

IMPTypeSystem - Class in it.unive.lisa.imp.types

THe TypeSystem for the IMP language.

IMPTypeSystem() - Constructor for class it.unive.lisa.imp.types.IMPTypeSystem

index() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

index() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

index() - Method in class it.unive.lisa.imp.antlr.IMPParser

index(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

index(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

IndexContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.IndexContext

initDecl - Variable in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

initExpr - Variable in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

INT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

INT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

INT() - Method in class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

INTERFACE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

INTERFACE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

INTERFACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

interfaceMemberDeclarations() - Method in class it.unive.lisa.imp.antlr.IMPParser

interfaceMemberDeclarations() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

InterfaceMemberDeclarationsContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

InterfaceType - Class in it.unive.lisa.imp.types

A type representing an IMP interface defined in an IMP program.

interfaceUnit() - Method in class it.unive.lisa.imp.antlr.IMPParser

interfaceUnit() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitContext

InterfaceUnitContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

it.unive.lisa.imp - package it.unive.lisa.imp

it.unive.lisa.imp.antlr - package it.unive.lisa.imp.antlr

it.unive.lisa.imp.constructs - package it.unive.lisa.imp.constructs

it.unive.lisa.imp.expressions - package it.unive.lisa.imp.expressions

it.unive.lisa.imp.types - package it.unive.lisa.imp.types

L

LBRACE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LBRACE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LBRACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockContext

LBRACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

LBRACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

LBRACK - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LBRACK - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

LBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

LBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

LBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

LBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

LBRACK(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

LBRACK(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

LBRACK(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

LE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LE() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

left - Variable in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

left - Variable in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

left - Variable in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

LINE_COMMENT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LINE_COMMENT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

literal() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

literal() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

literal() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

literal() - Method in class it.unive.lisa.imp.antlr.IMPParser

LITERAL_BOOL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LITERAL_BOOL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LITERAL_BOOL() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

LITERAL_BOOL() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

LITERAL_DECIMAL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LITERAL_DECIMAL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LITERAL_DECIMAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

LITERAL_DECIMAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.IndexContext

LITERAL_DECIMAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

LITERAL_FLOAT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LITERAL_FLOAT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LITERAL_FLOAT() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

LITERAL_FLOAT() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

LITERAL_NULL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LITERAL_NULL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LITERAL_NULL() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

LITERAL_STRING - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LITERAL_STRING - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LITERAL_STRING() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

LITERAL_STRING() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

LiteralContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

localDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

localDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

localDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

LocalDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.LocalDeclarationContext

lookup(Type, int) - Static method in class it.unive.lisa.imp.types.ArrayType

Yields a unique instance (either an existing one or a fresh one) of ArrayType representing an array with the given base type and the given dimensions.

lookup(String, CompilationUnit) - Static method in class it.unive.lisa.imp.types.ClassType

Yields a unique instance (either an existing one or a fresh one) of ClassType representing a class with the given name, representing the given unit.

lookup(String, InterfaceUnit) - Static method in class it.unive.lisa.imp.types.InterfaceType

Yields a unique instance (either an existing one or a fresh one) of InterfaceType representing an interface with the given name, representing the given unit.

loop() - Method in class it.unive.lisa.imp.antlr.IMPParser

loop() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

LoopContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.LoopContext

LPAREN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LPAREN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ParExprContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

LPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

LT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

LT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

LT() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

M

methodCall() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

methodCall() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

methodCall() - Method in class it.unive.lisa.imp.antlr.IMPParser

MethodCallContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

methodDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

methodDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

methodDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

methodDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

methodDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

MethodDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

middle - Variable in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

MOD - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

MOD - Static variable in class it.unive.lisa.imp.antlr.IMPParser

MOD() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

modeNames - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

MUL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

MUL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

MUL() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

N

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.AnnotationContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.FormalContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

name - Variable in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

nested - Variable in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

NEW - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

NEW - Static variable in class it.unive.lisa.imp.antlr.IMPParser

NEW() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

newBasicArrayExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

newBasicArrayExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

NewBasicArrayExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.NewBasicArrayExprContext

newReferenceType() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

newReferenceType() - Method in class it.unive.lisa.imp.antlr.IMPParser

NewReferenceTypeContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.NewReferenceTypeContext

NOT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

NOT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

NOT() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

NOTEQUAL - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

NOTEQUAL - Static variable in class it.unive.lisa.imp.antlr.IMPParser

NOTEQUAL() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

O

op - Variable in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

OR - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

OR - Static variable in class it.unive.lisa.imp.antlr.IMPParser

OR() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

otherwise - Variable in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

P

paren - Variable in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

parExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

parExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

parExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext

ParExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ParExprContext

pars - Variable in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

pars - Variable in class it.unive.lisa.imp.antlr.IMPParser.MethodDeclarationContext

ParsingException - Exception in it.unive.lisa.imp

An exception thrown while parsing an IMP file.

ParsingException() - Constructor for exception it.unive.lisa.imp.ParsingException

Builds the exception.

ParsingException(String) - Constructor for exception it.unive.lisa.imp.ParsingException

Builds the exception.

ParsingException(String, Throwable) - Constructor for exception it.unive.lisa.imp.ParsingException

Builds the exception.

ParsingException(Throwable) - Constructor for exception it.unive.lisa.imp.ParsingException

Builds the exception.

post - Variable in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

primitiveType() - Method in class it.unive.lisa.imp.antlr.IMPParser.NewBasicArrayExprContext

primitiveType() - Method in class it.unive.lisa.imp.antlr.IMPParser

PrimitiveTypeContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

processFile(String) - Static method in class it.unive.lisa.imp.IMPFrontend

Parses a file using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from that file.

processFile(String, boolean) - Static method in class it.unive.lisa.imp.IMPFrontend

Parses a file using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from that file.

processText(String) - Static method in class it.unive.lisa.imp.IMPFrontend

Parses a piece of IMP code using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from the given text.

processText(String, boolean) - Static method in class it.unive.lisa.imp.IMPFrontend

Parses a piece of IMP code using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from the given text.

R

RBRACE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

RBRACE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RBRACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockContext

RBRACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

RBRACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

RBRACK - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

RBRACK - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationsContext

RBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

RBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAnnotationValueContext

RBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

RBRACK() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

RBRACK(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

RBRACK(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayCreatorRestContext

RBRACK(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ArraySqDeclarationContext

receiver() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArrayAccessContext

receiver() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldAccessContext

receiver() - Method in class it.unive.lisa.imp.antlr.IMPParser.MethodCallContext

receiver() - Method in class it.unive.lisa.imp.antlr.IMPParser

ReceiverContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.ReceiverContext

RETURN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

RETURN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RETURN() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

right - Variable in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

right - Variable in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

right - Variable in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

RPAREN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

RPAREN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationMembersContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgumentsContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForLoopContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.FormalsContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.ParExprContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

RPAREN() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

RULE_annotation - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_annotationMember - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_annotationMembers - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_annotations - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_annotationValue - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_arg - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_arguments - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_arrayAccess - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_arrayAnnotationValue - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_arrayCreatorRest - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_arraySqDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_assignment - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_basicAnnotationValue - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_basicExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_binaryStringExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_block - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_blockOrStatement - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_classMemberDeclarations - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_classUnit - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_constantDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_constructorDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_expression - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_fieldAccess - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_fieldDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_file - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_forDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_forLoop - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_formal - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_formals - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_index - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_interfaceMemberDeclarations - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_interfaceUnit - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_literal - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_localDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_loop - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_methodCall - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_methodDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_newBasicArrayExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_newReferenceType - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_parExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_primitiveType - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_receiver - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_signatureDeclaration - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_statement - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_stringExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_ternaryStringExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_unaryStringExpr - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_unit - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_unitName - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_unitNames - Static variable in class it.unive.lisa.imp.antlr.IMPParser

RULE_whileLoop - Static variable in class it.unive.lisa.imp.antlr.IMPParser

ruleNames - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

ruleNames - Static variable in class it.unive.lisa.imp.antlr.IMPParser

S

SEMI - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

SEMI - Static variable in class it.unive.lisa.imp.antlr.IMPParser

SEMI() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

SEMI() - Method in class it.unive.lisa.imp.antlr.IMPParser.FieldDeclarationContext

SEMI() - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

SEMI() - Method in class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

SEMI() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

SEMI(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ForDeclarationContext

sempred(RuleContext, int, int) - Method in class it.unive.lisa.imp.antlr.IMPParser

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringConcat.IMPStringConcat

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringContains.IMPStringContains

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringEndsWith.IMPStringEndsWith

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringEquals.IMPStringEquals

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringIndexOf.IMPStringIndexOf

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringLength.IMPStringLength

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringReplace.IMPStringReplace

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringStartsWith.IMPStringStartsWith

setOriginatingStatement(Statement) - Method in class it.unive.lisa.imp.constructs.StringSubstring.IMPStringSubstring

signatureDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

signatureDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

signatureDeclaration() - Method in class it.unive.lisa.imp.antlr.IMPParser

signatureDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassMemberDeclarationsContext

signatureDeclaration(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceMemberDeclarationsContext

SignatureDeclarationContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.SignatureDeclarationContext

skip - Variable in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

statement() - Method in class it.unive.lisa.imp.antlr.IMPParser.BlockOrStatementContext

statement() - Method in class it.unive.lisa.imp.antlr.IMPParser

StatementContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.StatementContext

STRCAT - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRCAT - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRCAT() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

STRCONTAINS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRCONTAINS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRCONTAINS() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

STRENDS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRENDS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRENDS() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

STREQ - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STREQ - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STREQ() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

STRINDEXOF - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRINDEXOF - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRINDEXOF() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

STRING - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRING - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRING() - Method in class it.unive.lisa.imp.antlr.IMPParser.PrimitiveTypeContext

StringConcat - Class in it.unive.lisa.imp.constructs

The native construct representing the concatenation operation.

StringConcat(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringConcat

Builds the construct.

StringConcat.IMPStringConcat - Class in it.unive.lisa.imp.constructs

An expression modeling the string contains operation.

StringContains - Class in it.unive.lisa.imp.constructs

The native construct representing the contains operation.

StringContains(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringContains

Builds the construct.

StringContains.IMPStringContains - Class in it.unive.lisa.imp.constructs

An expression modeling the string contains operation.

StringEndsWith - Class in it.unive.lisa.imp.constructs

The native construct representing the endsWith operation.

StringEndsWith(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringEndsWith

Builds the construct.

StringEndsWith.IMPStringEndsWith - Class in it.unive.lisa.imp.constructs

An expression modeling the string endsWith operation.

StringEquals - Class in it.unive.lisa.imp.constructs

The native construct representing the equals operation.

StringEquals(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringEquals

Builds the construct.

StringEquals.IMPStringEquals - Class in it.unive.lisa.imp.constructs

An expression modeling the string equals operation.

stringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

stringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

StringExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.StringExprContext

StringIndexOf - Class in it.unive.lisa.imp.constructs

The native construct representing the indexOf operation.

StringIndexOf(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringIndexOf

Builds the construct.

StringIndexOf.IMPStringIndexOf - Class in it.unive.lisa.imp.constructs

An expression modeling the string indexOf operation.

StringLength - Class in it.unive.lisa.imp.constructs

The native construct representing the length operation.

StringLength(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringLength

Builds the construct.

StringLength.IMPStringLength - Class in it.unive.lisa.imp.constructs

An expression modeling the string length operation.

StringReplace - Class in it.unive.lisa.imp.constructs

The native construct representing the replace operation.

StringReplace(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringReplace

Builds the construct.

StringReplace.IMPStringReplace - Class in it.unive.lisa.imp.constructs

An expression modeling the string replace operation.

StringStartsWith - Class in it.unive.lisa.imp.constructs

The native construct representing the startsWith operation.

StringStartsWith(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringStartsWith

Builds the construct.

StringStartsWith.IMPStringStartsWith - Class in it.unive.lisa.imp.constructs

An expression modeling the string startsWith operation.

StringSubstring - Class in it.unive.lisa.imp.constructs

The native construct representing the substring operation.

StringSubstring(CodeLocation, ClassUnit) - Constructor for class it.unive.lisa.imp.constructs.StringSubstring

Builds the construct.

StringSubstring.IMPStringSubstring - Class in it.unive.lisa.imp.constructs

An expression modeling the string substring operation.

STRLEN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRLEN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRLEN() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

STRREPLACE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRREPLACE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRREPLACE() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

STRSTARTS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRSTARTS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRSTARTS() - Method in class it.unive.lisa.imp.antlr.IMPParser.BinaryStringExprContext

STRSUB - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

STRSUB - Static variable in class it.unive.lisa.imp.antlr.IMPParser

STRSUB() - Method in class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

SUB - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

SUB - Static variable in class it.unive.lisa.imp.antlr.IMPParser

SUB() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

SUB() - Method in class it.unive.lisa.imp.antlr.IMPParser.ExpressionContext

SUB() - Method in class it.unive.lisa.imp.antlr.IMPParser.LiteralContext

SUPER - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

SUPER - Static variable in class it.unive.lisa.imp.antlr.IMPParser

SUPER() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

SUPER() - Method in class it.unive.lisa.imp.antlr.IMPParser.ReceiverContext

superclass - Variable in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

superinterfaces - Variable in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

superinterfaces - Variable in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

T

ternaryStringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.StringExprContext

ternaryStringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

TernaryStringExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.TernaryStringExprContext

then - Variable in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

THIS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

THIS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

THIS() - Method in class it.unive.lisa.imp.antlr.IMPParser.ArgContext

THIS() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicExprContext

THIS() - Method in class it.unive.lisa.imp.antlr.IMPParser.ReceiverContext

THROW - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

THROW - Static variable in class it.unive.lisa.imp.antlr.IMPParser

THROW() - Method in class it.unive.lisa.imp.antlr.IMPParser.StatementContext

TILDE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

TILDE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

TILDE() - Method in class it.unive.lisa.imp.antlr.IMPParser.ConstructorDeclarationContext

tokenNames - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

Deprecated.

Use IMPLexer.VOCABULARY instead.

tokenNames - Static variable in class it.unive.lisa.imp.antlr.IMPParser

Deprecated.

Use IMPParser.VOCABULARY instead.

toString() - Method in class it.unive.lisa.imp.types.ArrayType

toString() - Method in class it.unive.lisa.imp.types.ClassType

toString() - Method in class it.unive.lisa.imp.types.InterfaceType

U

unarySemantics(InterproceduralAnalysis<A, H, V, T>, AnalysisState<A, H, V, T>, SymbolicExpression, StatementStore<A, H, V, T>) - Method in class it.unive.lisa.imp.expressions.IMPAssert

unaryStringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser.StringExprContext

unaryStringExpr() - Method in class it.unive.lisa.imp.antlr.IMPParser

UnaryStringExprContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.UnaryStringExprContext

unit() - Method in class it.unive.lisa.imp.antlr.IMPParser.FileContext

unit() - Method in class it.unive.lisa.imp.antlr.IMPParser

unit(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.FileContext

unit_name - Variable in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

UnitContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.UnitContext

unitName() - Method in class it.unive.lisa.imp.antlr.IMPParser.AnnotationContext

unitName() - Method in class it.unive.lisa.imp.antlr.IMPParser.BasicAnnotationValueContext

unitName() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

unitName() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

unitName() - Method in class it.unive.lisa.imp.antlr.IMPParser

unitName() - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

unitName(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

unitName(int) - Method in class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

UnitNameContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.UnitNameContext

unitNames() - Method in class it.unive.lisa.imp.antlr.IMPParser.ClassUnitContext

unitNames() - Method in class it.unive.lisa.imp.antlr.IMPParser.InterfaceUnitContext

unitNames() - Method in class it.unive.lisa.imp.antlr.IMPParser

UnitNamesContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.UnitNamesContext

V

value - Variable in class it.unive.lisa.imp.antlr.IMPParser.ConstantDeclarationContext

visitAnnotation(IMPParser.AnnotationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.annotation().

visitAnnotation(IMPParser.AnnotationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.annotation().

visitAnnotation(IMPParser.AnnotationContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitAnnotationMember(IMPParser.AnnotationMemberContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.annotationMember().

visitAnnotationMember(IMPParser.AnnotationMemberContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.annotationMember().

visitAnnotationMember(IMPParser.AnnotationMemberContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitAnnotationMembers(IMPParser.AnnotationMembersContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.annotationMembers().

visitAnnotationMembers(IMPParser.AnnotationMembersContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.annotationMembers().

visitAnnotationMembers(IMPParser.AnnotationMembersContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitAnnotations(IMPParser.AnnotationsContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.annotations().

visitAnnotations(IMPParser.AnnotationsContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.annotations().

visitAnnotations(IMPParser.AnnotationsContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitAnnotationValue(IMPParser.AnnotationValueContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.annotationValue().

visitAnnotationValue(IMPParser.AnnotationValueContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.annotationValue().

visitAnnotationValue(IMPParser.AnnotationValueContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitArg(IMPParser.ArgContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.arg().

visitArg(IMPParser.ArgContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.arg().

visitArguments(IMPParser.ArgumentsContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.arguments().

visitArguments(IMPParser.ArgumentsContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.arguments().

visitArrayAccess(IMPParser.ArrayAccessContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.arrayAccess().

visitArrayAccess(IMPParser.ArrayAccessContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.arrayAccess().

visitArrayAnnotationValue(IMPParser.ArrayAnnotationValueContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.arrayAnnotationValue().

visitArrayAnnotationValue(IMPParser.ArrayAnnotationValueContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.arrayAnnotationValue().

visitArrayAnnotationValue(IMPParser.ArrayAnnotationValueContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitArrayCreatorRest(IMPParser.ArrayCreatorRestContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.arrayCreatorRest().

visitArrayCreatorRest(IMPParser.ArrayCreatorRestContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.arrayCreatorRest().

visitArraySqDeclaration(IMPParser.ArraySqDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.arraySqDeclaration().

visitArraySqDeclaration(IMPParser.ArraySqDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.arraySqDeclaration().

visitAssignment(IMPParser.AssignmentContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.assignment().

visitAssignment(IMPParser.AssignmentContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.assignment().

visitBasicAnnotationValue(IMPParser.BasicAnnotationValueContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.basicAnnotationValue().

visitBasicAnnotationValue(IMPParser.BasicAnnotationValueContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.basicAnnotationValue().

visitBasicAnnotationValue(IMPParser.BasicAnnotationValueContext) - Method in class it.unive.lisa.imp.IMPAnnotationVisitor

visitBasicExpr(IMPParser.BasicExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.basicExpr().

visitBasicExpr(IMPParser.BasicExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.basicExpr().

visitBinaryStringExpr(IMPParser.BinaryStringExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.binaryStringExpr().

visitBinaryStringExpr(IMPParser.BinaryStringExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.binaryStringExpr().

visitBlock(IMPParser.BlockContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.block().

visitBlock(IMPParser.BlockContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.block().

visitBlockOrStatement(IMPParser.BlockOrStatementContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.blockOrStatement().

visitBlockOrStatement(IMPParser.BlockOrStatementContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.blockOrStatement().

visitClassMemberDeclarations(IMPParser.ClassMemberDeclarationsContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.classMemberDeclarations().

visitClassMemberDeclarations(IMPParser.ClassMemberDeclarationsContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.classMemberDeclarations().

visitClassUnit(IMPParser.ClassUnitContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.classUnit().

visitClassUnit(IMPParser.ClassUnitContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.classUnit().

visitClassUnit(IMPParser.ClassUnitContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitConstantDeclaration(IMPParser.ConstantDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.constantDeclaration().

visitConstantDeclaration(IMPParser.ConstantDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.constantDeclaration().

visitConstantDeclaration(IMPParser.ConstantDeclarationContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitConstructorDeclaration(IMPParser.ConstructorDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.constructorDeclaration().

visitConstructorDeclaration(IMPParser.ConstructorDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.constructorDeclaration().

visitConstructorDeclaration(IMPParser.ConstructorDeclarationContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitExpression(IMPParser.ExpressionContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.expression().

visitExpression(IMPParser.ExpressionContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.expression().

visitFieldAccess(IMPParser.FieldAccessContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.fieldAccess().

visitFieldAccess(IMPParser.FieldAccessContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.fieldAccess().

visitFieldDeclaration(IMPParser.FieldDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.fieldDeclaration().

visitFieldDeclaration(IMPParser.FieldDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.fieldDeclaration().

visitFieldDeclaration(IMPParser.FieldDeclarationContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitFile(IMPParser.FileContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.file().

visitFile(IMPParser.FileContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.file().

visitFile(IMPParser.FileContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitForDeclaration(IMPParser.ForDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.forDeclaration().

visitForDeclaration(IMPParser.ForDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.forDeclaration().

visitForLoop(IMPParser.ForLoopContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.forLoop().

visitForLoop(IMPParser.ForLoopContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.forLoop().

visitFormal(IMPParser.FormalContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.formal().

visitFormal(IMPParser.FormalContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.formal().

visitFormal(IMPParser.FormalContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitFormals(IMPParser.FormalsContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.formals().

visitFormals(IMPParser.FormalsContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.formals().

visitFormals(IMPParser.FormalsContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitIndex(IMPParser.IndexContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.index().

visitIndex(IMPParser.IndexContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.index().

visitInterfaceMemberDeclarations(IMPParser.InterfaceMemberDeclarationsContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.interfaceMemberDeclarations().

visitInterfaceMemberDeclarations(IMPParser.InterfaceMemberDeclarationsContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.interfaceMemberDeclarations().

visitInterfaceUnit(IMPParser.InterfaceUnitContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.interfaceUnit().

visitInterfaceUnit(IMPParser.InterfaceUnitContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.interfaceUnit().

visitInterfaceUnit(IMPParser.InterfaceUnitContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitLiteral(IMPParser.LiteralContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.literal().

visitLiteral(IMPParser.LiteralContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.literal().

visitLiteral(IMPParser.LiteralContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitLocalDeclaration(IMPParser.LocalDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.localDeclaration().

visitLocalDeclaration(IMPParser.LocalDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.localDeclaration().

visitLoop(IMPParser.LoopContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.loop().

visitLoop(IMPParser.LoopContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.loop().

visitMethodCall(IMPParser.MethodCallContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.methodCall().

visitMethodCall(IMPParser.MethodCallContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.methodCall().

visitMethodDeclaration(IMPParser.MethodDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.methodDeclaration().

visitMethodDeclaration(IMPParser.MethodDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.methodDeclaration().

visitMethodDeclaration(IMPParser.MethodDeclarationContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitNewBasicArrayExpr(IMPParser.NewBasicArrayExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.newBasicArrayExpr().

visitNewBasicArrayExpr(IMPParser.NewBasicArrayExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.newBasicArrayExpr().

visitNewReferenceType(IMPParser.NewReferenceTypeContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.newReferenceType().

visitNewReferenceType(IMPParser.NewReferenceTypeContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.newReferenceType().

visitParExpr(IMPParser.ParExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.parExpr().

visitParExpr(IMPParser.ParExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.parExpr().

visitPrimitiveType(IMPParser.PrimitiveTypeContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.primitiveType().

visitPrimitiveType(IMPParser.PrimitiveTypeContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.primitiveType().

visitReceiver(IMPParser.ReceiverContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.receiver().

visitReceiver(IMPParser.ReceiverContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.receiver().

visitSignatureDeclaration(IMPParser.SignatureDeclarationContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.signatureDeclaration().

visitSignatureDeclaration(IMPParser.SignatureDeclarationContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.signatureDeclaration().

visitSignatureDeclaration(IMPParser.SignatureDeclarationContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitStatement(IMPParser.StatementContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.statement().

visitStatement(IMPParser.StatementContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.statement().

visitStringExpr(IMPParser.StringExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.stringExpr().

visitStringExpr(IMPParser.StringExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.stringExpr().

visitTernaryStringExpr(IMPParser.TernaryStringExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.ternaryStringExpr().

visitTernaryStringExpr(IMPParser.TernaryStringExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.ternaryStringExpr().

visitUnaryStringExpr(IMPParser.UnaryStringExprContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.unaryStringExpr().

visitUnaryStringExpr(IMPParser.UnaryStringExprContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.unaryStringExpr().

visitUnit(IMPParser.UnitContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.unit().

visitUnit(IMPParser.UnitContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.unit().

visitUnit(IMPParser.UnitContext) - Method in class it.unive.lisa.imp.IMPFrontend

visitUnitName(IMPParser.UnitNameContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.unitName().

visitUnitName(IMPParser.UnitNameContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.unitName().

visitUnitNames(IMPParser.UnitNamesContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.unitNames().

visitUnitNames(IMPParser.UnitNamesContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.unitNames().

visitWhileLoop(IMPParser.WhileLoopContext) - Method in class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.whileLoop().

visitWhileLoop(IMPParser.WhileLoopContext) - Method in interface it.unive.lisa.imp.antlr.IMPParserVisitor

Visit a parse tree produced by IMPParser.whileLoop().

VOCABULARY - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

VOCABULARY - Static variable in class it.unive.lisa.imp.antlr.IMPParser

W

WHILE - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

WHILE - Static variable in class it.unive.lisa.imp.antlr.IMPParser

WHILE() - Method in class it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext

whileLoop() - Method in class it.unive.lisa.imp.antlr.IMPParser.LoopContext

whileLoop() - Method in class it.unive.lisa.imp.antlr.IMPParser

WhileLoopContext(ParserRuleContext, int) - Constructor for class it.unive.lisa.imp.antlr.IMPParser.WhileLoopContext

WS - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

WS - Static variable in class it.unive.lisa.imp.antlr.IMPParser

_

_ATN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

_ATN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

_decisionToDFA - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

_decisionToDFA - Static variable in class it.unive.lisa.imp.antlr.IMPParser

_serializedATN - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

_serializedATN - Static variable in class it.unive.lisa.imp.antlr.IMPParser

_sharedContextCache - Static variable in class it.unive.lisa.imp.antlr.IMPLexer

_sharedContextCache - Static variable in class it.unive.lisa.imp.antlr.IMPParser

A B C D E F G H I L M N O P R S T U V W _
All Classes All Packages