|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
Block represents a Java block statement -- an immutable
sequence of statements.new operator to create a new instance of a class.actsFor statement.ActsForConstraint interface.ActsFor constraint.+ when applied to numbers, and the precedence of -.
o appended to l.
jltools.types.Type to the set
only if it has no supertypes already in the set.
auth
AmbExpr is an ambiguous AST node composed of a single
identifier that must resolve to an expression.AmbExpr is an ambiguous AST node composed of a single
identifier that must resolve to an expression.Ambiguous represents an ambiguous AST node.AmbNewArray interface.AmbParam interface.AmbParamTypeOrAccess interface.AmbPrefix is an ambiguous AST node composed of dot-separated
list of identifiers that must resolve to a prefix.AmbPrefix is an ambiguous AST node composed of dot-separated
list of identifiers that must resolve to a prefix.AmbPrincipalNode interface.AmbQualifierNode is an ambiguous AST node composed of
dot-separated list of identifiers that must resolve to a type qualifier.AmbQualifierNode is an ambiguous AST node composed of
dot-separated list of identifiers that must resolve to a type qualifier.AmbReceiver is an ambiguous AST node composed of
dot-separated list of identifiers that must resolve to a receiver.AmbReceiver is an ambiguous AST node composed of
dot-separated list of identifiers that must resolve to a receiver.this label node.AmbThisLabelNode interface.AmbTypeNode is an ambiguous AST node composed of
dot-separated list of identifiers that must resolve to a type.AmbTypeNode is an ambiguous AST node composed of
dot-separated list of identifiers that must resolve to a type.AmbVarLabelNode interface.AnonClassType represents an anonymous class.dims-dimensional
array of n.
ArrayAccess is an immutable representation of an
access of an array member.ArrayAccess is an immutable representation of an
access of an array member.ArrayInit is an immutable representation of
an array initializer, such as { 3, 1, { 4, 1, 5 } }.ArrayInit is an immutable representation of
an array initializer, such as { 3, 1, { 4, 1, 5 } }.ArrayType represents an array of other types.ArrayType represents an array of base java types.ArrayTypeNode is a type node for a non-canonical
array type.TypeNode represents the syntactic representation of a
Type within the abstract syntax tree.mark.
mark.
Assign represents a Java assignment expression.Assign represents a Java assignment expression.AuthConstraint interface.AuthConstraintNode interface.BarrierPass is a special pass that ensures that
all jobs complete a goal pass before any job continues.baseType updated.
n
characters.
Binary represents a Java binary expression, an
immutable pair of expressions combined with an operator.Binary represents a Java binary expression, an
immutable pair of expressions combined with an operator.&) expressions.
- BIT_AND -
Static variable in interface jltools.ast.Binary
-
- BIT_AND_ASSIGN -
Static variable in interface jltools.ast.Assign
-
- BIT_NOT -
Static variable in interface jltools.ast.Unary
-
- BIT_OR -
Static variable in class jltools.ast.Precedence
- The precedence of bitwise OR (
|) expressions.
- BIT_OR -
Static variable in interface jltools.ast.Binary
-
- BIT_OR_ASSIGN -
Static variable in interface jltools.ast.Assign
-
- BIT_XOR -
Static variable in class jltools.ast.Precedence
- The precedence of bitwise XOR (
^) expressions.
- BIT_XOR -
Static variable in interface jltools.ast.Binary
-
- BIT_XOR_ASSIGN -
Static variable in interface jltools.ast.Assign
-
- bits -
Variable in class jltools.types.Flags
-
- BitVector - class jltools.util.BitVector.
- A bit vector class implemented more naively than java.util.BitSet.
- BitVector() -
Constructor for class jltools.util.BitVector
-
- BitVector(int) -
Constructor for class jltools.util.BitVector
-
- Block - interface jltools.ast.Block.
- A
Block represents a Java block statement -- an immutable
sequence of statements. - Block_c - class jltools.ext.jl.ast.Block_c.
- A
Block represents a Java block statement -- an immutable
sequence of statements. - Block_c(Ext, Position, List) -
Constructor for class jltools.ext.jl.ast.Block_c
-
- Block(Position) -
Method in interface jltools.ast.NodeFactory
-
- Block(Position) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Block(Position) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Block(Position, List) -
Method in interface jltools.ast.NodeFactory
-
- Block(Position, List) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Block(Position, List) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Block(Position, Stmt) -
Method in interface jltools.ast.NodeFactory
-
- Block(Position, Stmt) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Block(Position, Stmt) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Block(Position, Stmt, Stmt) -
Method in interface jltools.ast.NodeFactory
-
- Block(Position, Stmt, Stmt) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Block(Position, Stmt, Stmt) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Block(Position, Stmt, Stmt, Stmt) -
Method in interface jltools.ast.NodeFactory
-
- Block(Position, Stmt, Stmt, Stmt) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Block(Position, Stmt, Stmt, Stmt) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Block(Position, Stmt, Stmt, Stmt, Stmt) -
Method in interface jltools.ast.NodeFactory
-
- Block(Position, Stmt, Stmt, Stmt, Stmt) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Block(Position, Stmt, Stmt, Stmt, Stmt) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- body -
Variable in class jltools.ext.jl.ast.Synchronized_c
-
- body -
Variable in class jltools.ext.jl.ast.For_c
-
- body -
Variable in class jltools.ext.jl.ast.ConstructorDecl_c
-
- body -
Variable in class jltools.ext.jl.ast.Initializer_c
-
- body -
Variable in class jltools.ext.jl.ast.ClassDecl_c
-
- body -
Variable in class jltools.ext.jl.ast.Catch_c
-
- body -
Variable in class jltools.ext.jl.ast.MethodDecl_c
-
- body -
Variable in class jltools.ext.jl.ast.AbstractNew_c
-
- body -
Variable in class jltools.ext.jl.ast.While_c
-
- body -
Variable in class jltools.ext.jl.ast.Do_c
-
- body -
Variable in class jltools.ext.jif.ast.LabelCase_c
-
- body() -
Method in interface jltools.ast.MethodDecl
-
- body() -
Method in interface jltools.ast.Initializer
-
- body() -
Method in interface jltools.ast.While
-
- body() -
Method in interface jltools.ast.New
-
- body() -
Method in interface jltools.ast.Synchronized
-
- body() -
Method in interface jltools.ast.ConstructorDecl
-
- body() -
Method in interface jltools.ast.Catch
-
- body() -
Method in interface jltools.ast.QualifiedNew
-
- body() -
Method in interface jltools.ast.Do
-
- body() -
Method in interface jltools.ast.ProcedureDecl
-
- body() -
Method in interface jltools.ast.ClassDecl
-
- body() -
Method in interface jltools.ast.For
- Loop body
- body() -
Method in class jltools.ext.jl.ast.Synchronized_c
- Get the body of the statement.
- body() -
Method in class jltools.ext.jl.ast.For_c
- Loop body
- body() -
Method in class jltools.ext.jl.ast.ConstructorDecl_c
- Get the body of the constructor.
- body() -
Method in class jltools.ext.jl.ast.Initializer_c
- Get the body of the initializer.
- body() -
Method in class jltools.ext.jl.ast.ClassDecl_c
-
- body() -
Method in class jltools.ext.jl.ast.Catch_c
- Get the body of the catch block.
- body() -
Method in class jltools.ext.jl.ast.MethodDecl_c
- Get the body of the method.
- body() -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- body() -
Method in class jltools.ext.jl.ast.While_c
- Get the body of the statement.
- body() -
Method in class jltools.ext.jl.ast.Do_c
- Get the body of the statement.
- body() -
Method in interface jltools.ext.jif.ast.DeclassifyStmt
-
- body() -
Method in class jltools.ext.jif.ast.LabelCase_c
-
- body() -
Method in interface jltools.ext.jif.ast.LabelCase
-
- body() -
Method in class jltools.ext.jif.ast.DeclassifyStmt_c
-
- body(<
>Block) -
Method in class jltools.ext.jl.ast.Synchronized_c
- Set the body of the statement.
- body(<
>Block) -
Method in class jltools.ext.jl.ast.ConstructorDecl_c
- Set the body of the constructor.
- body(<
>Block) -
Method in class jltools.ext.jl.ast.Initializer_c
- Set the body of the initializer.
- body(<
>Block) -
Method in class jltools.ext.jl.ast.Catch_c
- Set the body of the catch block.
- body(<
>Block) -
Method in class jltools.ext.jl.ast.MethodDecl_c
- Set the body of the method.
- body(Block) -
Method in interface jltools.ast.MethodDecl
-
- body(Block) -
Method in interface jltools.ast.Initializer
-
- body(Block) -
Method in interface jltools.ast.Synchronized
-
- body(Block) -
Method in interface jltools.ast.ConstructorDecl
-
- body(Block) -
Method in interface jltools.ast.Catch
-
- body(ClassBody) -
Method in interface jltools.ast.New
-
- body(ClassBody) -
Method in interface jltools.ast.QualifiedNew
-
- body(ClassBody) -
Method in interface jltools.ast.ClassDecl
-
- body(ClassBody) -
Method in class jltools.ext.jl.ast.ClassDecl_c
-
- body(ClassBody) -
Method in class jltools.ext.jl.ast.QualifiedNew_c
- Set the body of the expression.
- body(ClassBody) -
Method in class jltools.ext.jl.ast.New_c
- Set the body of the expression.
- body(Stmt) -
Method in interface jltools.ast.While
-
- body(Stmt) -
Method in interface jltools.ast.Do
-
- body(Stmt) -
Method in interface jltools.ast.For
-
- body(Stmt) -
Method in class jltools.ext.jl.ast.For_c
- Set the body of the statement.
- body(Stmt) -
Method in class jltools.ext.jl.ast.While_c
- Set the body of the statement.
- body(Stmt) -
Method in class jltools.ext.jl.ast.Do_c
- Set the body of the statement.
- body(Stmt) -
Method in interface jltools.ext.jif.ast.DeclassifyStmt
-
- body(Stmt) -
Method in class jltools.ext.jif.ast.LabelCase_c
-
- body(Stmt) -
Method in interface jltools.ext.jif.ast.LabelCase
-
- body(Stmt) -
Method in class jltools.ext.jif.ast.DeclassifyStmt_c
-
- bodyContextResolver(ClassType, Resolver) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- BOOLEAN -
Static variable in interface jltools.types.PrimitiveType
-
- BOOLEAN -
Static variable in class jltools.ext.jl.parse.sym
-
- BOOLEAN_ -
Variable in class jltools.ext.jl.types.TypeSystem_c
-
- BOOLEAN_LITERAL -
Static variable in class jltools.ext.jl.parse.sym
-
- Boolean() -
Method in interface jltools.types.TypeSystem
-
- Boolean() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- BooleanLit - interface jltools.ast.BooleanLit.
- A
BooleanLit represents a boolean literal expression. - BooleanLit_c - class jltools.ext.jl.ast.BooleanLit_c.
- A
BooleanLit represents a boolean literal expression. - BooleanLit_c(Ext, Position, boolean) -
Constructor for class jltools.ext.jl.ast.BooleanLit_c
-
- BooleanLit(Position, boolean) -
Method in interface jltools.ast.NodeFactory
-
- BooleanLit(Position, boolean) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- BooleanLit(Position, boolean) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- BooleanLiteral - class jltools.lex.BooleanLiteral.
- Token class for boolean literals.
- BooleanLiteral(Position, boolean, int) -
Constructor for class jltools.lex.BooleanLiteral
-
- bottom() -
Static method in class jif.lang.Label
-
- bottomLabel() -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- bottomLabel() -
Method in interface jltools.ext.jif.types.JifTypeSystem
-
- bottomLabel(Position) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- bottomLabel(Position) -
Method in interface jltools.ext.jif.types.JifTypeSystem
-
- bound() -
Method in interface jltools.ext.jif.ast.DeclassifyStmt
-
- bound() -
Method in class jltools.ext.jif.ast.DeclassifyExpr_c
-
- bound() -
Method in interface jltools.ext.jif.ast.DeclassifyExpr
-
- bound() -
Method in class jltools.ext.jif.ast.DeclassifyStmt_c
-
- bound(LabelNode) -
Method in interface jltools.ext.jif.ast.DeclassifyStmt
-
- bound(LabelNode) -
Method in class jltools.ext.jif.ast.DeclassifyExpr_c
-
- bound(LabelNode) -
Method in interface jltools.ext.jif.ast.DeclassifyExpr
-
- bound(LabelNode) -
Method in class jltools.ext.jif.ast.DeclassifyStmt_c
-
- bound(VarMap, Set) -
Method in interface jltools.ext.jif.types.Label
- Gets the upper bound of this label.
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.Label_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.VarLabel_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.DynamicLabel_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.DynamicArgLabel_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.JoinLabel_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.TopLabel_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.LabelOfVar_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.ArgLabel_c
-
- bound(VarMap, Set) -
Method in class jltools.ext.jif.types.NotTaken_c
-
- boundOf(DynamicLabel) -
Method in class jltools.ext.jif.types.VarMap
-
- boundOf(VarLabel) -
Method in class jltools.ext.jif.types.VarMap
-
- bounds -
Variable in class jltools.ext.jif.visit.JifLabelSubst
-
- Branch - interface jltools.ast.Branch.
- A
Branch is an immutable representation of a branch
statment in Java (a break or continue). - Branch_c - class jltools.ext.jl.ast.Branch_c.
- A
Branch is an immutable representation of a branch
statment in Java (a break or continue). - Branch_c(Ext, Position, Branch.Kind, String) -
Constructor for class jltools.ext.jl.ast.Branch_c
-
- Branch.Kind - class jltools.ast.Branch.Kind.
- Branch kind: either break or continue.
- Branch(Position, Branch.Kind) -
Method in interface jltools.ast.NodeFactory
-
- Branch(Position, Branch.Kind) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Branch(Position, Branch.Kind) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Branch(Position, Branch.Kind, String) -
Method in interface jltools.ast.NodeFactory
-
- Branch(Position, Branch.Kind, String) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Branch(Position, Branch.Kind, String) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- BREAK -
Static variable in interface jltools.ast.Branch
-
- BREAK -
Static variable in class jltools.ext.jl.parse.sym
-
- Break(Position) -
Method in interface jltools.ast.NodeFactory
-
- Break(Position) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Break(Position) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Break(Position, String) -
Method in interface jltools.ast.NodeFactory
-
- Break(Position, String) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Break(Position, String) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- build -
Variable in class jltools.ext.jl.ExtensionInfo.JLJob
- The build pass.
- buildPass() -
Method in class jltools.frontend.Job
- The build types pass.
- buildPass() -
Method in class jltools.ext.jl.ExtensionInfo.JLJob
- The build pass.
- buildTypes_(TypeBuilder) -
Method in interface jltools.ast.Node
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.Node_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.Expr_c
- Build type objects for the expression.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.LocalDecl_c
- Build type objects for the declaration.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.ArrayTypeNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.Import_c
- Build type objects for the import.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.FieldDecl_c
- Build type objects for the declaration.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.AmbQualifierNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.AmbTypeNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jl.ast.Formal_c
- Build type objects for the formal.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.AmbLabelNode_c
- Builds the type of this node.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.ActsForConstraintNode_c
- Builds the type of this node.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.LabeledTypeNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.AmbPrincipalNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.AuthConstraintNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.PolicyLabelNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.InstTypeNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.ParamDecl_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.AmbParam_c
- Builds types.
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.CallerConstraintNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.JoinLabelNode_c
-
- buildTypes_(TypeBuilder) -
Method in class jltools.ext.jif.ast.JifClassDecl_c
-
- buildTypes(TypeBuilder) -
Method in interface jltools.ast.Ext
-
- buildTypes(TypeBuilder) -
Method in class jltools.ext.jl.ast.Node_c
-
- buildTypes(TypeBuilder) -
Method in class jltools.ext.jl.ast.Ext_c
-
- buildTypesOverride_(TypeBuilder) -
Method in interface jltools.ast.Node
- Collects classes, methods, and fields from the AST rooted at this node
and constructs type objects for these.
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.Node_c
-
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.ConstructorDecl_c
- Build type objects for the constructor.
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.Initializer_c
- Build type objects for the initializer.
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.ClassDecl_c
-
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.MethodDecl_c
- Build type objects for the method.
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jl.ast.SourceFile_c
- Build type objects for the source file.
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jif.ast.JifMethodDecl_c
-
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jif.ast.JifConstructorDecl_c
-
- buildTypesOverride_(TypeBuilder) -
Method in class jltools.ext.jif.ast.JifClassDecl_c
-
- buildTypesOverride(TypeBuilder) -
Method in interface jltools.ast.Ext
-
- buildTypesOverride(TypeBuilder) -
Method in class jltools.ext.jl.ast.Node_c
-
- buildTypesOverride(TypeBuilder) -
Method in class jltools.ext.jl.ast.Ext_c
-
- BYTE -
Static variable in interface jltools.ast.IntLit
-
- BYTE -
Static variable in interface jltools.types.PrimitiveType
-
- BYTE -
Static variable in class jltools.ext.jl.parse.sym
-
- BYTE_ -
Variable in class jltools.ext.jl.types.TypeSystem_c
-
- Byte() -
Method in interface jltools.types.TypeSystem
-
- Byte() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
CachingResolver memoizes another ResolverCall is an immutable representation of a Java
method call.Call is an immutable representation of a Java
method call.CallerConstraint interface.CallerConstraint interface.CanonicalConstraint.CanonicalLabelNode interface.CanonicalPrincipal interface.CanonicalTypeNode is a type node for a canonical type.CanonicalTypeNode is a type node for a canonical type.Case is a representation of a Java case
statement.Case is a representation of a Java case
statement.Cast is an immutable representation of a casting
operation.Cast is an immutable representation of a casting
operation.Catch represents one half of a try...- CATCH -
Static variable in class jltools.ext.jl.parse.sym
-
- Catch_c - class jltools.ext.jl.ast.Catch_c.
- A
Catch represents one half of a try...- Catch_c(Ext, Position, Formal, <
>Block) -
Constructor for class jltools.ext.jl.ast.Catch_c
-
- Catch(Position, Formal, <
>Block) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Catch(Position, Formal, <
>Block) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Catch(Position, Formal, Block) -
Method in interface jltools.ast.NodeFactory
-
- catchBlocks -
Variable in class jltools.ext.jl.ast.Try_c
-
- catchBlocks() -
Method in interface jltools.ast.Try
-
- catchBlocks() -
Method in class jltools.ext.jl.ast.Try_c
- Get the catch blocks of the statement.
- catchBlocks(List) -
Method in interface jltools.ast.Try
-
- catchBlocks(List) -
Method in class jltools.ext.jl.ast.Try_c
- Set the catch blocks of the statement.
- catcher -
Variable in class jltools.visit.SemanticVisitor
-
- catchErrors(Node) -
Method in class jltools.visit.SemanticVisitor
- Return true if we should catch errors thrown when visiting the node.
- catchErrors(Node) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- catchType() -
Method in interface jltools.ast.Catch
-
- catchType() -
Method in class jltools.ext.jl.ast.Catch_c
- Get the catchType of the catch block.
- CHAR -
Static variable in interface jltools.types.PrimitiveType
-
- CHAR -
Static variable in class jltools.ext.jl.parse.sym
-
- CHAR_ -
Variable in class jltools.ext.jl.types.TypeSystem_c
-
- Char() -
Method in interface jltools.types.TypeSystem
-
- Char() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- CHARACTER_LITERAL -
Static variable in class jltools.ext.jl.parse.sym
-
- CharacterLiteral - class jltools.lex.CharacterLiteral.
- Token class for char literals.
- CharacterLiteral(Position, char, int) -
Constructor for class jltools.lex.CharacterLiteral
-
- CharLit - interface jltools.ast.CharLit.
- An
CharLit represents a literal in java of
char type. - CharLit_c - class jltools.ext.jl.ast.CharLit_c.
- An
CharLit represents a literal in java of
char type. - CharLit_c(Ext, Position, char) -
Constructor for class jltools.ext.jl.ast.CharLit_c
-
- CharLit(Position, char) -
Method in interface jltools.ast.NodeFactory
-
- CharLit(Position, char) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- CharLit(Position, char) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- CHARLITERAL -
Static variable in class jltools.ext.jl.parse.Lexer
-
- check(List, Class) -
Static method in class jltools.util.TypedList
- Throws an UnsupportedOperationException if any member of
may not be cast to class .
- checkAccessFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkAccessFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkActsForAuthority(Principal, JifContext) -
Method in class jltools.ext.jif.extension.JifProcedureDeclExt
- Check that there is a p' in the old "auth" set such that p' actsFor p.
- checkArguments(JifProcedureInstance, LabelChecker) -
Method in class jltools.ext.jif.extension.JifProcedureDeclExt
- This methods corresponds to the check-arguments predicate in the
thesis (Figure 4.37).
- checkCall(ReferenceType, List, ProcedureInstance, LabelChecker, SubtypeChecker, Position) -
Method in class jltools.ext.jif.extension.CallChecker
-
- checkCompilerVersion(String) -
Method in class jltools.types.LoadedClassResolver
-
- checkConstructorAuthority(ClassType, JifContext) -
Method in class jltools.ext.jif.extension.ConstructorChecker
-
- checkConstructorFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkConstructorFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkCycles(ReferenceType) -
Method in interface jltools.types.TypeSystem
-
- checkCycles(ReferenceType) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkCycles(ReferenceType, ReferenceType) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkFieldFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkFieldFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkForAssignment(Stmt, Set, LabelChecker) -
Method in class jltools.ext.jif.extension.JifConstructorDeclExt
- Check if the stmt is an assignment to a final field from a final
label field.
- checkingInits() -
Method in class jltools.ext.jif.visit.LabelChecker
-
- checkingInits(boolean) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- checkInitializerFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkInitializerFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkInitsAndBody(Label, JifConstructorInstance, <
>Block, LabelChecker) -
Method in class jltools.ext.jif.extension.JifConstructorDeclExt
- This method implements the check-inits predicate of the thesis
(Figures 4.41-45).
- checkLocalClassFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkLocalClassFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkLocalFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkLocalFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkMemberClassFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkMemberClassFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkMethodFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkMethodFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- checkPass() -
Method in class jltools.ext.jl.ExtensionInfo.JLJob
- The type check pass.
- checkTopLevelClassFlags(Flags) -
Method in interface jltools.types.TypeSystem
-
- checkTopLevelClassFlags(Flags) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- ci -
Variable in class jltools.ext.jl.ast.ConstructorDecl_c
-
- ci -
Variable in class jltools.ext.jl.ast.AbstractNew_c
-
- ci -
Variable in class jltools.ext.jl.ast.ConstructorCall_c
-
- CLASS -
Static variable in interface jltools.ast.Import
-
- CLASS -
Static variable in class jltools.ext.jl.parse.sym
-
- CLASS_ -
Variable in class jltools.ext.jl.types.TypeSystem_c
-
- Class() -
Method in interface jltools.types.TypeSystem
-
- Class() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- ClassBody - interface jltools.ast.ClassBody.
- A
ClassBody represents the body of a class or interface
declaration or the body of an anonymous class. - ClassBody_c - class jltools.ext.jl.ast.ClassBody_c.
- A
ClassBody represents the body of a class or interface
declaration or the body of an anonymous class. - ClassBody_c(Ext, Position, List) -
Constructor for class jltools.ext.jl.ast.ClassBody_c
-
- ClassBody(Position, List) -
Method in interface jltools.ast.NodeFactory
-
- ClassBody(Position, List) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- ClassBody(Position, List) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- CLASSCAST_EXN_ -
Variable in class jltools.ext.jl.types.TypeSystem_c
-
- ClassCastException() -
Method in interface jltools.types.TypeSystem
-
- ClassCastException() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- ClassContextResolver - class jltools.types.ClassContextResolver.
- A
ClassContextResolver looks up type names qualified with a class name. - classContextResolver(ClassType) -
Method in interface jltools.types.TypeSystem
- Get a resolver for looking up a type in a class context.
- classContextResolver(ClassType) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- classContextResolver(ClassType) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- ClassContextResolver(TypeSystem, ClassType) -
Constructor for class jltools.types.ClassContextResolver
-
- ClassDecl - interface jltools.ast.ClassDecl.
- A
ClassDecl represents a top-level, member, or local class
declaration. - ClassDecl_c - class jltools.ext.jl.ast.ClassDecl_c.
- A
ClassDecl is the definition of a class, abstract class,
or interface. - ClassDecl_c(Ext, Position, Flags, String, TypeNode, List, ClassBody) -
Constructor for class jltools.ext.jl.ast.ClassDecl_c
-
- ClassDecl(Position, Flags, String, TypeNode, List, ClassBody) -
Method in interface jltools.ast.NodeFactory
-
- ClassDecl(Position, Flags, String, TypeNode, List, ClassBody) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- ClassDecl(Position, Flags, String, TypeNode, List, ClassBody) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- ClassMember - interface jltools.ast.ClassMember.
- A
ClassMember is a method, a constructor, a field, an
initializer block, or another class declaration. - ClasspathLoader - class jltools.types.ClasspathLoader.
- We implement our own class loader.
- ClasspathLoader(List) -
Constructor for class jltools.types.ClasspathLoader
-
- ClassResolver - class jltools.types.ClassResolver.
- ClassResolver
Overview:
A ClassResolver is responsible for taking in the name of a class and
returning a ClassType corresponding to that name.
- ClassResolver() -
Constructor for class jltools.types.ClassResolver
-
- ClassSerializer - class jltools.visit.ClassSerializer.
- Visitor which serializes class objects and adds a field to the class
containing the serialization.
- ClassSerializer(TypeSystem, NodeFactory, Date, ErrorQueue) -
Constructor for class jltools.visit.ClassSerializer
-
- classSource(String) -
Method in class jltools.frontend.SourceLoader
- Load the source file for the given class name using the source path.
- ClassType - interface jltools.types.ClassType.
- A
ClassType represents a class, either loaded from a
classpath, parsed from a source file, or obtained from other source. - ClassType_c - class jltools.ext.jl.types.ClassType_c.
- A
ClassType represents a class -- either loaded from a
classpath, parsed from a source file, or obtained from other source. - ClassType_c() -
Constructor for class jltools.ext.jl.types.ClassType_c
- Used for deserializing types.
- ClassType_c(TypeSystem) -
Constructor for class jltools.ext.jl.types.ClassType_c
-
- ClassType_c(TypeSystem, Position) -
Constructor for class jltools.ext.jl.types.ClassType_c
-
- classType() -
Method in class jltools.types.ClassContextResolver
-
- clean -
Variable in class jltools.ext.jl.types.ParsedClassType_c
-
- clear() -
Method in class jltools.types.Flags
-
- clear() -
Method in class jltools.util.NestedMap
-
- clear() -
Method in class jltools.util.NilMap
-
- clear() -
Method in class jltools.util.TypedList
-
- clear() -
Method in class jltools.util.SubtypeSet
- Removes all elements from the set
- clear(Flags) -
Method in class jltools.types.Flags
-
- clearAbstract() -
Method in class jltools.types.Flags
-
- clearFinal() -
Method in class jltools.types.Flags
-
- clearInterface() -
Method in class jltools.types.Flags
-
- clearNative() -
Method in class jltools.types.Flags
-
- clearPrivate() -
Method in class jltools.types.Flags
-
- clearProtected() -
Method in class jltools.types.Flags
-
- clearPublic() -
Method in class jltools.types.Flags
-
- clearStatic() -
Method in class jltools.types.Flags
-
- clearStrictFP() -
Method in class jltools.types.Flags
-
- clearSynchronized() -
Method in class jltools.types.Flags
-
- clearTransient() -
Method in class jltools.types.Flags
-
- clearVolatile() -
Method in class jltools.types.Flags
-
- clone() -
Method in class jltools.util.TypedList
-
- CLONEABLE_ -
Variable in class jltools.ext.jl.types.TypeSystem_c
-
- Cloneable() -
Method in interface jltools.types.TypeSystem
-
- Cloneable() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- cloneMethod() -
Method in interface jltools.types.ArrayType
-
- cloneMethod() -
Method in class jltools.ext.jl.types.ArrayType_c
- Get the clone() method.
- close() -
Method in class jltools.frontend.Source
- Close the source file.
- close() -
Method in class jif.runtime.FileInputStream_p
- Closes this input stream and releases any system resources associated
with the stream.
- close() -
Method in class jif.runtime.FileOutputStream_p
-
- code() -
Method in interface jltools.ext.jl.types.Context_c.CodeMark
-
- code() -
Method in class jltools.ext.jl.types.Context_c.JLCodeMark
-
- CodeInstance - interface jltools.types.CodeInstance.
- A
CodeInstance contains the type information for a Java
code-chunk (a method, a constructor, or initializer). - CodeWriter - class jltools.util.CodeWriter.
- A
CodeWriter is a pretty-printing engine. - CodeWriter(OutputStream, int) -
Constructor for class jltools.util.CodeWriter
- Create a CodeWriter object with output stream
o
and width width_.
- CodeWriter(Writer, int) -
Constructor for class jltools.util.CodeWriter
- Create a CodeWriter object with output
w and
width width_.
- coinFlip() -
Method in class jltools.visit.NodeScrambler
-
- CollectionUtil - class jltools.util.CollectionUtil.
- Collection utilities.
- CollectionUtil() -
Constructor for class jltools.util.CollectionUtil
-
- COLON -
Static variable in class jltools.ext.jl.parse.sym
-
- column() -
Method in class jltools.util.Position
-
- COMMA -
Static variable in class jltools.ext.jl.parse.sym
-
- COMP -
Static variable in class jltools.ext.jl.parse.sym
-
- compare(Object, Object) -
Method in class jltools.ext.jl.types.TypeSystem_c.MostSpecificComparator
-
- compareType -
Variable in class jltools.ext.jl.ast.Instanceof_c
-
- compareType() -
Method in interface jltools.ast.Instanceof
-
- compareType() -
Method in class jltools.ext.jl.ast.Instanceof_c
- Get the type to be compared against.
- compareType(TypeNode) -
Method in interface jltools.ast.Instanceof
-
- compareType(TypeNode) -
Method in class jltools.ext.jl.ast.Instanceof_c
- Set the type to be compared against.
- COMPATIBLE -
Static variable in class jltools.types.LoadedClassResolver
-
- compile(Collection) -
Method in class jltools.frontend.Compiler
- Compile all the files listed in the set of strings
source.
- compiler -
Variable in class jltools.frontend.Job
- The compiler which performs work for the job.
- compiler -
Variable in class jltools.ext.jl.ExtensionInfo
-
- Compiler - class jltools.frontend.Compiler.
- This is the main entry point for the compiler.
- COMPILER_GENERATED -
Static variable in class jltools.util.Position
-
- compiler() -
Method in class jltools.frontend.Job
- The compiler which performs work for the job.
- compiler() -
Method in interface jltools.types.TypeSystem
- Return the compiler associated with this type system.
- compiler() -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- Compiler(Options) -
Constructor for class jltools.frontend.Compiler
- Initialize the compiler.
- compilerName() -
Method in interface jltools.frontend.ExtensionInfo
- The name of the compiler for usage messages
- compilerName() -
Method in class jltools.ext.jl.ExtensionInfo
-
- compilerName() -
Method in class jltools.ext.jif.ExtensionInfo
-
- components -
Variable in class jltools.ext.jif.ast.JoinLabelNode_c
-
- components() -
Method in class jltools.ext.jif.ast.JoinLabelNode_c
-
- components() -
Method in interface jltools.ext.jif.ast.JoinLabelNode
- Gets the list of join components.
- components() -
Method in interface jltools.ext.jif.types.Label
-
- components() -
Method in class jltools.ext.jif.types.Label_c
-
- components() -
Method in class jltools.ext.jif.types.UnknownLabel_c
-
- components() -
Method in class jltools.ext.jif.types.JoinLabel_c
-
- components() -
Method in class jltools.ext.jif.types.RuntimeLabel_c
-
- components() -
Method in class jltools.ext.jif.types.TopLabel_c
-
- components() -
Method in class jltools.ext.jif.types.NotTaken_c
-
- components(Collection) -
Method in class jltools.ext.jif.types.JoinLabel_c
-
- components(List) -
Method in class jltools.ext.jif.ast.JoinLabelNode_c
-
- components(List) -
Method in interface jltools.ext.jif.ast.JoinLabelNode
- Returns a copy of this object with
components updated.
- componentString() -
Method in interface jltools.ext.jif.types.Label
-
- componentString() -
Method in class jltools.ext.jif.types.Label_c
-
- componentString() -
Method in class jltools.ext.jif.types.VarLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.DynamicLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.ParamLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.DynamicArgLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.PolicyLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.UnknownLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.JoinLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.CovariantLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.RuntimeLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.TopLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.DynrecLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.LabelOfVar_c
-
- componentString() -
Method in class jltools.ext.jif.types.ArgLabel_c
-
- componentString() -
Method in class jltools.ext.jif.types.NotTaken_c
-
- CompoundResolver - class jltools.types.CompoundResolver.
- An
CompoundResolver resolves names using more than one
context. - CompoundResolver(Resolver, Resolver) -
Constructor for class jltools.types.CompoundResolver
-
- ConcatenatedIterator - class jltools.util.ConcatenatedIterator.
- ConcatenatedIterator
Overview:
This iterator wraps other iterators, and returns all their elements
in order.
- ConcatenatedIterator(Collection) -
Constructor for class jltools.util.ConcatenatedIterator
- Constructs a new ConcatenatedIterator which yields every element, in
order, of every element of the collection iters, in order.
- ConcatenatedIterator(Iterator[]) -
Constructor for class jltools.util.ConcatenatedIterator
- Constructs a new ConcatenatedIterator which yields every element, in
order, of every element of the array iters, in order.
- ConcatenatedIterator(Iterator, Iterator) -
Constructor for class jltools.util.ConcatenatedIterator
- Constructs a new ConcatenatedIterator which yields all of the
elements of
, followed by all the elements of .
- cond -
Variable in class jltools.ext.jl.ast.Conditional_c
-
- cond -
Variable in class jltools.ext.jl.ast.For_c
-
- cond -
Variable in class jltools.ext.jl.ast.If_c
-
- cond -
Variable in class jltools.ext.jl.ast.While_c
-
- cond -
Variable in class jltools.ext.jl.ast.Do_c
-
- COND_AND -
Static variable in class jltools.ast.Precedence
- The precedence of conditional AND (
&&) expressions.
- COND_AND -
Static variable in interface jltools.ast.Binary
-
- COND_OR -
Static variable in class jltools.ast.Precedence
- The precedence of conditional OR (
||) expressions.
- COND_OR -
Static variable in interface jltools.ast.Binary
-
- cond() -
Method in interface jltools.ast.Conditional
-
- cond() -
Method in interface jltools.ast.While
-
- cond() -
Method in interface jltools.ast.If
-
- cond() -
Method in interface jltools.ast.Do
-
- cond() -
Method in interface jltools.ast.For
- Loop condition
- cond() -
Method in class jltools.ext.jl.ast.Conditional_c
- Get the conditional of the expression.
- cond() -
Method in class jltools.ext.jl.ast.For_c
- Loop condition
- cond() -
Method in class jltools.ext.jl.ast.If_c
- Get the conditional of the statement.
- cond() -
Method in class jltools.ext.jl.ast.While_c
- Get the conditional of the statement.
- cond() -
Method in class jltools.ext.jl.ast.Do_c
- Get the conditional of the statement.
- cond(Expr) -
Method in interface jltools.ast.Conditional
-
- cond(Expr) -
Method in interface jltools.ast.While
-
- cond(Expr) -
Method in interface jltools.ast.If
-
- cond(Expr) -
Method in interface jltools.ast.Do
-
- cond(Expr) -
Method in interface jltools.ast.For
-
- cond(Expr) -
Method in class jltools.ext.jl.ast.Conditional_c
- Set the conditional of the expression.
- cond(Expr) -
Method in class jltools.ext.jl.ast.For_c
- Set the conditional of the statement.
- cond(Expr) -
Method in class jltools.ext.jl.ast.If_c
- Set the conditional of the statement.
- cond(Expr) -
Method in class jltools.ext.jl.ast.While_c
- Set the conditional of the statement.
- cond(Expr) -
Method in class jltools.ext.jl.ast.Do_c
- Set the conditional of the statement.
- Conditional - interface jltools.ast.Conditional.
- A
Conditional is a representation of a Java ternary
expression (cond ? consequent : alternative). - CONDITIONAL -
Static variable in class jltools.ast.Precedence
- The precedence of ternary conditional expressions.
- Conditional_c - class jltools.ext.jl.ast.Conditional_c.
- A
Conditional is a representation of a Java ternary
expression (cond ? consequent : alternative). - Conditional_c(Ext, Position, Expr, Expr, Expr) -
Constructor for class jltools.ext.jl.ast.Conditional_c
-
- Conditional(Position, Expr, Expr, Expr) -
Method in interface jltools.ast.NodeFactory
-
- Conditional(Position, Expr, Expr, Expr) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Conditional(Position, Expr, Expr, Expr) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- consequent -
Variable in class jltools.ext.jl.ast.Conditional_c
-
- consequent -
Variable in class jltools.ext.jl.ast.If_c
-
- consequent -
Variable in class jltools.ext.jif.ast.ActsFor_c
-
- consequent() -
Method in interface jltools.ast.Conditional
-
- consequent() -
Method in interface jltools.ast.If
-
- consequent() -
Method in class jltools.ext.jl.ast.Conditional_c
- Get the consequent of the expression.
- consequent() -
Method in class jltools.ext.jl.ast.If_c
- Get the consequent of the statement.
- consequent() -
Method in interface jltools.ext.jif.ast.ActsFor
- Gets the consequent statement.
- consequent() -
Method in class jltools.ext.jif.ast.ActsFor_c
- Gets the consequent statement.
- consequent(Expr) -
Method in interface jltools.ast.Conditional
-
- consequent(Expr) -
Method in class jltools.ext.jl.ast.Conditional_c
- Set the consequent of the expression.
- consequent(Stmt) -
Method in interface jltools.ast.If
-
- consequent(Stmt) -
Method in class jltools.ext.jl.ast.If_c
- Set the consequent of the statement.
- consequent(Stmt) -
Method in interface jltools.ext.jif.ast.ActsFor
- Makes a copy of this node and sets the consequent statement of the copy.
- consequent(Stmt) -
Method in class jltools.ext.jif.ast.ActsFor_c
- Sets the consequent statement.
- CONST -
Static variable in class jltools.ext.jl.parse.sym
-
- ConstantFolder - class jltools.visit.ConstantFolder.
- Visitor which performs constant folding.
- ConstantFolder(Job) -
Constructor for class jltools.visit.ConstantFolder
-
- constantValue -
Variable in class jltools.ext.jl.types.VarInstance_c
-
- constantValue() -
Method in interface jltools.types.VarInstance
-
- constantValue() -
Method in class jltools.ext.jl.types.VarInstance_c
-
- constantValue(Object) -
Method in interface jltools.types.LocalInstance
-
- constantValue(Object) -
Method in interface jltools.types.FieldInstance
-
- constantValue(Object) -
Method in class jltools.ext.jl.types.LocalInstance_c
-
- constantValue(Object) -
Method in class jltools.ext.jl.types.FieldInstance_c
-
- constrainEqual(Label, Label) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainEqual(Label, Label, Position) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainEqual(Label, Label, Position, String) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainEqual(NamedLabel, NamedLabel, Position) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainEqual(NamedLabel, NamedLabel, Position, String) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainLE(Label, Label) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainLE(Label, Label, Position) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainLE(Label, Label, Position, String) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainLE(NamedLabel, NamedLabel, Position) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constrainLE(NamedLabel, NamedLabel, Position, String) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constraint -
Variable in class jltools.ext.jif.ast.ConstraintNode_c
-
- Constraint - interface jltools.ext.jif.types.Constraint.
- The root interface of all the constraint classes.
- constraint() -
Method in interface jltools.ext.jif.ast.ConstraintNode
-
- constraint() -
Method in class jltools.ext.jif.ast.ConstraintNode_c
-
- constraint() -
Method in interface jltools.ext.jif.ast.CanonicalConstraintNode
- Gets the constraint.
- constraint() -
Method in class jltools.ext.jif.types.Equation
-
- constraint(Constraint) -
Method in interface jltools.ext.jif.ast.ConstraintNode
-
- constraint(Constraint) -
Method in class jltools.ext.jif.ast.ConstraintNode_c
-
- constraintAuth(JifProcedureInstance, JifContext) -
Method in class jltools.ext.jif.extension.JifProcedureDeclExt
- This method corresponds to the constraint-authority predicate in the
thesis (Figure 4.39).
- ConstraintNode - interface jltools.ext.jif.ast.ConstraintNode.
- The root of various constraint nodes.
- ConstraintNode_c - class jltools.ext.jif.ast.ConstraintNode_c.
- An implementation of the
ConstraintNode interface. - ConstraintNode_c(Ext, Position) -
Constructor for class jltools.ext.jif.ast.ConstraintNode_c
-
- constraintPH(JifProcedureInstance, JifContext) -
Method in class jltools.ext.jif.extension.JifProcedureDeclExt
- This method corresponds to the constraint-ph predicate in the thesis
(Figure 4.39).
- constraints -
Variable in class jltools.ext.jif.ast.JifMethodDecl_c
-
- constraints -
Variable in class jltools.ext.jif.ast.JifConstructorDecl_c
-
- constraints -
Variable in class jltools.ext.jif.types.JifConstructorInstance_c
-
- constraints -
Variable in class jltools.ext.jif.types.JifMethodInstance_c
-
- constraints() -
Method in interface jltools.ext.jif.ast.JifMethodDecl
-
- constraints() -
Method in interface jltools.ext.jif.ast.JifConstructorDecl
-
- constraints() -
Method in class jltools.ext.jif.ast.JifMethodDecl_c
-
- constraints() -
Method in class jltools.ext.jif.ast.JifConstructorDecl_c
-
- constraints() -
Method in class jltools.ext.jif.types.JifConstructorInstance_c
-
- constraints() -
Method in class jltools.ext.jif.types.JifMethodInstance_c
-
- constraints() -
Method in interface jltools.ext.jif.types.JifProcedureInstance
-
- constraints(List) -
Method in interface jltools.ext.jif.ast.JifMethodDecl
-
- constraints(List) -
Method in interface jltools.ext.jif.ast.JifConstructorDecl
-
- constraints(List) -
Method in class jltools.ext.jif.ast.JifMethodDecl_c
-
- constraints(List) -
Method in class jltools.ext.jif.ast.JifConstructorDecl_c
-
- constraints(List) -
Method in class jltools.ext.jif.types.JifConstructorInstance_c
-
- constraints(List) -
Method in interface jltools.ext.jif.types.JifConstructorInstance
-
- constraints(List) -
Method in class jltools.ext.jif.types.JifMethodInstance_c
-
- constraints(List) -
Method in interface jltools.ext.jif.types.JifMethodInstance
-
- CONSTRUCTOR_FLAGS -
Static variable in class jltools.ext.jl.types.TypeSystem_c
- All flags allowed for a constructor.
- ConstructorCall - interface jltools.ast.ConstructorCall.
- A
ConstructorCall is an immutable representation of
a direct call to a constructor of a class in the form of
super(...) or this(...). - ConstructorCall_c - class jltools.ext.jl.ast.ConstructorCall_c.
- A
ConstructorCall is an immutable representation of
a direct call to a constructor of a class in the form of
super(...) or this(...). - ConstructorCall_c(Ext, Position, Kind, Expr, List) -
Constructor for class jltools.ext.jl.ast.ConstructorCall_c
-
- ConstructorCall.Kind - class jltools.ast.ConstructorCall.Kind.
- Constructor call kind: either "super" or "this".
- ConstructorCall.Kind(String) -
Constructor for class jltools.ast.ConstructorCall.Kind
-
- ConstructorCall(Position, ConstructorCall.Kind, Expr, List) -
Method in interface jltools.ast.NodeFactory
-
- ConstructorCall(Position, ConstructorCall.Kind, Expr, List) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- ConstructorCall(Position, ConstructorCall.Kind, Expr, List) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- ConstructorCall(Position, ConstructorCall.Kind, List) -
Method in interface jltools.ast.NodeFactory
-
- ConstructorCall(Position, ConstructorCall.Kind, List) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- ConstructorCall(Position, ConstructorCall.Kind, List) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- constructorChecker -
Variable in class jltools.ext.jif.extension.JifConstructorCallExt
-
- constructorChecker -
Variable in class jltools.ext.jif.extension.JifNewExt
-
- ConstructorChecker - class jltools.ext.jif.extension.ConstructorChecker.
- A tool to label check constructors.
- ConstructorChecker() -
Constructor for class jltools.ext.jif.extension.ConstructorChecker
-
- ConstructorDecl - interface jltools.ast.ConstructorDecl.
- A
ConstructorDecl is an immutable representation of a
constructor declaration as part of a class body. - ConstructorDecl_c - class jltools.ext.jl.ast.ConstructorDecl_c.
- A
ConstructorDecl is an immutable representation of a
constructor declaration as part of a class body. - ConstructorDecl_c(Ext, Position, Flags, String, List, List, <
>Block) -
Constructor for class jltools.ext.jl.ast.ConstructorDecl_c
-
- ConstructorDecl(Position, Flags, String, List, List, <
>Block) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- ConstructorDecl(Position, Flags, String, List, List, <
>Block) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- ConstructorDecl(Position, Flags, String, List, List, Block) -
Method in interface jltools.ast.NodeFactory
-
- ConstructorInstance - interface jltools.types.ConstructorInstance.
- A
ConstructorInstance contains type information for a
constructor. - ConstructorInstance_c - class jltools.ext.jl.types.ConstructorInstance_c.
- A
ConstructorInstance contains type information for a
constructor. - ConstructorInstance_c() -
Constructor for class jltools.ext.jl.types.ConstructorInstance_c
- Used for deserializing types.
- ConstructorInstance_c(TypeSystem, Position, ClassType, Flags, List, List) -
Constructor for class jltools.ext.jl.types.ConstructorInstance_c
-
- constructorInstance() -
Method in interface jltools.ast.New
-
- constructorInstance() -
Method in interface jltools.ast.ConstructorDecl
-
- constructorInstance() -
Method in interface jltools.ast.ConstructorCall
-
- constructorInstance() -
Method in class jltools.ext.jl.ast.ConstructorDecl_c
- Get the constructorInstance of the constructor.
- constructorInstance() -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- constructorInstance() -
Method in class jltools.ext.jl.ast.ConstructorCall_c
- Get the constructor we are calling.
- constructorInstance(Constructor) -
Method in class jltools.ext.jl.types.LoadedClassType_c
-
- constructorInstance(ConstructorInstance) -
Method in interface jltools.ast.ConstructorDecl
-
- constructorInstance(ConstructorInstance) -
Method in class jltools.ext.jl.ast.ConstructorDecl_c
- Set the constructorInstance of the constructor.
- constructorInstance(ConstructorInstance) -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- constructorInstance(ConstructorInstance) -
Method in class jltools.ext.jl.ast.ConstructorCall_c
- Set the constructor we are calling.
- constructorInstance(Position, ClassType, Flags, List, List) -
Method in interface jltools.types.TypeSystem
- Create a constructor instance.
- constructorInstance(Position, ClassType, Flags, List, List) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- constructorInstance(Position, ClassType, Flags, List, List) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- constructorReturnLabel() -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constructorReturnLabel(Label) -
Method in class jltools.ext.jif.visit.LabelChecker
-
- constructors -
Variable in class jltools.ext.jl.types.ClassType_c
-
- constructors() -
Method in interface jltools.types.ClassType
-
- constructors() -
Method in class jltools.ext.jl.types.ClassType_c
- Get the class's constructors.
- constructors() -
Method in class jltools.ext.jl.types.LoadedClassType_c
-
- constructors() -
Method in class jltools.ext.jl.types.ParsedClassType_c
- Return a mutable list of constructors
- constructors() -
Method in class jltools.ext.jif.types.TypeWrapper
-
- constructors() -
Method in class jltools.ext.jif.types.JifInstType_c
-
- container -
Variable in class jltools.ext.jl.types.InitializerInstance_c
-
- container -
Variable in class jltools.ext.jl.types.ProcedureInstance_c
-
- container -
Variable in class jltools.ext.jl.types.FieldInstance_c
-
- container() -
Method in interface jltools.types.MemberInstance
-
- container() -
Method in class jltools.ext.jl.types.LoadedMemberClassType_c
-
- container() -
Method in class jltools.ext.jl.types.InitializerInstance_c
-
- container() -
Method in class jltools.ext.jl.types.ProcedureInstance_c
-
- container() -
Method in class jltools.ext.jl.types.FieldInstance_c
-
- container() -
Method in class jltools.ext.jl.types.ParsedMemberClassType_c
-
- container() -
Method in interface jltools.ext.jif.types.ParamInstance
-
- container() -
Method in class jltools.ext.jif.types.ParamInstance_c
-
- container(ClassType) -
Method in interface jltools.types.InitializerInstance
-
- container(ClassType) -
Method in interface jltools.types.ConstructorInstance
-
- container(ClassType) -
Method in class jltools.ext.jl.types.InitializerInstance_c
-
- container(ClassType) -
Method in class jltools.ext.jl.types.ConstructorInstance_c
-
- container(JifClassType) -
Method in interface jltools.ext.jif.types.ParamInstance
-
- container(JifClassType) -
Method in class jltools.ext.jif.types.ParamInstance_c
-
- container(ReferenceType) -
Method in interface jltools.types.MethodInstance
-
- container(ReferenceType) -
Method in interface jltools.types.FieldInstance
-
- container(ReferenceType) -
Method in class jltools.ext.jl.types.FieldInstance_c
-
- container(ReferenceType) -
Method in class jltools.ext.jl.types.MethodInstance_c
-
- contains(Flags) -
Method in class jltools.types.Flags
-
- contains(Object) -
Method in class jltools.util.NestedMap.KeySet
-
- contains(Object) -
Method in class jltools.util.TypedList
-
- contains(Object) -
Method in class jltools.util.SubtypeSet
- Check whether object
o is in the set.
- containsAll(Collection) -
Method in class jltools.util.TypedList
-
- containsAll(Collection) -
Method in class jltools.util.SubtypeSet
- Checks whether all elements of the collection are in the set
- containsKey(Object) -
Method in class jltools.util.NestedMap
-
- containsKey(Object) -
Method in class jltools.util.NilMap
-
- containsValue(Object) -
Method in class jltools.util.NilMap
-
- context -
Variable in class jltools.visit.SemanticVisitor
-
- context -
Variable in class jltools.visit.Translator
-
- Context - interface jltools.types.Context.
- A context represents a stack of scopes used for looking up types, methods,
and variables.
- Context_c - class jltools.ext.jl.types.Context_c.
- A context represents a stack of scopes used for looking up types, methods,
and variables.
- Context_c.ClassMark - interface jltools.ext.jl.types.Context_c.ClassMark.
- A class mark.
- Context_c.CodeMark - interface jltools.ext.jl.types.Context_c.CodeMark.
- A code (method, procedure, initializer) mark.
- Context_c.JLClassMark - class jltools.ext.jl.types.Context_c.JLClassMark.
- A concrete implementation of a class mark.
- Context_c.JLCodeMark - class jltools.ext.jl.types.Context_c.JLCodeMark.
- A concrete implementation of a code mark.
- Context_c.JLScope - class jltools.ext.jl.types.Context_c.JLScope.
- A concrete implementation of a scope mark.
- Context_c.JLScope() -
Constructor for class jltools.ext.jl.types.Context_c.JLScope
-
- Context_c.OuterMark - class jltools.ext.jl.types.Context_c.OuterMark.
- The outer mark.
- Context_c.OuterMark() -
Constructor for class jltools.ext.jl.types.Context_c.OuterMark
-
- Context_c.Scope - interface jltools.ext.jl.types.Context_c.Scope.
- A scope mark.
- Context_c(TypeSystem, ImportTable) -
Constructor for class jltools.ext.jl.types.Context_c
-
- Context.Mark - interface jltools.types.Context.Mark.
- A
Mark is used to indicate a point in the stack
of scopes. - context() -
Method in class jltools.visit.SemanticVisitor
-
- context() -
Method in class jltools.visit.Translator
-
- CONTINUE -
Static variable in interface jltools.ast.Branch
-
- CONTINUE -
Static variable in class jltools.ext.jl.parse.sym
-
- Continue(Position) -
Method in interface jltools.ast.NodeFactory
-
- Continue(Position) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Continue(Position) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Continue(Position, String) -
Method in interface jltools.ast.NodeFactory
-
- Continue(Position, String) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Continue(Position, String) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Copy - interface jltools.util.Copy.
- Interface used to copy objects.
- copy() -
Method in interface jltools.ast.Ext
-
- copy() -
Method in interface jltools.ast.Node
- Clone the node.
- copy() -
Method in class jltools.types.Flags
- Returns a copy of this.
- copy() -
Method in interface jltools.util.Copy
-
- copy() -
Method in class jltools.util.TypedList
- Copies this list.
- copy() -
Method in class jltools.ext.jl.ast.Node_c
-
- copy() -
Method in class jltools.ext.jl.ast.Declarator_c
- Get the copy of the declarator.
- copy() -
Method in class jltools.ext.jl.ast.Ext_c
-
- copy() -
Method in class jltools.ext.jl.types.TypeObject_c
-
- copy() -
Method in class jltools.ext.jif.types.VarMap
-
- copy() -
Method in class jltools.ext.jif.types.PrincipalHierarchy
-
- copy(List, Class, boolean) -
Static method in class jltools.util.TypedList
- Requires:
not null, and every element of may be
cast to class .
- copyAndCheck(List, Class, boolean) -
Static method in class jltools.util.TypedList
- Creates a new TypedList, containing all the elements of
,
which restricts all members to belong to class .
- copyAnnotationsFrom(AnnotatedObject) -
Method in class jltools.util.AnnotatedObject
- void copyAnnotationsFrom(AnnotatedObject o)
Effects: Copies all annotations from
.
- COVARIANT_LABEL -
Static variable in interface jltools.ext.jif.types.ParamInstance
-
- CovariantLabel - interface jltools.ext.jif.types.CovariantLabel.
- Covariant label.
- CovariantLabel_c - class jltools.ext.jif.types.CovariantLabel_c.
- An implementation of the
CovariantLabel interface. - CovariantLabel_c() -
Constructor for class jltools.ext.jif.types.CovariantLabel_c
-
- CovariantLabel_c(JifTypeSystem, Position, UID) -
Constructor for class jltools.ext.jif.types.CovariantLabel_c
-
- covariantLabel(Position, UID) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- covariantLabel(Position, UID) -
Method in interface jltools.ext.jif.types.JifTypeSystem
-
- create(String, PrincipalInitializer) -
Static method in class jif.lang.Principal
-
- createContext(ImportTable) -
Method in interface jltools.types.TypeSystem
-
- createContext(ImportTable) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- createContext(ImportTable) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- createJob(Source) -
Method in interface jltools.frontend.ExtensionInfo
- Produce a job used to compile the given source.
- createJob(Source) -
Method in class jltools.ext.jl.ExtensionInfo
-
- createJob(Source) -
Method in class jltools.ext.jif.ExtensionInfo
-
- createNodeFactory() -
Method in class jltools.ext.jl.ExtensionInfo
- Create the node factory for this extension.
- createNodeFactory() -
Method in class jltools.ext.jif.ExtensionInfo
-
- createTypeSystem() -
Method in class jltools.ext.jl.ExtensionInfo
- Create the type system for this extension.
- createTypeSystem() -
Method in class jltools.ext.jif.ExtensionInfo
-
- CupParser - class jltools.frontend.CupParser.
- A parser implemented with a Cup generated-parser.
- CupParser(lr_parser, Job) -
Constructor for class jltools.frontend.CupParser
-
- currentClass() -
Method in interface jltools.types.Context
- Return the innermost class in scope.
- currentClass() -
Method in class jltools.visit.TypeBuilder
-
- currentClass() -
Method in class jltools.ext.jl.types.Context_c
- Gets current class
- currentCode() -
Method in interface jltools.types.Context
- Return the innermost method or constructor in scope.
- currentCode() -
Method in class jltools.ext.jl.types.Context_c
- Gets the current method
- currentPackage -
Variable in class jltools.visit.TypeBuilder
-
- currentPackage() -
Method in class jltools.visit.TypeBuilder
-
declassify expression.DeclassifyExpr interface.declassify statement.DeclassifyStmt interface.dims updated.
name.
name.
name is a parameter, and disambiguate it.
do statement.do statement.DynamicArgLabel interface.DynamicLabel interface.DynamicPrincipal interface.DynrecLabel interface.Empty is the class for a empty statement (;).Empty is the class for a empty statement (;).EmptyPass does nothing.begin.
n.
n.
EOF Symbol index.
== and != expressions.
a and b are
pointer equal, or if iterators over both return the same
sequence of pointer equal elements.
Runtime object.
error Symbol index.
ErrorQueue handles outputing error messages.Eval is a wrapper for an expression in the context of
a statement.Eval is a wrapper for an expression in the context of
a statement.ExceptionPath interface.Expr represents any Java expression.Expr represents any Java expression.e into a type, yielding a TypeNode.
Ext is the super type of all node extension objects.Ext is the super type of all node extension objects.ExtensionInfo is the main interface for defining language
extensions.ExtensionInfo for the Java language.ExternalPrincipal interface.Field is an immutable representation of a Java field
access.Field is an immutable representation of a Java field
access.FieldDecl is an immutable representation of the declaration
of a field of a class.FieldDecl is an immutable representation of the declaration
of a field of a class.FieldInstance contains type information for a field.FieldInstance contains type information for a field.java.io.FileInputStream, implementing
jif.io.FileInputStreamjava.io.FileOutputStream, implementing
jif.io.FileOutputStream.Flags is an immutable set of class, method, or field modifiers.FloatLit represents a literal in java of type
float or double.FloatLit represents a literal in java of type
float or double.for
statement.for
statement.ForInit represents a statement that can be used as a
initializer in a "for" statement.Formal represents a formal parameter to a method
or constructor or to a catch block.Formal represents a formal parameter to a method
or constructor or to a catch block.ForUpdate represents a statement that can be used as an
iterator in a "for" statement.Runtime object parameterized with the
principal p.
p belongs.
if statement.if statement.Import is an immutable representation of a Java
import statement.Import is an immutable representation of a Java
import statement.ImportTable is a type of ClassResolver that
corresponds to a particular source file.Initializer is an immutable representation of an
initializer block in a Java class (which appears outside of any
method).Initializer is an immutable representation of an
initializer block in a Java class (which appears outside of any
method).InitializerInstance contains the type information for a
static or anonymous initializer.InitializerInstance contains the type information for a
static or anonymous initializer.InnerClassType represents any inner class.Instanceof is an immutable representation of
the use of the instanceof operator.instanceof expressions.
Instanceof is an immutable representation of
the use of the instanceof operator.InstTypeNode interface.IntLit represents a literal in Java of an integer
type.IntLit represents a literal in Java of an integer
type.Jif interface.ActsFor node.ArrayAccess node.ArrayInit node.Assign node.Binary node.Block node.Branch node.Call node.Case node.Cast node.JifClassDecl interface.JifClassDecl node.Conditional node.ConstructorCall node.JifConstructor interface.JifConstructorDecl node.JifConstructorInstance interface.JifContext interface.Declassify node.DeclassifyStmt node.Do node.Empty node.Eval node.FieldDecl node.Field node.JifFieldInstance interface.For node.Formal node.If node.Initializer node.Instanceof node.JifInstType interface.Labeled node.Literal node.LocalDecl node.Local node.JifLocalInstance interface.JifMethod interface.JifMethodDecl node.JifMethodInstance interface.NewArray node.New node.JifNodeFactory interface.JifParsedPolyType interface.ProcedureDecl node.Return node.Special node.Switch node.SwitchLabel node.Synchronized node.Throw node.Try node.JifTypeSystem interface.Unary node.While node.Job encapsulates work done by the compiler on behalf of
one source file.JoinLabel interface.JoinLabel interface.Label interface.file.
label case statement
that handles a case of a Jif switch label statement.LabelCase interface.actsFor statement.
LabeledType interface.LabeledTypeNode interface.LabelNode interface.defaultLabel if unlabeled.
LabelOfVar interface.n
have been visited.
ph.
o.
o1 and o2.
o1, ..., o3.
o1, ..., o4.
Lit represents any Java literal.Lit represents any Java literal.LoadedClassType represents a class loaded from a class file.LoadedClassType is a class type which is derived from
a class file.NamedClassType is a class type with a name: either a
top-level class, a member class, or a local class, but not an anonymous
class.LocalInstance contains type information for a local variable.LocalInstance contains type information for a local variable.ph.
MemberClassType is a class type that is a member of another
class.MemberInstance is an entity that can be a member of
a class.MethodInstance represents the type information for a Java
method.MethodInstance represents the type information for a Java
method.*, /, or % expression.
name updated.
NamedQualifier is a qualifier with a name, usually either a
top-level class, a member class, or a local class.NamedType is a type with a name, usually either a top-level
class, a member class, or a local class.New is an immutable representation of the use of the
new operator to create a new instance of a class.New is an immutable representation of the use of the
new operator to create a new instance of a class.NewArray represents a new array expression such as new
File[8][] { null }.NewArray represents a new array expression such as new
File[8][] { null }.new label
statement.NewLabel interface.Node represents an AST node.Node represents an AST node.NodeFactory constructs AST nodes.NodeFactory constructs AST nodes.NodeScrambler is test case generator of sorts.NodeScrambler with the given random number
generator seed.
NodeVisitor represents an implementation of the "Visitor"
style of tree traversal.JifTopLabel is the label at the top of the label
lattice.null.null.NullType represents the type of the Java null
literal.NullType represents the type of the Java keyword
null.value can be implicitly cast to
Primitive type t.
value can be implicitly cast to Primitive
type t.
name.
name.
Runtime object.
n, the visitor has the option of
overriding all traversal of the children of n.
Package represents a Java package.PackageType represents a package type.PackageNode is the syntactic representation of a
Java package within the abstract syntax tree.PackageNode is the syntactic representation of a
Java package within the abstract syntax tree.ParamDecl interface.ParamInstance interface.ParamLabel interface.ParamPrincipal interface.PramaInstance object into a label node or a
principal node.
ParsedAnonClassType represents a parsed anonymous class.ParsedClassType represents a class loaded from a source file.ParsedInnerClassType represents a parsed inner class.ParsedLocalClassType is a parsed local class type.ParsedMemberClassType is a parsed class type that is a member
of another class.ParsedTopLevelClassType represents a parsed top-level class.Util class.Pass represents a compiler pass.owner: r1,...,rnPolicyLabel interface.PolicyLabel interface.mark.
mark.
Prefix represents any node that can be used as the
prefix of a Receiver.PrimitiveType represents a type which may not be directly
coerced to java.lang.Object (under the standard Java type system).PrimitiveType_c represents a primitive type.Principal interface.PrincipalInstance represents a global principal.PrincipalInstance interface.PrincipalNode interface.PrincipalInstance object into a principal node.
ProcedureInstance contains the type information for a Java
procedure (either a method or a constructor).ProcedureInstance contains the type information for a Java
procedure (either a method or a constructor).QualifiedNew is an immutable representation of the use of the
qualified new operator to create a new instance of a member
class.QualifiedNew is an immutable representation of the use of the
qualified new operator to create a new instance of a member
class.Qualifier can be used to qualify a type: it can be either
a package or a named class type.QualifierNode represents any node that can be used as a type
qualifier (jltools.types.Qualifier).Receiver represents any node that can be used as the
receiver of a method or of a field access.reduce_goto table.
ReferenceType represents a reference type: a type which
contains methods and fields and which is a subtype of Object.ReferenceType represents a reference type --
a type on which contains methods and fields and is a subtype of
Object.<, >, <=, and >=.
s in the set such that
s decends from o
Resolver is responsible for looking up types and
packages by name.Return represents a return statement in Java.Return represents a return statement in Java.pass.
RuntimeLabel interface.goal pass completes.
jif.lang.Principal.
file.
<<, >>, and >>>.
topics of obscurity
level should be reported, based on the command-line
switches given by the user.
Source represents a source file.SourceFile is an immutable representations of a Java
langauge source file.SourceFile is an immutable representations of a Java
langauge source file.SourceLoader is responsible for loading source files.Special is an immutable representation of a
reference to this or superSpecial_c - class jltools.ext.jl.ast.Special_c.Special is an immutable representation of a
reference to this or superSpecial_c(Ext, Position, Special.Kind, TypeNode) -
Constructor for class jltools.ext.jl.ast.Special_c
Stmt represents any Java statement.Stmt represents any Java statement.+ when applied to Strings.
StringLit represents an immutable instance of a
String which corresponds to a literal string in Java code.StringLit represents an immutable instance of a
String which corresponds to a literal string in Java code.label, and substitutes
jltools.types.Type .Switch is an immutable representation of a Java
switch statement.Switch is an immutable representation of a Java
switch statement.SwitchBlock is a list of statements within a switch.SwitchBlock is a list of statements within a switch.SwitchElement is statement inside a switch.swicth label statement.SwitchLabel interface.synchronized
block.synchronized
block.TargetFactory is responsible for opening output files.Throw is an immutable representation of a throw
statement.Throw is an immutable representation of a throw
statement.JifTopLabel is the label at the top of the label
lattice.TopLabel interface.TopLevelClassType represents a top-level class.CodeWriter.
java.lang.Object).
expr given
the its precendence and the precedence of the current expression.
- translateSubstmt(Stmt, CodeWriter, Translator) -
Method in class jltools.ext.jl.ast.Node_c
-
- translateTopLevelClass(Context, TopLevelClassType) -
Method in interface jltools.types.TypeSystem
-
- translateTopLevelClass(Context, TopLevelClassType) -
Method in class jltools.ext.jl.types.TypeSystem_c
-
- translateTopLevelClass(Context, TopLevelClassType) -
Method in class jltools.ext.jif.types.JifTypeSystem_c
-
- Translator - class jltools.visit.Translator.
- A Translator generates output code from the processed AST.
- Translator(Job) -
Constructor for class jltools.visit.Translator
- Create a Translator.
- Try - interface jltools.ast.Try.
- An immutable representation of a
try block, one or more
catch blocks, and an optional finally block. - TRY -
Static variable in class jltools.ext.jl.parse.sym
-
- Try_c - class jltools.ext.jl.ast.Try_c.
- An immutable representation of a
try block, one or more
catch blocks, and an optional finally block. - Try_c(Ext, Position, <
>Block, List, <>Block) -
Constructor for class jltools.ext.jl.ast.Try_c
-
- Try(Position, <
>Block, List) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Try(Position, <
>Block, List) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Try(Position, <
>Block, List, <>Block) -
Method in class jltools.ext.jl.ast.NodeFactory_c
-
- Try(Position, <
>Block, List, <>Block) -
Method in class jltools.ext.jif.ast.JifNodeFactory_c
-
- Try(Position, Block, List) -
Method in interface jltools.ast.NodeFactory
-
- Try(Position, Block, List, Block) -
Method in interface jltools.ast.NodeFactory
-
- tryBlock -
Variable in class jltools.ext.jl.ast.Try_c
-
- tryBlock() -
Method in interface jltools.ast.Try
-
- tryBlock() -
Method in class jltools.ext.jl.ast.Try_c
- Get the try block of the statement.
- tryBlock(<
>Block) -
Method in class jltools.ext.jl.ast.Try_c
- Set the try block of the statement.
- tryBlock(Block) -
Method in interface jltools.ast.Try
-
- ts -
Variable in class jltools.parse.Util
-
- ts -
Variable in class jltools.types.ImportTable
-
- ts -
Variable in class jltools.util.TypeOutputStream
-
- ts -
Variable in class jltools.util.TypeInputStream
-
- ts -
Variable in class jltools.util.TypeEncoder
-
- ts -
Variable in class jltools.visit.ExceptionChecker
-
- ts -
Variable in class jltools.visit.ClassSerializer
-
- ts -
Variable in class jltools.ext.jl.ExtensionInfo
-
- ts -
Variable in class jltools.ext.jl.types.TypeObject_c
-
- ts -
Variable in class jltools.ext.jl.types.Context_c
- The type system.
- ts -
Variable in class jltools.ext.jif.types.TypeWrapper
-
- ts -
Variable in class jltools.ext.jif.types.PathMap
-
- ts -
Variable in class jltools.ext.jif.visit.JifLabelSubst
-
- type -
Variable in class jltools.ext.jl.ast.Expr_c
-
- type -
Variable in class jltools.ext.jl.ast.TypeNode_c
-
- type -
Variable in class jltools.ext.jl.ast.Declarator_c
-
- type -
Variable in class jltools.ext.jl.ast.AmbReceiver_c
-
- type -
Variable in class jltools.ext.jl.ast.ClassDecl_c
-
- type -
Variable in class jltools.ext.jl.types.VarInstance_c
-
- type -
Variable in class jltools.ext.jif.ast.AmbParamTypeOrAccess_c
-
- Type - interface jltools.types.Type.
- A
Type is the base type of all classes which represent
types. - Type_c - class jltools.ext.jl.types.Type_c.
- Abstract implementation of a
Type. - Type_c() -
Constructor for class jltools.ext.jl.types.Type_c
- Used for deserializing types.
- Type_c(TypeSystem) -
Constructor for class jltools.ext.jl.types.Type_c
- Creates a new type in the given a TypeSystem.
- Type_c(TypeSystem, Position) -
Constructor for class jltools.ext.jl.types.Type_c
-
- type_system -
Variable in class jltools.frontend.Compiler
- The type system.
- type() -
Method in interface jltools.ast.Formal
-
- type() -
Method in interface jltools.ast.Typed
- Return the type of this node, or null if no type has been
assigned yet.
- type() -
Method in interface jltools.ast.LocalDecl
-
- type() -
Method in interface jltools.ast.FieldDecl
-
- type() -
Method in interface jltools.ast.Declarator
- Get the type node of the declarator.
- type() -
Method in interface jltools.ast.ClassDecl
-
- type() -
Method in interface jltools.types.VarInstance
-
- type() -
Method in class jltools.ext.jl.ast.Expr_c
- Get the type of the expression.
- type() -
Method in class jltools.ext.jl.ast.LocalDecl_c
- Get the type node of the declaration.
- type() -
Method in class jltools.ext.jl.ast.TypeNode_c
- Get the type this node encapsulates.
- type() -
Method in class jltools.ext.jl.ast.Declarator_c
- Get the type node of the declarator.
- type() -
Method in class jltools.ext.jl.ast.AmbReceiver_c
-
- type() -
Method in class jltools.ext.jl.ast.FieldDecl_c
- Get the type node of the declaration.
- type() -
Method in class jltools.ext.jl.ast.ClassDecl_c
-
- type() -
Method in class jltools.ext.jl.ast.Formal_c
- Get the type node of the formal.
- type() -
Method in class jltools.ext.jl.types.VarInstance_c
-
- type() -
Method in interface jltools.ext.jl.types.Context_c.ClassMark
-
- type() -
Method in class jltools.ext.jl.types.Context_c.JLClassMark
-
- type() -
Method in class jltools.ext.jif.ast.AmbParamTypeOrAccess_c
-
- type(Type) -
Method in interface jltools.ast.Expr
- Return an equivalent expression, but with the type
type.
- type(Type) -
Method in interface jltools.ast.TypeNode
-
- type(Type) -
Method in interface jltools.types.LocalInstance
-
- type(Type) -
Method in interface jltools.types.FieldInstance
-
- type(Type) -
Method in class jltools.ext.jl.ast.Expr_c
- Set the type of the expression.
- type(Type) -
Method in class jltools.ext.jl.ast.TypeNode_c
- Set the type this node encapsulates.
- type(Type) -
Method in class jltools.ext.jl.types.LocalInstance_c
-
- type(Type) -
Method in class jltools.ext.jl.types.FieldInstance_c
-
- type(Type) -
Method in interface jltools.ext.jif.ast.JifClassDecl
-
- type(Type) -
Method in class jltools.ext.jif.ast.JifClassDecl_c
-
- type(TypeNode) -
Method in interface jltools.ast.Formal
-
- type(TypeNode) -
Method in interface jltools.ast.LocalDecl
-
- type(TypeNode) -
Method in interface jltools.ast.FieldDecl
-
- type(TypeNode) -
Method in interface jltools.ast.Declarator
- Set the type node of the declarator.
- type(TypeNode) -
Method in class jltools.ext.jl.ast.LocalDecl_c
- Set the type node of the declaration.
- type(TypeNode) -
Method in class jltools.ext.jl.ast.Declarator_c
- Set the type node of the declarator.
- type(TypeNode) -
Method in class jltools.ext.jl.ast.FieldDecl_c
- Set the type of the declaration.
- type(TypeNode) -
Method in class jltools.ext.jl.ast.Formal_c
- Set the type node of the formal.
- TypeAmbiguityRemover - class jltools.visit.TypeAmbiguityRemover.
- A visitor which traverses the AST and remove ambiguities found in fields,
method signatures and the code itself.
- typeAmbiguityRemover() -
Method in class jltools.visit.TypeChecker
-
- TypeAmbiguityRemover(Job) -
Constructor for class jltools.visit.TypeAmbiguityRemover
-
- TypeBuilder - class jltools.visit.TypeBuilder.
- Visitor which traverses the AST constructing type objects.
- TypeBuilder(Job) -
Constructor for class jltools.visit.TypeBuilder
-
- typeBuilder(Package) -
Method in class jltools.visit.TypeChecker
-
- typeCheck -
Variable in class jltools.ext.jl.ExtensionInfo.JLJob
- The type check pass.
- typeCheck_(TypeChecker) -
Method in interface jltools.ast.Node
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Node_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Field_c
- Type check the field.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.LocalDecl_c
- Type check the declaration.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.ArrayTypeNode_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.BooleanLit_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Conditional_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Synchronized_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.For_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.ConstructorDecl_c
- Type check the constructor.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Cast_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.If_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Initializer_c
- Type check the initializer.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.AmbPrefix_c
- Type check the prefix.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.NullLit_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Local_c
- Type check the local.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.ArrayAccess_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Switch_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.FieldDecl_c
- Type check the declaration.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.AmbQualifierNode_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.ArrayInit_c
- Type check the initializer.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Catch_c
- Type check the catch block.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.FloatLit_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.MethodDecl_c
- Type check the method.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.IntLit_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Call_c
- Type check the call.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Throw_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.AmbTypeNode_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Unary_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.NewArray_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.While_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.StringLit_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.ConstructorCall_c
- Type check the call.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Do_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Special_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.AmbExpr_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.SourceFile_c
- Type check the source file.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Return_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Instanceof_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Assign_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.CharLit_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Binary_c
- Type check the expression.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Formal_c
- Type check the formal.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jl.ast.Case_c
- Type check the statement.
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jif.ast.LabeledTypeNode_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jif.ast.InstTypeNode_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jif.ast.SwitchLabel_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jif.ast.DeclassifyExpr_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jif.ast.NewLabel_c
-
- typeCheck_(TypeChecker) -
Method in class jltools.ext.jif.ast.ActsFor_c
- Type check the expression.
- typeCheck(TypeChecker) -
Method in interface jltools.ast.Ext
-
- typeCheck(TypeChecker) -
Method in interface jltools.ast.Declarator
- Type check the declarator.
- typeCheck(TypeChecker) -
Method in class jltools.ext.jl.ast.Node_c
-
- typeCheck(TypeChecker) -
Method in class jltools.ext.jl.ast.Declarator_c
- Type check the declarator.
- typeCheck(TypeChecker) -
Method in class jltools.ext.jl.ast.Ext_c
-
- typeCheck(TypeChecker) -
Method in class jltools.ext.jif.extension.JifSpecialExt
- Set the type of "this" expression as an instantiated type
- typeCheck(TypeChecker) -
Method in class jltools.ext.jif.extension.JifFieldExt
-
- typeCheckBody(TypeChecker, ParsedClassType) -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- typeCheckEpilogue(ClassType, TypeChecker) -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- TypeChecker - class jltools.visit.TypeChecker.
- Visitor which performs type checking on the AST.
- TypeChecker(Job) -
Constructor for class jltools.visit.TypeChecker
-
- typeCheckOverride_(TypeChecker) -
Method in interface jltools.ast.Node
- Type check the AST.
- typeCheckOverride_(TypeChecker) -
Method in class jltools.ext.jl.ast.Node_c
- Type check the AST.
- typeCheckOverride_(TypeChecker) -
Method in class jltools.ext.jl.ast.LocalDecl_c
- Type check the declaration.
- typeCheckOverride_(TypeChecker) -
Method in class jltools.ext.jl.ast.AbstractNew_c
-
- typeCheckOverride_(TypeChecker) -
Method in class jltools.ext.jl.ast.QualifiedNew_c
- Type check the expression.
- typeCheckOverride_(TypeChecker) -
Method in class jltools.ext.jl.ast.New_c
- Type check the expression.
- typeCheckOverride(TypeChecker) -
Method in interface jltools.ast.Ext
-
- typeCheckOverride(TypeChecker) -
Method in class jltools.ext.jl.ast.Node_c
-
- typeCheckOverride(TypeChecker) -
Method in class jltools.ext.jl.ast.Ext_c
-
- typeCheckOverride(TypeChecker) -
Method in class jltools.ext.jif.extension.JifFieldDeclExt
-
- typeCheckOverride(TypeChecker) -
Method in class jltools.ext.jif.extension.JifFieldExt
-
- typeCheckOverride(TypeChecker) -
Method in class jltools.ext.jif.extension.JifInitializerExt
-
- Typed - interface jltools.ast.Typed.
Typed represents any node that has a type
associated with it.- TypedList - class jltools.util.TypedList.
- A TypedList is an List which will not allow members not belonging
to a given type to be added to a collection.
- TypedList(List, Class, boolean) -
Constructor for class jltools.util.TypedList
- Requires:
not null, and every element of may be
cast to class .
- TypedListIterator - class jltools.util.TypedListIterator.
- A TypedListIterator is an ListIterator which will not allow members
not belonging to a given type to be added to a collection.
- TypedListIterator(ListIterator, Class, boolean) -
Constructor for class jltools.util.TypedListIterator
- Requires:
not null
Creates a new TypedIterator around which restricts all
members to belong to class .
- TypeEncoder - class jltools.util.TypeEncoder.
- The
TypeEncoder gives the ability to encode a jltools
Type as a Java string. - TypeEncoder(TypeSystem) -
Constructor for class jltools.util.TypeEncoder
-
- typeForClass(Class) -
Method in interface jltools.types.TypeSystem
- Returns a canonical type corresponding to the Java Class object
class.
- typeForClass(Class) -
Method in class jltools.ext.jl.types.TypeSystem_c
- Returns a canonical type corresponding to the Java Class object
theClass.
- TypeInputStream - class jltools.util.TypeInputStream.
- Input stream for reading type objects.
- TypeInputStream(InputStream, TypeSystem) -
Constructor for class jltools.util.TypeInputStream
-
- TypeNode - interface jltools.ast.TypeNode.
- A
TypeNode is the syntactic representation of a
Type within the abstract syntax tree. - TypeNode_c - class jltools.ext.jl.ast.TypeNode_c.
- A
TypeNode is the syntactic representation of a
Type within the abstract syntax tree. - TypeNode_c(Ext, Position) -
Constructor for class jltools.ext.jl.ast.TypeNode_c
-
- TypeObject - interface jltools.types.TypeObject.
- A
TypeObject is an entity created by the type system. - TypeObject_c - class jltools.ext.jl.types.TypeObject_c.
- Abstract implementation of a type object.
- TypeObject_c() -
Constructor for class jltools.ext.jl.types.TypeObject_c
- Used for deserializing types.
- TypeObject_c(TypeSystem) -
Constructor for class jltools.ext.jl.types.TypeObject_c
- Creates a new type in the given a TypeSystem.
- TypeObject_c(TypeSystem, Position) -
Constructor for class jltools.ext.jl.types.TypeObject_c
-
- TypeOutputStream - class jltools.util.TypeOutputStream.
- Output stream for writing type objects.
- TypeOutputStream(OutputStream, TypeSystem, Type) -
Constructor for class jltools.util.TypeOutputStream
-
- typePart -
Variable in class jltools.ext.jif.ast.LabeledTypeNode_c
-
- typePart -
Variable in class jltools.ext.jif.types.LabeledType_c
-
- typePart() -
Method in class jltools.ext.jif.ast.LabeledTypeNode_c
-
- typePart() -
Method in interface jltools.ext.jif.ast.LabeledTypeNode
-
- typePart() -
Method in interface jltools.ext.jif.types.LabeledType
-
- typePart() -
Method in class jltools.ext.jif.types.LabeledType_c
-
- typePart(Type) -
Method in interface jltools.ext.jif.types.LabeledType
-
- typePart(Type) -
Method in class jltools.ext.jif.types.LabeledType_c
-
- typePart(TypeNode) -
Method in class jltools.ext.jif.ast.LabeledTypeNode_c
-
- typePart(TypeNode) -
Method in interface jltools.ext.jif.ast.LabeledTypeNode
-
- Types - class jltools.types.Types.
- A class used for reporting debug output related to types.
- types() -
Method in interface jltools.ext.jl.types.Context_c.Scope
-
- types() -
Method in class jltools.ext.jl.types.Context_c.JLScope
-
- Types() -
Constructor for class jltools.types.Types
-
- TypeSystem - interface jltools.types.TypeSystem.
- The
TypeSystem defines the types of the language and
how they are related. - TypeSystem_c - class jltools.ext.jl.types.TypeSystem_c.
- TypeSystem_c
Overview:
A TypeSystem_c is a universe of types, including all Java types.
- TypeSystem_c.MostSpecificComparator - class jltools.ext.jl.types.TypeSystem_c.MostSpecificComparator.
- Class to handle the comparisons; dispatches to moreSpecific method.
- TypeSystem_c.MostSpecificComparator(TypeSystem_c) -
Constructor for class jltools.ext.jl.types.TypeSystem_c.MostSpecificComparator
-
- TypeSystem_c() -
Constructor for class jltools.ext.jl.types.TypeSystem_c
-
- typeSystem() -
Method in class jltools.frontend.Compiler
- Get the compiler's type system
- typeSystem() -
Method in interface jltools.frontend.ExtensionInfo
- Produce a type system for this language extension.
- typeSystem() -
Method in interface jltools.parse.ParserWrapper
- Return the TypeSystem associated with the parser.
- typeSystem() -
Method in interface jltools.types.TypeObject
-
- typeSystem() -
Method in interface jltools.types.Context
- The type system.
- typeSystem() -
Method in class jltools.visit.BaseVisitor
-
- typeSystem() -
Method in class jltools.visit.ExceptionChecker
-
- typeSystem() -
Method in class jltools.visit.Translator
-
- typeSystem() -
Method in class jltools.ext.jl.ExtensionInfo
-
- typeSystem() -
Method in class jltools.ext.jl.types.TypeObject_c
-
- typeSystem() -
Method in class jltools.ext.jl.types.Context_c
-
- typeToQualifier(TypeNode) -
Method in class jltools.parse.Util
- Helper for exprToType.
- TypeWrapper - class jltools.ext.jif.types.TypeWrapper.
- A type wrapper derived from a Jif instantiated type.
- TypeWrapper.ConstraintTransformation - class jltools.ext.jif.types.TypeWrapper.ConstraintTransformation.
-
- TypeWrapper.ConstraintTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.ConstraintTransformation
-
- TypeWrapper.ConstructorTransformation - class jltools.ext.jif.types.TypeWrapper.ConstructorTransformation.
-
- TypeWrapper.ConstructorTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.ConstructorTransformation
-
- TypeWrapper.FieldTransformation - class jltools.ext.jif.types.TypeWrapper.FieldTransformation.
-
- TypeWrapper.FieldTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.FieldTransformation
-
- TypeWrapper.LabelTransformation - class jltools.ext.jif.types.TypeWrapper.LabelTransformation.
-
- TypeWrapper.LabelTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.LabelTransformation
-
- TypeWrapper.MethodTransformation - class jltools.ext.jif.types.TypeWrapper.MethodTransformation.
-
- TypeWrapper.MethodTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.MethodTransformation
-
- TypeWrapper.PrincipalTransformation - class jltools.ext.jif.types.TypeWrapper.PrincipalTransformation.
-
- TypeWrapper.PrincipalTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.PrincipalTransformation
-
- TypeWrapper.TransformingList - class jltools.ext.jif.types.TypeWrapper.TransformingList.
- An immutable list that performs some operation on each element
of another list.
- TypeWrapper.TransformingList(List, TypeWrapper.WrapperTransformation) -
Constructor for class jltools.ext.jif.types.TypeWrapper.TransformingList
-
- TypeWrapper.TypeTransformation - class jltools.ext.jif.types.TypeWrapper.TypeTransformation.
-
- TypeWrapper.TypeTransformation(TypeWrapper) -
Constructor for class jltools.ext.jif.types.TypeWrapper.TypeTransformation
-
- TypeWrapper.WrappedClassType - class jltools.ext.jif.types.TypeWrapper.WrappedClassType.
-
- TypeWrapper.WrappedClassType(TypeWrapper, TopLevelClassType) -
Constructor for class jltools.ext.jif.types.TypeWrapper.WrappedClassType
-
- TypeWrapper.WrappedJifClassType - class jltools.ext.jif.types.TypeWrapper.WrappedJifClassType.
-
- TypeWrapper.WrappedJifClassType(TypeWrapper, JifClassType) -
Constructor for class jltools.ext.jif.types.TypeWrapper.WrappedJifClassType
-
- TypeWrapper.WrappedPolyType - class jltools.ext.jif.types.TypeWrapper.WrappedPolyType.
-
- TypeWrapper.WrapperTransformation - interface jltools.ext.jif.types.TypeWrapper.WrapperTransformation.
-
- typeWrapper() -
Method in class jltools.ext.jif.types.JifInstType_c
-
- typeWrapper() -
Method in interface jltools.ext.jif.types.JifInstType
-
- TypeWrapper(JifTypeSystem, JifPolyType, List) -
Constructor for class jltools.ext.jif.types.TypeWrapper
-
Unary represents a Java unary expression, an
immutable pair of an expression and an an operator.Unary represents a Java unary expression, an
immutable pair of an expression and an an operator.UnknownLabel interface.UnknownParam interface.UnknownPrincipal interface.parser.
VarInstance contains type information for a variable.VarInstance contains type information for a variable.VarLabel interface.JifVarInstance object into a label node or
a principal node
while
statement.while
statement.s verbatim on the output stream.
reduce_goto table.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||