Index (lisa-program 0.1 API)

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

A

accept(GraphVisitor<CFG, Statement, Edge, V>, V) - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal
AccessGlobal - Class in it.unive.lisa.program.cfg.statement.global: An access to a Global of a Unit.
AccessGlobal(CFG, CodeLocation, Unit, Global) - Constructor for class it.unive.lisa.program.cfg.statement.global.AccessGlobal: Builds the global access, happening at the given location in the program.
AccessInstanceGlobal - Class in it.unive.lisa.program.cfg.statement.global: An access to an instance Global of a ClassUnit.
AccessInstanceGlobal(CFG, CodeLocation, Expression, String) - Constructor for class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal: Builds the global access, happening at the given location in the program.
Addition - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the addition operation (+).
Addition(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Addition: Builds the addition.
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.BoolType
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.Float32Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.Float64Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.Int16Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.Int32Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.Int64Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.Int8Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.StringType
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.UInt16Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.UInt32Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.UInt64Type
allInstances(TypeSystem) - Method in class it.unive.lisa.program.type.UInt8Type
And - Class in it.unive.lisa.program.cfg.statement.logic: An expression modeling the logical conjunction (&& or and).
And(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.logic.And: Builds the logical conjunction.

B

BoolType - Class in it.unive.lisa.program.type: An internal implementation of the BooleanType.
BoolType() - Constructor for class it.unive.lisa.program.type.BoolType: Builds the type.

C

canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.BoolType
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.Float32Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.Float64Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.Int16Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.Int32Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.Int64Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.Int8Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.StringType
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.UInt16Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.UInt32Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.UInt64Type
canBeAssignedTo(Type) - Method in class it.unive.lisa.program.type.UInt8Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.BoolType
commonSupertype(Type) - Method in class it.unive.lisa.program.type.Float32Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.Float64Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.Int16Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.Int32Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.Int64Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.Int8Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.StringType
commonSupertype(Type) - Method in class it.unive.lisa.program.type.UInt16Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.UInt32Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.UInt64Type
commonSupertype(Type) - Method in class it.unive.lisa.program.type.UInt8Type
compareSameClass(Statement) - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.comparison.Equal
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.comparison.GreaterOrEqual
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.comparison.GreaterThan
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.comparison.LessOrEqual
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.comparison.LessThan
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.comparison.NotEqual
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.logic.And
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.logic.Not
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.logic.Or
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Addition
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Division
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Modulo
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Multiplication
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Negation
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Remainder
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.numeric.Subtraction
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.Concat
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.Contains
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.EndsWith
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.Equals
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.IndexOf
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.Length
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.Replace
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.StartsWith
compareSameClassAndParams(Statement) - Method in class it.unive.lisa.program.cfg.statement.string.Substring
Concat - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string contains operation.
Concat(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.Concat: Builds the concat.
Contains - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string contains operation.
Contains(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.Contains: Builds the contains.

D

Division - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the division operation (/).
Division(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Division: Builds the division.

E

EndsWith - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string endsWith operation.
EndsWith(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.EndsWith: Builds the endsWith.
Equal - Class in it.unive.lisa.program.cfg.statement.comparison: An expression modeling the equality test (==).
Equal(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.comparison.Equal: Builds the equality test.
equals(Object) - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal
equals(Object) - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal
equals(Object) - Method in class it.unive.lisa.program.type.BoolType
equals(Object) - Method in class it.unive.lisa.program.type.Float32Type
equals(Object) - Method in class it.unive.lisa.program.type.Float64Type
equals(Object) - Method in class it.unive.lisa.program.type.Int16Type
equals(Object) - Method in class it.unive.lisa.program.type.Int32Type
equals(Object) - Method in class it.unive.lisa.program.type.Int64Type
equals(Object) - Method in class it.unive.lisa.program.type.Int8Type
equals(Object) - Method in class it.unive.lisa.program.type.StringType
equals(Object) - Method in class it.unive.lisa.program.type.UInt16Type
equals(Object) - Method in class it.unive.lisa.program.type.UInt32Type
equals(Object) - Method in class it.unive.lisa.program.type.UInt64Type
equals(Object) - Method in class it.unive.lisa.program.type.UInt8Type
Equals - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string equals operation.
Equals(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.Equals: Builds the equals.

F

FalseLiteral - Class in it.unive.lisa.program.cfg.statement.literal: A Literal representing the false boolean value.
FalseLiteral(CFG, CodeLocation) - Constructor for class it.unive.lisa.program.cfg.statement.literal.FalseLiteral: Builds the literal.
Float32Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 32-bit signed Literal representing a constant non-integral value.
Float32Literal(CFG, CodeLocation, float) - Constructor for class it.unive.lisa.program.cfg.statement.literal.Float32Literal: Builds the literal.
Float32Type - Class in it.unive.lisa.program.type: A signed 32-bit floating point NumericType.
Float32Type() - Constructor for class it.unive.lisa.program.type.Float32Type: Builds the type.
Float64Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 64-bit signed Literal representing a constant non-integral value.
Float64Literal(CFG, CodeLocation, double) - Constructor for class it.unive.lisa.program.cfg.statement.literal.Float64Literal: Builds the literal.
Float64Type - Class in it.unive.lisa.program.type: A signed 64-bit floating point NumericType.
Float64Type() - Constructor for class it.unive.lisa.program.type.Float64Type: Builds the type.
forwardSemantics(AnalysisState<A>, InterproceduralAnalysis<A>, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal
forwardSemantics(AnalysisState<A>, InterproceduralAnalysis<A>, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.literal.NullLiteral
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.comparison.Equal
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.comparison.GreaterOrEqual
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.comparison.GreaterThan
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.comparison.LessOrEqual
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.comparison.LessThan
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.comparison.NotEqual
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.logic.And
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.logic.Or
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Addition
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Division
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Modulo
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Multiplication
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Remainder
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Subtraction
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.Concat
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.Contains
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.EndsWith
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.Equals
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.IndexOf
fwdBinarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.StartsWith
fwdTernarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.Replace
fwdTernarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, SymbolicExpression, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.Substring
fwdUnarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal
fwdUnarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.logic.Not
fwdUnarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.numeric.Negation
fwdUnarySemantics(InterproceduralAnalysis<A>, AnalysisState<A>, SymbolicExpression, StatementStore<A>) - Method in class it.unive.lisa.program.cfg.statement.string.Length

G

getContainer() - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal: Yields the Unit where the global targeted by this access is defined.
getReceiver() - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal: Yields the expression that determines the receiver of the global access defined by this expression.
getTarget() - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal: Yields the Global targeted by this expression.
getTarget() - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal: Yields the instance Global targeted by this expression.
GreaterOrEqual - Class in it.unive.lisa.program.cfg.statement.comparison: An expression modeling the greater or equal operation (>=).
GreaterOrEqual(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.comparison.GreaterOrEqual: Builds the greater or equal.
GreaterThan - Class in it.unive.lisa.program.cfg.statement.comparison: An expression modeling the greater than operation (>).
GreaterThan(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.comparison.GreaterThan: Builds the greater than.

H

hashCode() - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal
hashCode() - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal
hashCode() - Method in class it.unive.lisa.program.type.BoolType
hashCode() - Method in class it.unive.lisa.program.type.Float32Type
hashCode() - Method in class it.unive.lisa.program.type.Float64Type
hashCode() - Method in class it.unive.lisa.program.type.Int16Type
hashCode() - Method in class it.unive.lisa.program.type.Int32Type
hashCode() - Method in class it.unive.lisa.program.type.Int64Type
hashCode() - Method in class it.unive.lisa.program.type.Int8Type
hashCode() - Method in class it.unive.lisa.program.type.StringType
hashCode() - Method in class it.unive.lisa.program.type.UInt16Type
hashCode() - Method in class it.unive.lisa.program.type.UInt32Type
hashCode() - Method in class it.unive.lisa.program.type.UInt64Type
hashCode() - Method in class it.unive.lisa.program.type.UInt8Type

I

IndexOf - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string indexOf operation.
IndexOf(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.IndexOf: Builds the indexOf.
INSTANCE - Static variable in class it.unive.lisa.program.type.BoolType: The singleton instance of this class.
INSTANCE - Static variable in class it.unive.lisa.program.type.Float32Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.Float64Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.Int16Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.Int32Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.Int64Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.Int8Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.StringType: The singleton instance of this class.
INSTANCE - Static variable in class it.unive.lisa.program.type.UInt16Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.UInt32Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.UInt64Type: The unique singleton instance of this type.
INSTANCE - Static variable in class it.unive.lisa.program.type.UInt8Type: The unique singleton instance of this type.
Int16Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 16-bit signed Literal representing a constant integral value.
Int16Literal(CFG, CodeLocation, short) - Constructor for class it.unive.lisa.program.cfg.statement.literal.Int16Literal: Builds the literal.
Int16Type - Class in it.unive.lisa.program.type: A signed 16-bit integral NumericType.
Int16Type() - Constructor for class it.unive.lisa.program.type.Int16Type: Builds the type.
Int32Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 32-bit signed Literal representing a constant integral value.
Int32Literal(CFG, CodeLocation, int) - Constructor for class it.unive.lisa.program.cfg.statement.literal.Int32Literal: Builds the literal.
Int32Type - Class in it.unive.lisa.program.type: A signed 32-bit integral NumericType.
Int32Type() - Constructor for class it.unive.lisa.program.type.Int32Type: Builds the type.
Int64Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 64-bit signed Literal representing a constant integral value.
Int64Literal(CFG, CodeLocation, long) - Constructor for class it.unive.lisa.program.cfg.statement.literal.Int64Literal: Builds the literal.
Int64Type - Class in it.unive.lisa.program.type: A signed 64-bit integral NumericType.
Int64Type() - Constructor for class it.unive.lisa.program.type.Int64Type: Builds the type.
Int8Literal - Class in it.unive.lisa.program.cfg.statement.literal: An 8-bit signed Literal representing a constant integral value.
Int8Literal(CFG, CodeLocation, byte) - Constructor for class it.unive.lisa.program.cfg.statement.literal.Int8Literal: Builds the literal.
Int8Type - Class in it.unive.lisa.program.type: A signed 8-bit integral NumericType.
Int8Type() - Constructor for class it.unive.lisa.program.type.Int8Type: Builds the type.
is16Bits() - Method in class it.unive.lisa.program.type.Float32Type
is16Bits() - Method in class it.unive.lisa.program.type.Float64Type
is16Bits() - Method in class it.unive.lisa.program.type.Int16Type
is16Bits() - Method in class it.unive.lisa.program.type.Int32Type
is16Bits() - Method in class it.unive.lisa.program.type.Int64Type
is16Bits() - Method in class it.unive.lisa.program.type.Int8Type
is16Bits() - Method in class it.unive.lisa.program.type.UInt16Type
is16Bits() - Method in class it.unive.lisa.program.type.UInt32Type
is16Bits() - Method in class it.unive.lisa.program.type.UInt64Type
is16Bits() - Method in class it.unive.lisa.program.type.UInt8Type
is32Bits() - Method in class it.unive.lisa.program.type.Float32Type
is32Bits() - Method in class it.unive.lisa.program.type.Float64Type
is32Bits() - Method in class it.unive.lisa.program.type.Int16Type
is32Bits() - Method in class it.unive.lisa.program.type.Int32Type
is32Bits() - Method in class it.unive.lisa.program.type.Int64Type
is32Bits() - Method in class it.unive.lisa.program.type.Int8Type
is32Bits() - Method in class it.unive.lisa.program.type.UInt16Type
is32Bits() - Method in class it.unive.lisa.program.type.UInt32Type
is32Bits() - Method in class it.unive.lisa.program.type.UInt64Type
is32Bits() - Method in class it.unive.lisa.program.type.UInt8Type
is64Bits() - Method in class it.unive.lisa.program.type.Float32Type
is64Bits() - Method in class it.unive.lisa.program.type.Float64Type
is64Bits() - Method in class it.unive.lisa.program.type.Int16Type
is64Bits() - Method in class it.unive.lisa.program.type.Int32Type
is64Bits() - Method in class it.unive.lisa.program.type.Int64Type
is64Bits() - Method in class it.unive.lisa.program.type.Int8Type
is64Bits() - Method in class it.unive.lisa.program.type.UInt16Type
is64Bits() - Method in class it.unive.lisa.program.type.UInt32Type
is64Bits() - Method in class it.unive.lisa.program.type.UInt64Type
is64Bits() - Method in class it.unive.lisa.program.type.UInt8Type
is8Bits() - Method in class it.unive.lisa.program.type.Float32Type
is8Bits() - Method in class it.unive.lisa.program.type.Float64Type
is8Bits() - Method in class it.unive.lisa.program.type.Int16Type
is8Bits() - Method in class it.unive.lisa.program.type.Int32Type
is8Bits() - Method in class it.unive.lisa.program.type.Int64Type
is8Bits() - Method in class it.unive.lisa.program.type.Int8Type
is8Bits() - Method in class it.unive.lisa.program.type.UInt16Type
is8Bits() - Method in class it.unive.lisa.program.type.UInt32Type
is8Bits() - Method in class it.unive.lisa.program.type.UInt64Type
is8Bits() - Method in class it.unive.lisa.program.type.UInt8Type
isIntegral() - Method in class it.unive.lisa.program.type.Float32Type
isIntegral() - Method in class it.unive.lisa.program.type.Float64Type
isIntegral() - Method in class it.unive.lisa.program.type.Int16Type
isIntegral() - Method in class it.unive.lisa.program.type.Int32Type
isIntegral() - Method in class it.unive.lisa.program.type.Int64Type
isIntegral() - Method in class it.unive.lisa.program.type.Int8Type
isIntegral() - Method in class it.unive.lisa.program.type.UInt16Type
isIntegral() - Method in class it.unive.lisa.program.type.UInt32Type
isIntegral() - Method in class it.unive.lisa.program.type.UInt64Type
isIntegral() - Method in class it.unive.lisa.program.type.UInt8Type
isUnsigned() - Method in class it.unive.lisa.program.type.Float32Type
isUnsigned() - Method in class it.unive.lisa.program.type.Float64Type
isUnsigned() - Method in class it.unive.lisa.program.type.Int16Type
isUnsigned() - Method in class it.unive.lisa.program.type.Int32Type
isUnsigned() - Method in class it.unive.lisa.program.type.Int64Type
isUnsigned() - Method in class it.unive.lisa.program.type.Int8Type
isUnsigned() - Method in class it.unive.lisa.program.type.UInt16Type
isUnsigned() - Method in class it.unive.lisa.program.type.UInt32Type
isUnsigned() - Method in class it.unive.lisa.program.type.UInt64Type
isUnsigned() - Method in class it.unive.lisa.program.type.UInt8Type
it.unive.lisa.program.cfg.statement.comparison - package it.unive.lisa.program.cfg.statement.comparison
it.unive.lisa.program.cfg.statement.global - package it.unive.lisa.program.cfg.statement.global
it.unive.lisa.program.cfg.statement.literal - package it.unive.lisa.program.cfg.statement.literal
it.unive.lisa.program.cfg.statement.logic - package it.unive.lisa.program.cfg.statement.logic
it.unive.lisa.program.cfg.statement.numeric - package it.unive.lisa.program.cfg.statement.numeric
it.unive.lisa.program.cfg.statement.string - package it.unive.lisa.program.cfg.statement.string
it.unive.lisa.program.type - package it.unive.lisa.program.type

L

Length - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string length operation.
Length(CFG, CodeLocation, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.Length: Builds the length.
LessOrEqual - Class in it.unive.lisa.program.cfg.statement.comparison: An expression modeling the less or equal operation (<=).
LessOrEqual(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.comparison.LessOrEqual: Builds the less or equal.
LessThan - Class in it.unive.lisa.program.cfg.statement.comparison: An expression modeling the less than operation (<).
LessThan(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.comparison.LessThan: Builds the less than.

M

Modulo - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the modulo operation (%, returning the Euclidean module between the two operands and taking the sign of the divisor).
Modulo(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Modulo: Builds the modulo.
Multiplication - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the multiplication operation (*).
Multiplication(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Multiplication: Builds the multiplication.

N

Negation - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the numerical negation operation (-).
Negation(CFG, CodeLocation, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Negation: Builds the numerical negation.
Not - Class in it.unive.lisa.program.cfg.statement.logic: An expression modeling the logical negation (! or not).
Not(CFG, CodeLocation, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.logic.Not: Builds the logical negation.
NotEqual - Class in it.unive.lisa.program.cfg.statement.comparison: An expression modeling the inequality test (!=).
NotEqual(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.comparison.NotEqual: Builds the inequality test.
NullLiteral - Class in it.unive.lisa.program.cfg.statement.literal: A literal representing the null constant.
NullLiteral(CFG, CodeLocation) - Constructor for class it.unive.lisa.program.cfg.statement.literal.NullLiteral: Builds the null literal, happening at the given location in the program.

O

Or - Class in it.unive.lisa.program.cfg.statement.logic: An expression modeling the logical disjunction (|| or or).
Or(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.logic.Or: Builds the logical disjunction.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.Concat: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.Contains: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.EndsWith: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.Equals: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.IndexOf: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.Length: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.Replace: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.StartsWith: Statement that has been rewritten to this operation, if any.
originating - Variable in class it.unive.lisa.program.cfg.statement.string.Substring: Statement that has been rewritten to this operation, if any.

R

Remainder - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the remainder operation (%, returning the remainder of the division between the two operands and taking the sign of the dividend).
Remainder(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Remainder: Builds the remainder.
Replace - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string replace operation.
Replace(CFG, CodeLocation, Expression, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.Replace: Builds the replace.

S

StartsWith - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string startsWith operation.
StartsWith(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.StartsWith: Builds the startsWith.
StringLiteral - Class in it.unive.lisa.program.cfg.statement.literal: A Literal representing a constant string value.
StringLiteral(CFG, CodeLocation, String) - Constructor for class it.unive.lisa.program.cfg.statement.literal.StringLiteral: Builds the literal.
StringType - Class in it.unive.lisa.program.type: An implementation of the StringType.
StringType() - Constructor for class it.unive.lisa.program.type.StringType: Builds the type.
Substring - Class in it.unive.lisa.program.cfg.statement.string: An expression modeling the string substring operation.
Substring(CFG, CodeLocation, Expression, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.string.Substring: Builds the substring.
Subtraction - Class in it.unive.lisa.program.cfg.statement.numeric: An expression modeling the subtraction operation (-).
Subtraction(CFG, CodeLocation, Expression, Expression) - Constructor for class it.unive.lisa.program.cfg.statement.numeric.Subtraction: Builds the subtraction.

T

toString() - Method in class it.unive.lisa.program.cfg.statement.global.AccessGlobal
toString() - Method in class it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal
toString() - Method in class it.unive.lisa.program.cfg.statement.literal.StringLiteral
toString() - Method in class it.unive.lisa.program.type.BoolType
toString() - Method in class it.unive.lisa.program.type.Float32Type
toString() - Method in class it.unive.lisa.program.type.Float64Type
toString() - Method in class it.unive.lisa.program.type.Int16Type
toString() - Method in class it.unive.lisa.program.type.Int32Type
toString() - Method in class it.unive.lisa.program.type.Int64Type
toString() - Method in class it.unive.lisa.program.type.Int8Type
toString() - Method in class it.unive.lisa.program.type.StringType
toString() - Method in class it.unive.lisa.program.type.UInt16Type
toString() - Method in class it.unive.lisa.program.type.UInt32Type
toString() - Method in class it.unive.lisa.program.type.UInt64Type
toString() - Method in class it.unive.lisa.program.type.UInt8Type
TrueLiteral - Class in it.unive.lisa.program.cfg.statement.literal: A Literal representing the true boolean value.
TrueLiteral(CFG, CodeLocation) - Constructor for class it.unive.lisa.program.cfg.statement.literal.TrueLiteral: Builds the literal.

U

UInt16Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 16-bit unsigned Literal representing a constant integral value.
UInt16Literal(CFG, CodeLocation, short) - Constructor for class it.unive.lisa.program.cfg.statement.literal.UInt16Literal: Builds the literal.
UInt16Type - Class in it.unive.lisa.program.type: An unsigned 16-bit integral NumericType.
UInt16Type() - Constructor for class it.unive.lisa.program.type.UInt16Type: Builds the type.
UInt32Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 32-bit unsigned Literal representing a constant integral value.
UInt32Literal(CFG, CodeLocation, int) - Constructor for class it.unive.lisa.program.cfg.statement.literal.UInt32Literal: Builds the literal.
UInt32Type - Class in it.unive.lisa.program.type: An unsigned 32-bit integral NumericType.
UInt32Type() - Constructor for class it.unive.lisa.program.type.UInt32Type: Builds the type.
UInt64Literal - Class in it.unive.lisa.program.cfg.statement.literal: A 64-bit unsigned Literal representing a constant integral value.
UInt64Literal(CFG, CodeLocation, long) - Constructor for class it.unive.lisa.program.cfg.statement.literal.UInt64Literal: Builds the literal.
UInt64Type - Class in it.unive.lisa.program.type: An unsigned 64-bit integral NumericType.
UInt64Type() - Constructor for class it.unive.lisa.program.type.UInt64Type: Builds the type.
UInt8Literal - Class in it.unive.lisa.program.cfg.statement.literal: An 8-bit unsigned Literal representing a constant integral value.
UInt8Literal(CFG, CodeLocation, byte) - Constructor for class it.unive.lisa.program.cfg.statement.literal.UInt8Literal: Builds the literal.
UInt8Type - Class in it.unive.lisa.program.type: An unsigned 8-bit integral NumericType.
UInt8Type() - Constructor for class it.unive.lisa.program.type.UInt8Type: Builds the type.

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