Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
Hierarchy For All Packages
Package Hierarchies:
jif.lang
,
jif.policy
,
jif.runtime
,
jltools.ast
,
jltools.ext.jif
,
jltools.ext.jif.ast
,
jltools.ext.jif.extension
,
jltools.ext.jif.types
,
jltools.ext.jif.visit
,
jltools.ext.jl
,
jltools.ext.jl.ast
,
jltools.ext.jl.parse
,
jltools.ext.jl.types
,
jltools.frontend
,
jltools.lex
,
jltools.main
,
jltools.parse
,
jltools.types
,
jltools.util
,
jltools.visit
Class Hierarchy
class java.lang.Object
class java.util.AbstractCollection (implements java.util.Collection)
class java.util.AbstractList (implements java.util.List)
class jltools.util.
TransformingList
class jltools.util.
CachingTransformingList
class jltools.ext.jif.types.
TypeWrapper.TransformingList
class java.util.AbstractSet (implements java.util.Set)
class jltools.util.
NestedMap.KeySet
class java.util.AbstractMap (implements java.util.Map)
class jltools.util.
NestedMap
(implements java.util.Map)
class jltools.frontend.
AbstractPass
(implements jltools.frontend.
Pass
)
class jltools.frontend.
BarrierPass
class jltools.frontend.
EmptyPass
class jltools.frontend.
ParserPass
class jltools.visit.
Translator
class jltools.ext.jif.visit.
JifTranslator
class jltools.frontend.
VisitorPass
class jltools.util.
Annotate
class jltools.util.
AnnotatedObject
class jltools.util.
Assert
class jltools.util.
BitVector
class jltools.types.
CachingResolver
(implements jltools.types.
Resolver
)
class jltools.ext.jif.extension.
CallChecker
class java.lang.ClassLoader
class jltools.types.
ClasspathLoader
class jltools.types.
ClassResolver
(implements jltools.types.
Resolver
)
class jltools.types.
ClassContextResolver
class jltools.types.
ImportTable
class jltools.types.
LoadedClassResolver
class jltools.types.
TableResolver
class jltools.util.
CodeWriter
class jltools.ext.jl.ast.
Node_c.StringCodeWriter
class jltools.util.
CollectionUtil
class jltools.frontend.
Compiler
class jltools.types.
CompoundResolver
(implements jltools.types.
Resolver
)
class jltools.util.
ConcatenatedIterator
(implements java.util.Iterator)
class jltools.ext.jif.extension.
ConstructorChecker
class jltools.ext.jl.types.
Context_c
(implements jltools.types.
Context
)
class jltools.ext.jif.types.
JifContext_c
(implements jltools.ext.jif.types.
JifContext
)
class jltools.ext.jl.types.
Context_c.JLClassMark
(implements jltools.ext.jl.types.
Context_c.ClassMark
)
class jltools.ext.jl.types.
Context_c.JLCodeMark
(implements jltools.ext.jl.types.
Context_c.CodeMark
)
class jltools.ext.jl.types.
Context_c.JLScope
(implements jltools.ext.jl.types.
Context_c.Scope
)
class jltools.ext.jif.types.
JifContext_c.JifScope
class jltools.ext.jif.types.
JifContext_c.PrincipalScope
class jltools.frontend.
CupParser
(implements jltools.frontend.
Parser
)
class jltools.ext.jl.ast.
Declarator_c
(implements jltools.ast.
Declarator
)
class jltools.ext.jl.ast.
Disamb
class jltools.types.
EmptyContextResolver
(implements jltools.types.
Resolver
)
class jltools.util.
Enum
(implements java.io.Serializable)
class jltools.ast.
Assign.Operator
class jltools.ast.
Binary.Operator
class jltools.ast.
Branch.Kind
class jltools.ast.
ConstructorCall.Kind
class jltools.ast.
FloatLit.Kind
class jltools.ast.
Import.Kind
class jltools.ast.
IntLit.Kind
class jltools.ext.jif.types.
ParamInstance.Kind
class jltools.frontend.
Pass.Status
class jltools.ext.jif.types.
Path.FixedPath
(implements jltools.ext.jif.types.
Path
)
class jltools.ast.
Precedence
class jltools.types.
PrimitiveType.Kind
class jltools.ast.
Special.Kind
class jltools.ast.
Unary.Operator
class jltools.ext.jif.types.
Equation
class jltools.util.
ErrorInfo
class jltools.util.
ErrorQueue
class jltools.ext.jif.types.
ExceptionPath_c
(implements jltools.ext.jif.types.
ExceptionPath
)
class jltools.ext.jl.ast.
Ext_c
(implements jltools.ast.
Ext
)
class jltools.ext.jif.ast.
Jif_c
(implements jltools.ext.jif.ast.
Jif
)
class jltools.ext.jif.extension.
JifArrayAccessExt
(implements jltools.ext.jif.extension.
JifLHSExt
)
class jltools.ext.jif.extension.
JifArrayInitExt
class jltools.ext.jif.extension.
JifAssignExt
class jltools.ext.jif.extension.
JifBinaryExt
class jltools.ext.jif.extension.
JifCallExt
class jltools.ext.jif.extension.
JifCastExt
class jltools.ext.jif.extension.
JifClassDeclExt
class jltools.ext.jif.extension.
JifConditionalExt
class jltools.ext.jif.extension.
JifDeclassifyExprExt
class jltools.ext.jif.extension.
JifFieldExt
(implements jltools.ext.jif.extension.
JifLHSExt
)
class jltools.ext.jif.extension.
JifFormalExt
class jltools.ext.jif.extension.
JifInitializerExt
class jltools.ext.jif.extension.
JifInstanceofExt
class jltools.ext.jif.extension.
JifLiteralExt
class jltools.ext.jif.extension.
JifLocalExt
(implements jltools.ext.jif.extension.
JifLHSExt
)
class jltools.ext.jif.extension.
JifNewArrayExt
class jltools.ext.jif.extension.
JifNewExt
class jltools.ext.jif.extension.
JifProcedureDeclExt
class jltools.ext.jif.extension.
JifConstructorDeclExt
class jltools.ext.jif.extension.
JifMethodDeclExt
class jltools.ext.jif.extension.
JifSpecialExt
class jltools.ext.jif.extension.
JifStmtExt
class jltools.ext.jif.extension.
JifActsForExt
class jltools.ext.jif.extension.
JifBlockExt
class jltools.ext.jif.extension.
JifBranchExt
class jltools.ext.jif.extension.
JifCaseExt
class jltools.ext.jif.extension.
JifConstructorCallExt
class jltools.ext.jif.extension.
JifDeclassifyStmtExt
class jltools.ext.jif.extension.
JifDoExt
class jltools.ext.jif.extension.
JifEmptyExt
class jltools.ext.jif.extension.
JifEvalExt
class jltools.ext.jif.extension.
JifFieldDeclExt
class jltools.ext.jif.extension.
JifForExt
class jltools.ext.jif.extension.
JifIfExt
class jltools.ext.jif.extension.
JifLabeledExt
class jltools.ext.jif.extension.
JifLocalDeclExt
class jltools.ext.jif.extension.
JifReturnExt
class jltools.ext.jif.extension.
JifSwitchExt
class jltools.ext.jif.extension.
JifSynchronizedExt
class jltools.ext.jif.extension.
JifThrowExt
class jltools.ext.jif.extension.
JifTryExt
class jltools.ext.jif.extension.
JifWhileExt
class jltools.ext.jif.extension.
JifSwitchLabelExt
class jltools.ext.jif.extension.
JifUnaryExt
class jltools.ext.jl.
ExtensionInfo
(implements jltools.frontend.
ExtensionInfo
)
class jltools.ext.jif.
ExtensionInfo
class jif.policy.
FileSystem
class jltools.util.
FilteringIterator
(implements java.util.Iterator)
class jltools.types.
Flags
(implements jltools.util.
Copy
, java.io.Serializable)
class jltools.ext.jif.types.
GotoPath_c
(implements jltools.ext.jif.types.
Path
)
class java.io.InputStream
class java.io.ObjectInputStream (implements java.io.ObjectInput, java.io.ObjectStreamConstants)
class jltools.util.
TypeInputStream
class jif.io.InputStream
class jif.io.FileInputStream
class jif.runtime.
FileInputStream_p
class jltools.frontend.
Job
class jltools.ext.jl.
ExtensionInfo.JLJob
class jltools.ext.jif.
ExtensionInfo.JifJob
class jif.lang.
Label
class jltools.ext.jif.types.
LabelConstraint
class jltools.ext.jl.parse.
Lexer
class java_cup.runtime.lr_parser
class jltools.ext.jl.parse.
Grm
class jltools.main.
Main
class jltools.ext.jl.parse.
Name
class jltools.ext.jif.types.
NamedLabel
class jltools.util.
NilMap
(implements java.util.Map)
class jltools.ext.jl.ast.
Node_c
(implements jltools.ast.
Node
)
class jltools.ext.jif.ast.
AmbParam_c
(implements jltools.ext.jif.ast.
AmbParam
)
class jltools.ext.jif.ast.
AmbParamTypeOrAccess_c
(implements jltools.ext.jif.ast.
AmbParamTypeOrAccess
)
class jltools.ext.jl.ast.
AmbPrefix_c
(implements jltools.ast.
AmbPrefix
)
class jltools.ext.jl.ast.
AmbReceiver_c
(implements jltools.ast.
AmbReceiver
)
class jltools.ext.jl.ast.
AmbQualifierNode_c
(implements jltools.ast.
AmbQualifierNode
)
class jltools.ext.jl.ast.
ClassBody_c
(implements jltools.ast.
ClassBody
)
class jltools.ext.jl.ast.
ClassDecl_c
(implements jltools.ast.
ClassDecl
)
class jltools.ext.jif.ast.
JifClassDecl_c
(implements jltools.ext.jif.ast.
JifClassDecl
)
class jltools.ext.jif.ast.
ConstraintNode_c
(implements jltools.ext.jif.ast.
ConstraintNode
)
class jltools.ext.jif.ast.
ActsForConstraintNode_c
(implements jltools.ext.jif.ast.
ActsForConstraintNode
)
class jltools.ext.jif.ast.
AuthConstraintNode_c
(implements jltools.ext.jif.ast.
AuthConstraintNode
)
class jltools.ext.jif.ast.
CallerConstraintNode_c
(implements jltools.ext.jif.ast.
CallerConstraintNode
)
class jltools.ext.jif.ast.
CanonicalConstraintNode_c
(implements jltools.ext.jif.ast.
CanonicalConstraintNode
)
class jltools.ext.jl.ast.
ConstructorDecl_c
(implements jltools.ast.
ConstructorDecl
)
class jltools.ext.jif.ast.
JifConstructorDecl_c
(implements jltools.ext.jif.ast.
JifConstructorDecl
)
class jltools.ext.jl.ast.
Expr_c
(implements jltools.ast.
Expr
)
class jltools.ext.jl.ast.
AbstractNew_c
class jltools.ext.jl.ast.
New_c
(implements jltools.ast.
New
)
class jltools.ext.jl.ast.
QualifiedNew_c
(implements jltools.ast.
QualifiedNew
)
class jltools.ext.jl.ast.
AmbExpr_c
(implements jltools.ast.
AmbExpr
)
class jltools.ext.jif.ast.
AmbNewArray_c
(implements jltools.ext.jif.ast.
AmbNewArray
)
class jltools.ext.jl.ast.
ArrayAccess_c
(implements jltools.ast.
ArrayAccess
)
class jltools.ext.jl.ast.
ArrayInit_c
(implements jltools.ast.
ArrayInit
)
class jltools.ext.jl.ast.
Assign_c
(implements jltools.ast.
Assign
)
class jltools.ext.jl.ast.
Binary_c
(implements jltools.ast.
Binary
)
class jltools.ext.jl.ast.
Call_c
(implements jltools.ast.
Call
)
class jltools.ext.jl.ast.
Cast_c
(implements jltools.ast.
Cast
)
class jltools.ext.jl.ast.
Conditional_c
(implements jltools.ast.
Conditional
)
class jltools.ext.jif.ast.
DeclassifyExpr_c
(implements jltools.ext.jif.ast.
DeclassifyExpr
)
class jltools.ext.jl.ast.
Field_c
(implements jltools.ast.
Field
)
class jltools.ext.jl.ast.
Instanceof_c
(implements jltools.ast.
Instanceof
)
class jltools.ext.jl.ast.
Lit_c
(implements jltools.ast.
Lit
)
class jltools.ext.jl.ast.
BooleanLit_c
(implements jltools.ast.
BooleanLit
)
class jltools.ext.jl.ast.
FloatLit_c
(implements jltools.ast.
FloatLit
)
class jltools.ext.jl.ast.
NullLit_c
(implements jltools.ast.
NullLit
)
class jltools.ext.jl.ast.
NumLit_c
(implements jltools.ast.
NumLit
)
class jltools.ext.jl.ast.
CharLit_c
(implements jltools.ast.
CharLit
)
class jltools.ext.jl.ast.
IntLit_c
(implements jltools.ast.
IntLit
)
class jltools.ext.jl.ast.
StringLit_c
(implements jltools.ast.
StringLit
)
class jltools.ext.jl.ast.
Local_c
(implements jltools.ast.
Local
)
class jltools.ext.jl.ast.
NewArray_c
(implements jltools.ast.
NewArray
)
class jltools.ext.jif.ast.
NewLabel_c
(implements jltools.ext.jif.ast.
NewLabel
)
class jltools.ext.jl.ast.
Special_c
(implements jltools.ast.
Special
)
class jltools.ext.jl.ast.
Unary_c
(implements jltools.ast.
Unary
)
class jltools.ext.jl.ast.
FieldDecl_c
(implements jltools.ast.
FieldDecl
)
class jltools.ext.jl.ast.
Formal_c
(implements jltools.ast.
Formal
)
class jltools.ext.jl.ast.
Import_c
(implements jltools.ast.
Import
)
class jltools.ext.jl.ast.
Initializer_c
(implements jltools.ast.
Initializer
)
class jltools.ext.jif.ast.
LabelNode_c
(implements jltools.ext.jif.ast.
LabelNode
)
class jltools.ext.jif.ast.
AmbLabelNode_c
(implements jltools.ext.jif.ast.
LabelNode
)
class jltools.ext.jif.ast.
AmbDynamicLabelNode_c
(implements jltools.ext.jif.ast.
AmbDynamicLabelNode
)
class jltools.ext.jif.ast.
AmbThisLabelNode_c
(implements jltools.ext.jif.ast.
AmbThisLabelNode
)
class jltools.ext.jif.ast.
AmbVarLabelNode_c
(implements jltools.ext.jif.ast.
AmbVarLabelNode
)
class jltools.ext.jif.ast.
JoinLabelNode_c
(implements jltools.ext.jif.ast.
JoinLabelNode
)
class jltools.ext.jif.ast.
PolicyLabelNode_c
(implements jltools.ext.jif.ast.
PolicyLabelNode
)
class jltools.ext.jif.ast.
CanonicalLabelNode_c
(implements jltools.ext.jif.ast.
CanonicalLabelNode
)
class jltools.ext.jl.ast.
MethodDecl_c
(implements jltools.ast.
MethodDecl
)
class jltools.ext.jif.ast.
JifMethodDecl_c
(implements jltools.ext.jif.ast.
JifMethodDecl
)
class jltools.ext.jl.ast.
PackageNode_c
(implements jltools.ast.
PackageNode
)
class jltools.ext.jif.ast.
ParamDecl_c
(implements jltools.ext.jif.ast.
ParamDecl
)
class jltools.ext.jif.ast.
PrincipalNode_c
(implements jltools.ext.jif.ast.
PrincipalNode
)
class jltools.ext.jif.ast.
AmbPrincipalNode_c
(implements jltools.ext.jif.ast.
AmbPrincipalNode
)
class jltools.ext.jif.ast.
CanonicalPrincipalNode_c
(implements jltools.ext.jif.ast.
CanonicalPrincipalNode
)
class jltools.ext.jl.ast.
SourceFile_c
(implements jltools.ast.
SourceFile
)
class jltools.ext.jl.ast.
Stmt_c
(implements jltools.ast.
Stmt
)
class jltools.ext.jif.ast.
ActsFor_c
(implements jltools.ext.jif.ast.
ActsFor
)
class jltools.ext.jl.ast.
Branch_c
(implements jltools.ast.
Branch
)
class jltools.ext.jl.ast.
Case_c
(implements jltools.ast.
Case
)
class jltools.ext.jl.ast.
Catch_c
(implements jltools.ast.
Catch
)
class jltools.ext.jl.ast.
ConstructorCall_c
(implements jltools.ast.
ConstructorCall
)
class jltools.ext.jif.ast.
DeclassifyStmt_c
(implements jltools.ext.jif.ast.
DeclassifyStmt
)
class jltools.ext.jl.ast.
Do_c
(implements jltools.ast.
Do
)
class jltools.ext.jl.ast.
Empty_c
(implements jltools.ast.
Empty
)
class jltools.ext.jl.ast.
Eval_c
(implements jltools.ast.
Eval
)
class jltools.ext.jl.ast.
For_c
(implements jltools.ast.
For
)
class jltools.ext.jl.ast.
If_c
(implements jltools.ast.
If
)
class jltools.ext.jif.ast.
LabelCase_c
(implements jltools.ext.jif.ast.
LabelCase
)
class jltools.ext.jl.ast.
Labeled_c
(implements jltools.ast.
Labeled
)
class jltools.ext.jl.ast.
LocalClassDecl_c
(implements jltools.ast.
LocalClassDecl
)
class jltools.ext.jl.ast.
LocalDecl_c
(implements jltools.ast.
LocalDecl
)
class jltools.ext.jl.ast.
Return_c
(implements jltools.ast.
Return
)
class jltools.ext.jl.ast.
Switch_c
(implements jltools.ast.
Switch
)
class jltools.ext.jif.ast.
SwitchLabel_c
(implements jltools.ext.jif.ast.
SwitchLabel
)
class jltools.ext.jl.ast.
Synchronized_c
(implements jltools.ast.
Synchronized
)
class jltools.ext.jl.ast.
Throw_c
(implements jltools.ast.
Throw
)
class jltools.ext.jl.ast.
Try_c
(implements jltools.ast.
Try
)
class jltools.ext.jl.ast.
While_c
(implements jltools.ast.
While
)
class jltools.ext.jl.ast.
TypeNode_c
(implements jltools.ast.
TypeNode
)
class jltools.ext.jl.ast.
AmbTypeNode_c
(implements jltools.ast.
AmbTypeNode
)
class jltools.ext.jl.ast.
ArrayTypeNode_c
(implements jltools.ast.
ArrayTypeNode
)
class jltools.ext.jl.ast.
CanonicalTypeNode_c
(implements jltools.ast.
CanonicalTypeNode
)
class jltools.ext.jif.ast.
InstTypeNode_c
(implements jltools.ext.jif.ast.
InstTypeNode
)
class jltools.ext.jif.ast.
LabeledTypeNode_c
(implements jltools.ext.jif.ast.
LabeledTypeNode
)
class jltools.ext.jl.ast.
NodeFactory_c
(implements jltools.ast.
NodeFactory
)
class jltools.ext.jif.ast.
JifNodeFactory_c
(implements jltools.ext.jif.ast.
JifNodeFactory
)
class jltools.ast.
NodeVisitor
class jltools.visit.
BaseVisitor
class jltools.visit.
ConstantFolder
class jltools.visit.
SemanticVisitor
class jltools.visit.
AmbiguityRemover
class jltools.ext.jif.visit.
FieldLabelResolver
class jltools.ext.jif.visit.
JifLabelSubst
class jltools.ext.jif.visit.
LabelChecker
class jltools.visit.
TypeAmbiguityRemover
class jltools.visit.
TypeChecker
class jltools.visit.
TypeBuilder
class jltools.visit.
ClassSerializer
class jltools.visit.
DumpAst
class jltools.visit.
ExceptionChecker
class jltools.visit.
FlattenVisitor
class jltools.visit.
FlowChecker
class jltools.visit.
NodeScrambler
class jltools.visit.
NodeScrambler.FirstPass
class jltools.main.
Options
class java.io.OutputStream
class java.io.ObjectOutputStream (implements java.io.ObjectOutput, java.io.ObjectStreamConstants)
class jltools.util.
TypeOutputStream
class jif.io.OutputStream
class jif.io.FileOutputStream
class jif.runtime.
FileOutputStream_p
class jltools.types.
PackageContextResolver
(implements jltools.types.
Resolver
)
class jltools.util.
Pair
class jif.policy.
Passwd
class jltools.ext.jif.types.
PathMap
class jif.lang.
Policy
class jltools.util.
Position
(implements java.io.Serializable)
class jif.lang.
Principal
class jif.policy.
Principal
class jif.policy.
Group
class jif.policy.
User
class jltools.ext.jif.types.
PrincipalHierarchy
class jif.lang.
PrincipalSet
class java.io.Reader
class java.io.FilterReader
class jltools.lex.
EscapedUnicodeReader
class jltools.main.
Report
class jif.runtime.
Runtime
class jltools.visit.
SemanticVisitor.Catcher
class jltools.ext.jif.types.
Solver
class jltools.frontend.
Source
class jltools.frontend.
SourceLoader
class jltools.util.
StringUtil
class jltools.ext.jif.extension.
SubtypeChecker
class jltools.util.
SubtypeSet
(implements java.util.Set)
class jltools.ext.jl.parse.
sym
class jltools.frontend.
TargetFactory
class java.lang.Throwable (implements java.io.Serializable)
class java.lang.Exception
class jif.lang.
PrincipalNotFoundException
class java.lang.RuntimeException
class jltools.util.
ErrorLimitError
class jltools.util.
InternalCompilerError
class jltools.visit.
SemanticVisitor.Abort
class jltools.types.
SemanticException
class jltools.types.
NoClassException
class jltools.main.
UsageError
class jltools.lex.
Token
class jltools.lex.
EOF
class jltools.lex.
Identifier
class jltools.lex.
Keyword
class jltools.lex.
Literal
class jltools.lex.
BooleanLiteral
class jltools.lex.
CharacterLiteral
class jltools.lex.
NullLiteral
class jltools.lex.
NumericLiteral
class jltools.lex.
DoubleLiteral
class jltools.lex.
FloatLiteral
class jltools.lex.
IntegerLiteral
class jltools.lex.
LongLiteral
class jltools.lex.
StringLiteral
class jltools.lex.
Operator
class jltools.util.
TransformingIterator
(implements java.util.Iterator)
class jltools.util.
TypedList
(implements java.util.List, java.io.Serializable)
class jltools.util.
TypedListIterator
(implements java.util.ListIterator)
class jltools.util.
TypeEncoder
class jltools.ext.jl.types.
TypeObject_c
(implements jltools.types.
TypeObject
)
class jltools.ext.jif.types.
ActsForConstraint_c
(implements jltools.ext.jif.types.
ActsForConstraint
)
class jltools.ext.jif.types.
AuthConstraint_c
(implements jltools.ext.jif.types.
AuthConstraint
)
class jltools.ext.jif.types.
CallerConstraint_c
(implements jltools.ext.jif.types.
CallerConstraint
)
class jltools.ext.jl.types.
InitializerInstance_c
(implements jltools.types.
InitializerInstance
)
class jltools.ext.jif.types.
Label_c
(implements jltools.ext.jif.types.
Label
)
class jltools.ext.jif.types.
ArgLabel_c
(implements jltools.ext.jif.types.
ArgLabel
)
class jltools.ext.jif.types.
CovariantLabel_c
(implements jltools.ext.jif.types.
CovariantLabel
)
class jltools.ext.jif.types.
DynamicArgLabel_c
(implements jltools.ext.jif.types.
DynamicArgLabel
)
class jltools.ext.jif.types.
DynamicLabel_c
(implements jltools.ext.jif.types.
DynamicLabel
)
class jltools.ext.jif.types.
DynrecLabel_c
(implements jltools.ext.jif.types.
DynrecLabel
)
class jltools.ext.jif.types.
JoinLabel_c
(implements jltools.ext.jif.types.
JoinLabel
)
class jltools.ext.jif.types.
LabelOfVar_c
(implements jltools.ext.jif.types.
LabelOfVar
)
class jltools.ext.jif.types.
NotTaken_c
(implements jltools.ext.jif.types.
NotTaken
)
class jltools.ext.jif.types.
ParamLabel_c
(implements jltools.ext.jif.types.
ParamLabel
)
class jltools.ext.jif.types.
PolicyLabel_c
(implements jltools.ext.jif.types.
PolicyLabel
)
class jltools.ext.jif.types.
RuntimeLabel_c
(implements jltools.ext.jif.types.
RuntimeLabel
)
class jltools.ext.jif.types.
TopLabel_c
(implements jltools.ext.jif.types.
TopLabel
)
class jltools.ext.jif.types.
UnknownLabel_c
(implements jltools.ext.jif.types.
UnknownLabel
)
class jltools.ext.jif.types.
VarLabel_c
(implements jltools.ext.jif.types.
VarLabel
)
class jltools.ext.jl.types.
Package_c
(implements jltools.types.
Package
)
class jltools.ext.jif.types.
Principal_c
(implements jltools.ext.jif.types.
Principal
)
class jltools.ext.jif.types.
ArgPrincipal_c
(implements jltools.ext.jif.types.
ArgPrincipal
)
class jltools.ext.jif.types.
DynamicPrincipal_c
(implements jltools.ext.jif.types.
DynamicPrincipal
)
class jltools.ext.jif.types.
ExternalPrincipal_c
(implements jltools.ext.jif.types.
ExternalPrincipal
)
class jltools.ext.jif.types.
ParamPrincipal_c
(implements jltools.ext.jif.types.
ParamPrincipal
)
class jltools.ext.jl.types.
ProcedureInstance_c
(implements jltools.types.
ProcedureInstance
)
class jltools.ext.jl.types.
ConstructorInstance_c
(implements jltools.types.
ConstructorInstance
)
class jltools.ext.jif.types.
JifConstructorInstance_c
(implements jltools.ext.jif.types.
JifConstructorInstance
)
class jltools.ext.jl.types.
MethodInstance_c
(implements jltools.types.
MethodInstance
)
class jltools.ext.jif.types.
JifMethodInstance_c
(implements jltools.ext.jif.types.
JifMethodInstance
)
class jltools.ext.jl.types.
Type_c
(implements jltools.types.
Type
)
class jltools.ext.jif.types.
JifInstType_c.PlaceHolder
class jltools.ext.jif.types.
LabeledType_c
(implements jltools.ext.jif.types.
LabeledType
)
class jltools.ext.jl.types.
NullType_c
(implements jltools.types.
NullType
)
class jltools.ext.jl.types.
PlaceHolder_c
class jltools.ext.jl.types.
PrimitiveType_c
(implements jltools.types.
PrimitiveType
)
class jltools.ext.jl.types.
ReferenceType_c
(implements jltools.types.
ReferenceType
)
class jltools.ext.jl.types.
ArrayType_c
(implements jltools.types.
ArrayType
)
class jltools.ext.jl.types.
ClassType_c
(implements jltools.types.
ClassType
)
class jltools.ext.jif.types.
JifInstType_c
(implements jltools.ext.jif.types.
JifInstType
)
class jltools.ext.jl.types.
LoadedClassType_c
(implements jltools.types.
LoadedClassType
)
class jltools.ext.jl.types.
LoadedInnerClassType_c
(implements jltools.types.
InnerClassType
)
class jltools.ext.jl.types.
LoadedAnonClassType_c
(implements jltools.types.
AnonClassType
)
class jltools.ext.jl.types.
LoadedLocalClassType_c
(implements jltools.types.
LocalClassType
)
class jltools.ext.jl.types.
LoadedMemberClassType_c
(implements jltools.types.
MemberClassType
)
class jltools.ext.jl.types.
LoadedTopLevelClassType_c
(implements jltools.types.
TopLevelClassType
)
class jltools.ext.jl.types.
ParsedClassType_c
(implements jltools.types.
ParsedClassType
)
class jltools.ext.jl.types.
ParsedInnerClassType_c
(implements jltools.types.
ParsedInnerClassType
)
class jltools.ext.jl.types.
ParsedAnonClassType_c
(implements jltools.types.
ParsedAnonClassType
)
class jltools.ext.jl.types.
ParsedLocalClassType_c
(implements jltools.types.
ParsedLocalClassType
)
class jltools.ext.jl.types.
ParsedMemberClassType_c
(implements jltools.types.
ParsedMemberClassType
)
class jltools.ext.jl.types.
ParsedTopLevelClassType_c
(implements jltools.types.
ParsedTopLevelClassType
)
class jltools.ext.jif.types.
JifParsedPolyType_c
(implements jltools.ext.jif.types.
JifParsedPolyType
)
class jltools.ext.jif.types.
TypeWrapper.WrappedClassType
(implements jltools.types.
TopLevelClassType
)
class jltools.ext.jif.types.
TypeWrapper.WrappedJifClassType
(implements jltools.ext.jif.types.
JifClassType
)
class jltools.ext.jif.types.
TypeWrapper.WrappedPolyType
(implements jltools.ext.jif.types.
JifPolyType
)
class jltools.ext.jl.types.
UnknownType_c
(implements jltools.types.
UnknownType
)
class jltools.ext.jif.types.
UnknownParam_c
(implements jltools.ext.jif.types.
UnknownParam
)
class jltools.ext.jif.types.
UnknownPrincipal_c
(implements jltools.ext.jif.types.
UnknownPrincipal
)
class jltools.ext.jl.types.
UnknownQualifier_c
(implements jltools.types.
UnknownQualifier
)
class jltools.ext.jl.types.
VarInstance_c
(implements jltools.types.
VarInstance
)
class jltools.ext.jl.types.
FieldInstance_c
(implements jltools.types.
FieldInstance
)
class jltools.ext.jif.types.
JifFieldInstance_c
(implements jltools.ext.jif.types.
JifFieldInstance
)
class jltools.ext.jl.types.
LocalInstance_c
(implements jltools.types.
LocalInstance
)
class jltools.ext.jif.types.
JifLocalInstance_c
(implements jltools.ext.jif.types.
JifLocalInstance
)
class jltools.ext.jif.types.
ParamInstance_c
(implements jltools.ext.jif.types.
ParamInstance
)
class jltools.ext.jif.types.
PrincipalInstance_c
(implements jltools.ext.jif.types.
PrincipalInstance
)
class jltools.types.
Types
class jltools.ext.jl.types.
TypeSystem_c
(implements jltools.types.
TypeSystem
)
class jltools.ext.jif.types.
JifTypeSystem_c
(implements jltools.ext.jif.types.
JifTypeSystem
)
class jltools.ext.jl.types.
TypeSystem_c.MostSpecificComparator
(implements java.util.Comparator)
class jltools.ext.jif.types.
TypeWrapper
class jltools.ext.jif.types.
TypeWrapper.ConstraintTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
TypeWrapper.ConstructorTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
TypeWrapper.FieldTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
TypeWrapper.LabelTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
TypeWrapper.MethodTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
TypeWrapper.PrincipalTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
TypeWrapper.TypeTransformation
(implements jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
)
class jltools.ext.jif.types.
UID
(implements java.io.Serializable)
class jltools.util.
UniqueID
class jltools.parse.
Util
class jltools.parse.
VarDeclarator
class jltools.ext.jif.types.
VarMap
class jltools.main.
Version
class jltools.ext.jl.
Version
class jltools.ext.jif.
Version
class jltools.util.
WorkList
class java.io.Writer
class java.io.FilterWriter
class jltools.util.
UnicodeWriter
class jltools.ext.jl.ast.
AbstractBlock_c
class jltools.ext.jl.ast.
SwitchBlock_c
(implements jltools.ast.
SwitchBlock
)
class jltools.ext.jl.ast.
Block_c
class jltools.ext.jl.types.
Context_c.OuterMark
Interface Hierarchy
interface java.lang.Cloneable
interface jltools.util.
Copy
interface jltools.ast.
Declarator
interface jltools.ast.
Ext
interface jltools.ext.jif.ast.
Jif
interface jltools.ast.
Node
(also extends java.io.Serializable)
interface jltools.ast.
Ambiguous
interface jltools.ast.
AmbExpr
(also extends jltools.ast.
Expr
)
interface jltools.ext.jif.ast.
AmbNewArray
(also extends jltools.ast.
Expr
)
interface jltools.ext.jif.ast.
AmbParamTypeOrAccess
(also extends jltools.ast.
Receiver
)
interface jltools.ast.
AmbPrefix
(also extends jltools.ast.
Prefix
)
interface jltools.ast.
AmbQualifierNode
(also extends jltools.ast.
QualifierNode
)
interface jltools.ast.
AmbReceiver
(also extends jltools.ast.
Receiver
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
TypeNode
)
interface jltools.ast.
ClassBody
interface jltools.ast.
ClassDecl
(also extends jltools.ast.
ClassMember
, jltools.ast.
TopLevelDecl
)
interface jltools.ext.jif.ast.
JifClassDecl
interface jltools.ast.
ClassMember
interface jltools.ast.
ClassDecl
(also extends jltools.ast.
Node
, jltools.ast.
TopLevelDecl
)
interface jltools.ext.jif.ast.
JifClassDecl
interface jltools.ast.
FieldDecl
interface jltools.ast.
Initializer
interface jltools.ast.
ProcedureDecl
interface jltools.ast.
ConstructorDecl
interface jltools.ext.jif.ast.
JifConstructorDecl
interface jltools.ast.
MethodDecl
interface jltools.ext.jif.ast.
JifMethodDecl
interface jltools.ext.jif.ast.
ConstraintNode
interface jltools.ext.jif.ast.
ActsForConstraintNode
interface jltools.ext.jif.ast.
AuthConstraintNode
interface jltools.ext.jif.ast.
CallerConstraintNode
interface jltools.ext.jif.ast.
CanonicalConstraintNode
interface jltools.ast.
Formal
interface jltools.ast.
Import
interface jltools.ast.
PackageNode
(also extends jltools.ast.
Prefix
, jltools.ast.
QualifierNode
)
interface jltools.ext.jif.ast.
ParamDecl
interface jltools.ext.jif.ast.
ParamNode
interface jltools.ext.jif.ast.
AmbParam
interface jltools.ext.jif.ast.
LabelNode
interface jltools.ext.jif.ast.
AmbDynamicLabelNode
interface jltools.ext.jif.ast.
AmbThisLabelNode
interface jltools.ext.jif.ast.
AmbVarLabelNode
interface jltools.ext.jif.ast.
CanonicalLabelNode
interface jltools.ext.jif.ast.
JoinLabelNode
interface jltools.ext.jif.ast.
PolicyLabelNode
interface jltools.ext.jif.ast.
PrincipalNode
interface jltools.ext.jif.ast.
AmbPrincipalNode
interface jltools.ext.jif.ast.
CanonicalPrincipalNode
interface jltools.ast.
Prefix
interface jltools.ast.
AmbPrefix
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
PackageNode
(also extends jltools.ast.
Node
, jltools.ast.
QualifierNode
)
interface jltools.ast.
QualifierNode
interface jltools.ast.
AmbQualifierNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
PackageNode
(also extends jltools.ast.
Node
, jltools.ast.
Prefix
)
interface jltools.ast.
TypeNode
(also extends jltools.ast.
Receiver
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayTypeNode
interface jltools.ast.
CanonicalTypeNode
interface jltools.ext.jif.ast.
InstTypeNode
interface jltools.ext.jif.ast.
LabeledTypeNode
interface jltools.ast.
Receiver
(also extends jltools.ast.
Typed
)
interface jltools.ext.jif.ast.
AmbParamTypeOrAccess
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
AmbReceiver
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
Expr
interface jltools.ast.
AmbExpr
(also extends jltools.ast.
Ambiguous
)
interface jltools.ext.jif.ast.
AmbNewArray
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayAccess
interface jltools.ast.
ArrayInit
interface jltools.ast.
Assign
interface jltools.ast.
Binary
interface jltools.ast.
Call
interface jltools.ast.
Cast
interface jltools.ast.
Conditional
interface jltools.ext.jif.ast.
DeclassifyExpr
interface jltools.ast.
Field
interface jltools.ast.
Instanceof
interface jltools.ast.
Lit
interface jltools.ast.
BooleanLit
interface jltools.ast.
FloatLit
interface jltools.ast.
NullLit
interface jltools.ast.
NumLit
interface jltools.ast.
CharLit
interface jltools.ast.
IntLit
interface jltools.ast.
StringLit
interface jltools.ast.
Local
interface jltools.ast.
New
interface jltools.ast.
NewArray
interface jltools.ext.jif.ast.
NewLabel
interface jltools.ast.
QualifiedNew
interface jltools.ast.
Special
interface jltools.ast.
Unary
interface jltools.ast.
TypeNode
(also extends jltools.ast.
QualifierNode
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayTypeNode
interface jltools.ast.
CanonicalTypeNode
interface jltools.ext.jif.ast.
InstTypeNode
interface jltools.ext.jif.ast.
LabeledTypeNode
interface jltools.ast.
SourceFile
interface jltools.ast.
Stmt
interface jltools.ext.jif.ast.
ActsFor
interface jltools.ast.
Block
interface jltools.ast.
SwitchBlock
(also extends jltools.ast.
SwitchElement
)
interface jltools.ast.
Branch
interface jltools.ast.
Catch
interface jltools.ast.
ConstructorCall
interface jltools.ext.jif.ast.
DeclassifyStmt
interface jltools.ast.
Do
interface jltools.ast.
Empty
interface jltools.ast.
For
interface jltools.ast.
ForInit
interface jltools.ast.
Eval
(also extends jltools.ast.
ForUpdate
)
interface jltools.ast.
LocalDecl
interface jltools.ast.
ForUpdate
interface jltools.ast.
Eval
(also extends jltools.ast.
ForInit
)
interface jltools.ast.
If
interface jltools.ext.jif.ast.
LabelCase
interface jltools.ast.
Labeled
interface jltools.ast.
LocalClassDecl
interface jltools.ast.
Return
interface jltools.ast.
Switch
interface jltools.ast.
SwitchElement
interface jltools.ast.
Case
interface jltools.ast.
SwitchBlock
(also extends jltools.ast.
Block
)
interface jltools.ext.jif.ast.
SwitchLabel
interface jltools.ast.
Synchronized
interface jltools.ast.
Throw
interface jltools.ast.
Try
interface jltools.ast.
While
interface jltools.ast.
TopLevelDecl
interface jltools.ast.
ClassDecl
(also extends jltools.ast.
ClassMember
, jltools.ast.
Node
)
interface jltools.ext.jif.ast.
JifClassDecl
interface jltools.types.
TypeObject
(also extends java.io.Serializable)
interface jltools.ext.jif.types.
Constraint
interface jltools.ext.jif.types.
ActsForConstraint
interface jltools.ext.jif.types.
AuthConstraint
interface jltools.ext.jif.types.
CallerConstraint
interface jltools.types.
MemberInstance
interface jltools.types.
CodeInstance
interface jltools.types.
InitializerInstance
interface jltools.types.
ProcedureInstance
interface jltools.types.
ConstructorInstance
interface jltools.ext.jif.types.
JifConstructorInstance
(also extends jltools.ext.jif.types.
JifProcedureInstance
)
interface jltools.ext.jif.types.
JifProcedureInstance
interface jltools.ext.jif.types.
JifConstructorInstance
(also extends jltools.types.
ConstructorInstance
)
interface jltools.ext.jif.types.
JifMethodInstance
(also extends jltools.types.
MethodInstance
)
interface jltools.types.
MethodInstance
interface jltools.ext.jif.types.
JifMethodInstance
(also extends jltools.ext.jif.types.
JifProcedureInstance
)
interface jltools.types.
FieldInstance
(also extends jltools.types.
VarInstance
)
interface jltools.ext.jif.types.
JifFieldInstance
(also extends jltools.ext.jif.types.
JifVarInstance
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
InnerClassType
, jltools.types.
NamedType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.ext.jif.types.
Param
interface jltools.ext.jif.types.
Label
interface jltools.ext.jif.types.
ArgLabel
interface jltools.ext.jif.types.
CovariantLabel
interface jltools.ext.jif.types.
DynamicArgLabel
interface jltools.ext.jif.types.
DynamicLabel
interface jltools.ext.jif.types.
DynrecLabel
interface jltools.ext.jif.types.
JoinLabel
interface jltools.ext.jif.types.
LabelOfVar
interface jltools.ext.jif.types.
NotTaken
interface jltools.ext.jif.types.
ParamLabel
interface jltools.ext.jif.types.
PolicyLabel
interface jltools.ext.jif.types.
RuntimeLabel
interface jltools.ext.jif.types.
TopLabel
interface jltools.ext.jif.types.
UnknownLabel
interface jltools.ext.jif.types.
VarLabel
interface jltools.ext.jif.types.
Principal
interface jltools.ext.jif.types.
ArgPrincipal
interface jltools.ext.jif.types.
DynamicPrincipal
interface jltools.ext.jif.types.
ExternalPrincipal
interface jltools.ext.jif.types.
ParamPrincipal
interface jltools.ext.jif.types.
UnknownPrincipal
interface jltools.ext.jif.types.
UnknownParam
interface jltools.types.
Qualifier
interface jltools.types.
NamedQualifier
interface jltools.types.
NamedType
(also extends jltools.types.
Type
)
interface jltools.types.
LocalClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
InnerClassType
, jltools.types.
MemberInstance
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
PrimitiveType
interface jltools.types.
TopLevelClassType
(also extends jltools.types.
ClassType
)
interface jltools.ext.jif.types.
JifClassType
interface jltools.ext.jif.types.
JifInstType
interface jltools.ext.jif.types.
JifPolyType
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.types.
ParsedTopLevelClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
Package
interface jltools.types.
Type
interface jltools.ext.jif.types.
LabeledType
interface jltools.types.
NamedType
(also extends jltools.types.
NamedQualifier
)
interface jltools.types.
LocalClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
InnerClassType
, jltools.types.
MemberInstance
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
PrimitiveType
interface jltools.types.
TopLevelClassType
(also extends jltools.types.
ClassType
)
interface jltools.ext.jif.types.
JifClassType
interface jltools.ext.jif.types.
JifInstType
interface jltools.ext.jif.types.
JifPolyType
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.types.
ParsedTopLevelClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
NullType
interface jltools.types.
ParsedType
interface jltools.types.
ParsedClassType
(also extends jltools.types.
ClassType
)
interface jltools.types.
ParsedInnerClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
AnonClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
LocalClassType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
MemberClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
TopLevelClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
ReferenceType
interface jltools.types.
ArrayType
interface jltools.types.
ClassType
interface jltools.types.
InnerClassType
interface jltools.types.
AnonClassType
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
LocalClassType
(also extends jltools.types.
NamedType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
MemberInstance
, jltools.types.
NamedType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
ParsedInnerClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
AnonClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
LocalClassType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
MemberClassType
)
interface jltools.types.
LoadedClassType
interface jltools.types.
ParsedClassType
(also extends jltools.types.
ParsedType
)
interface jltools.types.
ParsedInnerClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
AnonClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
LocalClassType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
MemberClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
TopLevelClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
TopLevelClassType
(also extends jltools.types.
NamedType
)
interface jltools.ext.jif.types.
JifClassType
interface jltools.ext.jif.types.
JifInstType
interface jltools.ext.jif.types.
JifPolyType
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.types.
ParsedTopLevelClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
UnknownType
interface jltools.types.
UnknownQualifier
interface jltools.types.
VarInstance
interface jltools.types.
FieldInstance
(also extends jltools.types.
MemberInstance
)
interface jltools.ext.jif.types.
JifFieldInstance
(also extends jltools.ext.jif.types.
JifVarInstance
)
interface jltools.ext.jif.types.
JifVarInstance
interface jltools.ext.jif.types.
JifFieldInstance
(also extends jltools.types.
FieldInstance
)
interface jltools.ext.jif.types.
JifLocalInstance
(also extends jltools.types.
LocalInstance
)
interface jltools.types.
LocalInstance
interface jltools.ext.jif.types.
JifLocalInstance
(also extends jltools.ext.jif.types.
JifVarInstance
)
interface jltools.ext.jif.types.
ParamInstance
interface jltools.ext.jif.types.
PrincipalInstance
interface jltools.ext.jl.types.
Context_c.ClassMark
interface jltools.ext.jl.types.
Context_c.CodeMark
interface jltools.ext.jl.types.
Context_c.Scope
interface jltools.types.
Context.Mark
interface jltools.frontend.
ExtensionInfo
interface jltools.ext.jif.extension.
JifLHSExt
interface jltools.ast.
NodeFactory
interface jltools.ext.jif.ast.
JifNodeFactory
interface jltools.frontend.
Parser
interface jltools.parse.
ParserWrapper
interface jltools.frontend.
Pass
interface jltools.ext.jif.types.
Path
interface jltools.ext.jif.types.
ExceptionPath
interface jltools.util.
Predicate
interface jif.lang.
PrincipalInitializer
interface jltools.types.
Resolver
interface jltools.types.
Context
interface jltools.ext.jif.types.
JifContext
interface java.io.Serializable
interface jltools.ast.
Node
(also extends jltools.util.
Copy
)
interface jltools.ast.
Ambiguous
interface jltools.ast.
AmbExpr
(also extends jltools.ast.
Expr
)
interface jltools.ext.jif.ast.
AmbNewArray
(also extends jltools.ast.
Expr
)
interface jltools.ext.jif.ast.
AmbParamTypeOrAccess
(also extends jltools.ast.
Receiver
)
interface jltools.ast.
AmbPrefix
(also extends jltools.ast.
Prefix
)
interface jltools.ast.
AmbQualifierNode
(also extends jltools.ast.
QualifierNode
)
interface jltools.ast.
AmbReceiver
(also extends jltools.ast.
Receiver
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
TypeNode
)
interface jltools.ast.
ClassBody
interface jltools.ast.
ClassDecl
(also extends jltools.ast.
ClassMember
, jltools.ast.
TopLevelDecl
)
interface jltools.ext.jif.ast.
JifClassDecl
interface jltools.ast.
ClassMember
interface jltools.ast.
ClassDecl
(also extends jltools.ast.
Node
, jltools.ast.
TopLevelDecl
)
interface jltools.ext.jif.ast.
JifClassDecl
interface jltools.ast.
FieldDecl
interface jltools.ast.
Initializer
interface jltools.ast.
ProcedureDecl
interface jltools.ast.
ConstructorDecl
interface jltools.ext.jif.ast.
JifConstructorDecl
interface jltools.ast.
MethodDecl
interface jltools.ext.jif.ast.
JifMethodDecl
interface jltools.ext.jif.ast.
ConstraintNode
interface jltools.ext.jif.ast.
ActsForConstraintNode
interface jltools.ext.jif.ast.
AuthConstraintNode
interface jltools.ext.jif.ast.
CallerConstraintNode
interface jltools.ext.jif.ast.
CanonicalConstraintNode
interface jltools.ast.
Formal
interface jltools.ast.
Import
interface jltools.ast.
PackageNode
(also extends jltools.ast.
Prefix
, jltools.ast.
QualifierNode
)
interface jltools.ext.jif.ast.
ParamDecl
interface jltools.ext.jif.ast.
ParamNode
interface jltools.ext.jif.ast.
AmbParam
interface jltools.ext.jif.ast.
LabelNode
interface jltools.ext.jif.ast.
AmbDynamicLabelNode
interface jltools.ext.jif.ast.
AmbThisLabelNode
interface jltools.ext.jif.ast.
AmbVarLabelNode
interface jltools.ext.jif.ast.
CanonicalLabelNode
interface jltools.ext.jif.ast.
JoinLabelNode
interface jltools.ext.jif.ast.
PolicyLabelNode
interface jltools.ext.jif.ast.
PrincipalNode
interface jltools.ext.jif.ast.
AmbPrincipalNode
interface jltools.ext.jif.ast.
CanonicalPrincipalNode
interface jltools.ast.
Prefix
interface jltools.ast.
AmbPrefix
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
PackageNode
(also extends jltools.ast.
Node
, jltools.ast.
QualifierNode
)
interface jltools.ast.
QualifierNode
interface jltools.ast.
AmbQualifierNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
PackageNode
(also extends jltools.ast.
Node
, jltools.ast.
Prefix
)
interface jltools.ast.
TypeNode
(also extends jltools.ast.
Receiver
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayTypeNode
interface jltools.ast.
CanonicalTypeNode
interface jltools.ext.jif.ast.
InstTypeNode
interface jltools.ext.jif.ast.
LabeledTypeNode
interface jltools.ast.
Receiver
(also extends jltools.ast.
Typed
)
interface jltools.ext.jif.ast.
AmbParamTypeOrAccess
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
AmbReceiver
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
Expr
interface jltools.ast.
AmbExpr
(also extends jltools.ast.
Ambiguous
)
interface jltools.ext.jif.ast.
AmbNewArray
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayAccess
interface jltools.ast.
ArrayInit
interface jltools.ast.
Assign
interface jltools.ast.
Binary
interface jltools.ast.
Call
interface jltools.ast.
Cast
interface jltools.ast.
Conditional
interface jltools.ext.jif.ast.
DeclassifyExpr
interface jltools.ast.
Field
interface jltools.ast.
Instanceof
interface jltools.ast.
Lit
interface jltools.ast.
BooleanLit
interface jltools.ast.
FloatLit
interface jltools.ast.
NullLit
interface jltools.ast.
NumLit
interface jltools.ast.
CharLit
interface jltools.ast.
IntLit
interface jltools.ast.
StringLit
interface jltools.ast.
Local
interface jltools.ast.
New
interface jltools.ast.
NewArray
interface jltools.ext.jif.ast.
NewLabel
interface jltools.ast.
QualifiedNew
interface jltools.ast.
Special
interface jltools.ast.
Unary
interface jltools.ast.
TypeNode
(also extends jltools.ast.
QualifierNode
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayTypeNode
interface jltools.ast.
CanonicalTypeNode
interface jltools.ext.jif.ast.
InstTypeNode
interface jltools.ext.jif.ast.
LabeledTypeNode
interface jltools.ast.
SourceFile
interface jltools.ast.
Stmt
interface jltools.ext.jif.ast.
ActsFor
interface jltools.ast.
Block
interface jltools.ast.
SwitchBlock
(also extends jltools.ast.
SwitchElement
)
interface jltools.ast.
Branch
interface jltools.ast.
Catch
interface jltools.ast.
ConstructorCall
interface jltools.ext.jif.ast.
DeclassifyStmt
interface jltools.ast.
Do
interface jltools.ast.
Empty
interface jltools.ast.
For
interface jltools.ast.
ForInit
interface jltools.ast.
Eval
(also extends jltools.ast.
ForUpdate
)
interface jltools.ast.
LocalDecl
interface jltools.ast.
ForUpdate
interface jltools.ast.
Eval
(also extends jltools.ast.
ForInit
)
interface jltools.ast.
If
interface jltools.ext.jif.ast.
LabelCase
interface jltools.ast.
Labeled
interface jltools.ast.
LocalClassDecl
interface jltools.ast.
Return
interface jltools.ast.
Switch
interface jltools.ast.
SwitchElement
interface jltools.ast.
Case
interface jltools.ast.
SwitchBlock
(also extends jltools.ast.
Block
)
interface jltools.ext.jif.ast.
SwitchLabel
interface jltools.ast.
Synchronized
interface jltools.ast.
Throw
interface jltools.ast.
Try
interface jltools.ast.
While
interface jltools.ast.
TopLevelDecl
interface jltools.ast.
ClassDecl
(also extends jltools.ast.
ClassMember
, jltools.ast.
Node
)
interface jltools.ext.jif.ast.
JifClassDecl
interface jltools.types.
TypeObject
(also extends jltools.util.
Copy
)
interface jltools.ext.jif.types.
Constraint
interface jltools.ext.jif.types.
ActsForConstraint
interface jltools.ext.jif.types.
AuthConstraint
interface jltools.ext.jif.types.
CallerConstraint
interface jltools.types.
MemberInstance
interface jltools.types.
CodeInstance
interface jltools.types.
InitializerInstance
interface jltools.types.
ProcedureInstance
interface jltools.types.
ConstructorInstance
interface jltools.ext.jif.types.
JifConstructorInstance
(also extends jltools.ext.jif.types.
JifProcedureInstance
)
interface jltools.ext.jif.types.
JifProcedureInstance
interface jltools.ext.jif.types.
JifConstructorInstance
(also extends jltools.types.
ConstructorInstance
)
interface jltools.ext.jif.types.
JifMethodInstance
(also extends jltools.types.
MethodInstance
)
interface jltools.types.
MethodInstance
interface jltools.ext.jif.types.
JifMethodInstance
(also extends jltools.ext.jif.types.
JifProcedureInstance
)
interface jltools.types.
FieldInstance
(also extends jltools.types.
VarInstance
)
interface jltools.ext.jif.types.
JifFieldInstance
(also extends jltools.ext.jif.types.
JifVarInstance
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
InnerClassType
, jltools.types.
NamedType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.ext.jif.types.
Param
interface jltools.ext.jif.types.
Label
interface jltools.ext.jif.types.
ArgLabel
interface jltools.ext.jif.types.
CovariantLabel
interface jltools.ext.jif.types.
DynamicArgLabel
interface jltools.ext.jif.types.
DynamicLabel
interface jltools.ext.jif.types.
DynrecLabel
interface jltools.ext.jif.types.
JoinLabel
interface jltools.ext.jif.types.
LabelOfVar
interface jltools.ext.jif.types.
NotTaken
interface jltools.ext.jif.types.
ParamLabel
interface jltools.ext.jif.types.
PolicyLabel
interface jltools.ext.jif.types.
RuntimeLabel
interface jltools.ext.jif.types.
TopLabel
interface jltools.ext.jif.types.
UnknownLabel
interface jltools.ext.jif.types.
VarLabel
interface jltools.ext.jif.types.
Principal
interface jltools.ext.jif.types.
ArgPrincipal
interface jltools.ext.jif.types.
DynamicPrincipal
interface jltools.ext.jif.types.
ExternalPrincipal
interface jltools.ext.jif.types.
ParamPrincipal
interface jltools.ext.jif.types.
UnknownPrincipal
interface jltools.ext.jif.types.
UnknownParam
interface jltools.types.
Qualifier
interface jltools.types.
NamedQualifier
interface jltools.types.
NamedType
(also extends jltools.types.
Type
)
interface jltools.types.
LocalClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
InnerClassType
, jltools.types.
MemberInstance
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
PrimitiveType
interface jltools.types.
TopLevelClassType
(also extends jltools.types.
ClassType
)
interface jltools.ext.jif.types.
JifClassType
interface jltools.ext.jif.types.
JifInstType
interface jltools.ext.jif.types.
JifPolyType
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.types.
ParsedTopLevelClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
Package
interface jltools.types.
Type
interface jltools.ext.jif.types.
LabeledType
interface jltools.types.
NamedType
(also extends jltools.types.
NamedQualifier
)
interface jltools.types.
LocalClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
InnerClassType
, jltools.types.
MemberInstance
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
PrimitiveType
interface jltools.types.
TopLevelClassType
(also extends jltools.types.
ClassType
)
interface jltools.ext.jif.types.
JifClassType
interface jltools.ext.jif.types.
JifInstType
interface jltools.ext.jif.types.
JifPolyType
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.types.
ParsedTopLevelClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
NullType
interface jltools.types.
ParsedType
interface jltools.types.
ParsedClassType
(also extends jltools.types.
ClassType
)
interface jltools.types.
ParsedInnerClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
AnonClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
LocalClassType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
MemberClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
TopLevelClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
ReferenceType
interface jltools.types.
ArrayType
interface jltools.types.
ClassType
interface jltools.types.
InnerClassType
interface jltools.types.
AnonClassType
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
LocalClassType
(also extends jltools.types.
NamedType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
MemberClassType
(also extends jltools.types.
MemberInstance
, jltools.types.
NamedType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
ParsedInnerClassType
)
interface jltools.types.
ParsedInnerClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
AnonClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
LocalClassType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
MemberClassType
)
interface jltools.types.
LoadedClassType
interface jltools.types.
ParsedClassType
(also extends jltools.types.
ParsedType
)
interface jltools.types.
ParsedInnerClassType
(also extends jltools.types.
InnerClassType
)
interface jltools.types.
ParsedAnonClassType
(also extends jltools.types.
AnonClassType
)
interface jltools.types.
ParsedLocalClassType
(also extends jltools.types.
LocalClassType
)
interface jltools.types.
ParsedMemberClassType
(also extends jltools.types.
MemberClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
TopLevelClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
TopLevelClassType
(also extends jltools.types.
NamedType
)
interface jltools.ext.jif.types.
JifClassType
interface jltools.ext.jif.types.
JifInstType
interface jltools.ext.jif.types.
JifPolyType
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.types.
ParsedTopLevelClassType
)
interface jltools.types.
ParsedTopLevelClassType
(also extends jltools.types.
ParsedClassType
)
interface jltools.ext.jif.types.
JifParsedPolyType
(also extends jltools.ext.jif.types.
JifPolyType
)
interface jltools.types.
UnknownType
interface jltools.types.
UnknownQualifier
interface jltools.types.
VarInstance
interface jltools.types.
FieldInstance
(also extends jltools.types.
MemberInstance
)
interface jltools.ext.jif.types.
JifFieldInstance
(also extends jltools.ext.jif.types.
JifVarInstance
)
interface jltools.ext.jif.types.
JifVarInstance
interface jltools.ext.jif.types.
JifFieldInstance
(also extends jltools.types.
FieldInstance
)
interface jltools.ext.jif.types.
JifLocalInstance
(also extends jltools.types.
LocalInstance
)
interface jltools.types.
LocalInstance
interface jltools.ext.jif.types.
JifLocalInstance
(also extends jltools.ext.jif.types.
JifVarInstance
)
interface jltools.ext.jif.types.
ParamInstance
interface jltools.ext.jif.types.
PrincipalInstance
interface jltools.util.
Transformation
interface jltools.ast.
Typed
interface jltools.ast.
Receiver
(also extends jltools.ast.
Prefix
)
interface jltools.ext.jif.ast.
AmbParamTypeOrAccess
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
AmbReceiver
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
Expr
interface jltools.ast.
AmbExpr
(also extends jltools.ast.
Ambiguous
)
interface jltools.ext.jif.ast.
AmbNewArray
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayAccess
interface jltools.ast.
ArrayInit
interface jltools.ast.
Assign
interface jltools.ast.
Binary
interface jltools.ast.
Call
interface jltools.ast.
Cast
interface jltools.ast.
Conditional
interface jltools.ext.jif.ast.
DeclassifyExpr
interface jltools.ast.
Field
interface jltools.ast.
Instanceof
interface jltools.ast.
Lit
interface jltools.ast.
BooleanLit
interface jltools.ast.
FloatLit
interface jltools.ast.
NullLit
interface jltools.ast.
NumLit
interface jltools.ast.
CharLit
interface jltools.ast.
IntLit
interface jltools.ast.
StringLit
interface jltools.ast.
Local
interface jltools.ast.
New
interface jltools.ast.
NewArray
interface jltools.ext.jif.ast.
NewLabel
interface jltools.ast.
QualifiedNew
interface jltools.ast.
Special
interface jltools.ast.
Unary
interface jltools.ast.
TypeNode
(also extends jltools.ast.
QualifierNode
)
interface jltools.ast.
AmbTypeNode
(also extends jltools.ast.
Ambiguous
)
interface jltools.ast.
ArrayTypeNode
interface jltools.ast.
CanonicalTypeNode
interface jltools.ext.jif.ast.
InstTypeNode
interface jltools.ext.jif.ast.
LabeledTypeNode
interface jltools.types.
TypeSystem
interface jltools.ext.jif.types.
JifTypeSystem
interface jltools.ext.jif.types.
TypeWrapper.WrapperTransformation
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES