Serialized Form

Package jif.lang

Class jif.lang.PrincipalNotFoundException implements Serializable

Package jltools.ast

Class jltools.ast.Assign.Operator implements Serializable

Class jltools.ast.Binary.Operator implements Serializable

Serialized Fields

prec

Precedence prec

Class jltools.ast.Branch.Kind implements Serializable

Class jltools.ast.ConstructorCall.Kind implements Serializable

Class jltools.ast.FloatLit.Kind implements Serializable

Class jltools.ast.Import.Kind implements Serializable

Class jltools.ast.IntLit.Kind implements Serializable

Class jltools.ast.Precedence implements Serializable

Serialized Fields

value

int value

Class jltools.ast.Special.Kind implements Serializable

Class jltools.ast.Unary.Operator implements Serializable

Serialized Fields

prefix

boolean prefix

Package jltools.ext.jif.ast

Class jltools.ext.jif.ast.ActsFor_c implements Serializable

Serialized Fields

actor

PrincipalNode actor

granter

PrincipalNode granter

consequent

Stmt consequent

alternative

Stmt alternative

Class jltools.ext.jif.ast.ActsForConstraintNode_c implements Serializable

Serialized Fields

actor

PrincipalNode actor

granter

PrincipalNode granter

Class jltools.ext.jif.ast.AmbDynamicLabelNode_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jif.ast.AmbLabelNode_c implements Serializable

Class jltools.ext.jif.ast.AmbNewArray_c implements Serializable

Serialized Fields

baseType

TypeNode baseType

name

java.lang.String name

The ambiguous name, which may be an expression or a parameter.

dims

java.util.List dims

pn

ParamNode pn

Class jltools.ext.jif.ast.AmbParam_c implements Serializable

Serialized Fields

name

java.lang.String name

param

Param param

Class jltools.ext.jif.ast.AmbParamTypeOrAccess_c implements Serializable

Serialized Fields

prefix

Receiver prefix

name

java.lang.String name

type

Type type

Class jltools.ext.jif.ast.AmbPrincipalNode_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jif.ast.AmbThisLabelNode_c implements Serializable

Class jltools.ext.jif.ast.AmbVarLabelNode_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jif.ast.AuthConstraintNode_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jltools.ext.jif.ast.CallerConstraintNode_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jltools.ext.jif.ast.CanonicalConstraintNode_c implements Serializable

Class jltools.ext.jif.ast.CanonicalLabelNode_c implements Serializable

Class jltools.ext.jif.ast.CanonicalPrincipalNode_c implements Serializable

Class jltools.ext.jif.ast.ConstraintNode_c implements Serializable

Serialized Fields

constraint

Constraint constraint

Class jltools.ext.jif.ast.DeclassifyExpr_c implements Serializable

Serialized Fields

label

LabelNode label

bound

LabelNode bound

expr

Expr expr

Class jltools.ext.jif.ast.DeclassifyStmt_c implements Serializable

Serialized Fields

bound

LabelNode bound

label

LabelNode label

body

Stmt body

Class jltools.ext.jif.ast.InstTypeNode_c implements Serializable

Serialized Fields

base

TypeNode base

params

java.util.List params

Class jltools.ext.jif.ast.JifClassDecl_c implements Serializable

Serialized Fields

params

java.util.List params

authority

java.util.List authority

Class jltools.ext.jif.ast.JifConstructorDecl_c implements Serializable

Serialized Fields

startLabel

LabelNode startLabel

returnLabel

LabelNode returnLabel

constraints

java.util.List constraints

Class jltools.ext.jif.ast.JifMethodDecl_c implements Serializable

Serialized Fields

startLabel

LabelNode startLabel

returnLabel

LabelNode returnLabel

constraints

java.util.List constraints

Class jltools.ext.jif.ast.JoinLabelNode_c implements Serializable

Serialized Fields

components

java.util.List components

Class jltools.ext.jif.ast.LabelCase_c implements Serializable

Serialized Fields

decl

LocalDecl decl

label

LabelNode label

body

Stmt body

Class jltools.ext.jif.ast.LabeledTypeNode_c implements Serializable

Serialized Fields

typePart

TypeNode typePart

labelPart

LabelNode labelPart

Class jltools.ext.jif.ast.LabelNode_c implements Serializable

Serialized Fields

label

Label label

Class jltools.ext.jif.ast.NewLabel_c implements Serializable

Serialized Fields

label

LabelNode label

Class jltools.ext.jif.ast.ParamDecl_c implements Serializable

Serialized Fields

pi

ParamInstance pi

name

java.lang.String name

kind

ParamInstance.Kind kind

Class jltools.ext.jif.ast.PolicyLabelNode_c implements Serializable

Serialized Fields

owner

PrincipalNode owner

readers

java.util.List readers

Class jltools.ext.jif.ast.PrincipalNode_c implements Serializable

Serialized Fields

principal

Principal principal

Class jltools.ext.jif.ast.SwitchLabel_c implements Serializable

Serialized Fields

expr

Expr expr

cases

java.util.List cases

Package jltools.ext.jif.types

Class jltools.ext.jif.types.ActsForConstraint_c implements Serializable

Serialized Fields

granter

Principal granter

actor

Principal actor

Class jltools.ext.jif.types.ArgLabel_c implements Serializable

Serialized Fields

name

java.lang.String name

index

int index

Class jltools.ext.jif.types.ArgPrincipal_c implements Serializable

Serialized Fields

name

java.lang.String name

index

int index

Class jltools.ext.jif.types.AuthConstraint_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jltools.ext.jif.types.CallerConstraint_c implements Serializable

Serialized Fields

principals

java.util.List principals

Class jltools.ext.jif.types.CovariantLabel_c implements Serializable

Serialized Fields

uid

UID uid

Class jltools.ext.jif.types.DynamicArgLabel_c implements Serializable

Serialized Fields

name

java.lang.String name

index

int index

Class jltools.ext.jif.types.DynamicLabel_c implements Serializable

Serialized Fields

uid

UID uid

name

java.lang.String name

label

Label label

Class jltools.ext.jif.types.DynamicPrincipal_c implements Serializable

Serialized Fields

name

java.lang.String name

label

Label label

Class jltools.ext.jif.types.DynrecLabel_c implements Serializable

Serialized Fields

uid

UID uid

Class jltools.ext.jif.types.ExternalPrincipal_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jif.types.JifConstructorInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

thisLabel

Label thisLabel

Class jltools.ext.jif.types.JifFieldInstance_c implements Serializable

Serialized Fields

uid

UID uid

label

Label label

Class jltools.ext.jif.types.JifInstType_c implements Serializable

Serialized Fields

tw

TypeWrapper tw

each JifInstType keeps a list of substitutions for each of the parameters to its polymorphic type. additionally, it also has each of the substitutions for the enclosing polymorphic classes. Eg: class A[label X] { class B { class C[principal Y,label Z] { class D { ... }}}} then for the expression A[l].B.C[A[m], n].D the enclosing class of D is a JifInstType with the substitutions: { X|->l, Y|->A[m], Z|->n } (in the example I use a different letter for each parameter type, but in fact we use our usual notion of parameter equality rather than byname equality) The JifInstType does lazy substitution. We do no substitutions at the outset, and only perform them when someone queries us for a method, field, interface, supertype, inner class, etc.

arguments

java.util.List arguments

A subset of the value set of the substitutions map that corresponds to the actual arguments in the instantiation of this type.

instantiatedFrom

JifPolyType instantiatedFrom

The polymorphic type we were instantiated from.

Class jltools.ext.jif.types.JifInstType_c.PlaceHolder implements Serializable

Serialized Fields

from

TypeObject from

args

java.util.List args

pos

Position pos

Class jltools.ext.jif.types.JifLocalInstance_c implements Serializable

Serialized Fields

uid

UID uid

label

Label label

Class jltools.ext.jif.types.JifMethodInstance_c implements Serializable

Serialized Fields

startLabel

Label startLabel

returnLabel

Label returnLabel

constraints

java.util.List constraints

thisLabel

Label thisLabel

Class jltools.ext.jif.types.JifParsedPolyType_c implements Serializable

Serialized Fields

thisLabel

Label thisLabel

params

java.util.List params

authority

java.util.List authority

Class jltools.ext.jif.types.JoinLabel_c implements Serializable

Serialized Fields

components

java.util.Set components

Class jltools.ext.jif.types.Label_c implements Serializable

Serialized Fields

description

java.lang.String description

Class jltools.ext.jif.types.LabeledType_c implements Serializable

Serialized Fields

typePart

Type typePart

labelPart

Label labelPart

Class jltools.ext.jif.types.LabelOfVar_c implements Serializable

Serialized Fields

var

VarLabel var

Class jltools.ext.jif.types.NotTaken_c implements Serializable

Class jltools.ext.jif.types.ParamInstance_c implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

Serialized Fields

container

JifClassType container

kind

jltools.ext.jif.types.Kind kind

uid

UID uid

Class jltools.ext.jif.types.ParamInstance.Kind implements Serializable

Class jltools.ext.jif.types.ParamLabel_c implements Serializable

Serialized Fields

uid

UID uid

Class jltools.ext.jif.types.ParamPrincipal_c implements Serializable

Class jltools.ext.jif.types.Path.FixedPath implements Serializable

Class jltools.ext.jif.types.PolicyLabel_c implements Serializable

Serialized Fields

owner

Principal owner

readers

java.util.Collection readers

Class jltools.ext.jif.types.Principal_c implements Serializable

Serialized Fields

uid

UID uid

Class jltools.ext.jif.types.PrincipalInstance_c implements Serializable

Serialized Fields

principal

ExternalPrincipal principal

Class jltools.ext.jif.types.RuntimeLabel_c implements Serializable

Class jltools.ext.jif.types.TopLabel_c implements Serializable

Class jltools.ext.jif.types.TypeWrapper.WrappedClassType implements Serializable

Serialized Fields

this$0

TypeWrapper this$0

r

TopLevelClassType r

Class jltools.ext.jif.types.TypeWrapper.WrappedJifClassType implements Serializable

Serialized Fields

this$0

TypeWrapper this$0

Class jltools.ext.jif.types.TypeWrapper.WrappedPolyType implements Serializable

Serialized Fields

this$0

TypeWrapper this$0

Class jltools.ext.jif.types.UID implements Serializable

Serialized Fields

name

java.lang.String name

index

int index

nonce

long nonce

salt

long salt

equiv

UID equiv

Class jltools.ext.jif.types.UnknownLabel_c implements Serializable

Class jltools.ext.jif.types.UnknownParam_c implements Serializable

Class jltools.ext.jif.types.UnknownPrincipal_c implements Serializable

Serialized Fields

uid

UID uid

Class jltools.ext.jif.types.VarLabel_c implements Serializable

Serialized Fields

uid

UID uid

Package jltools.ext.jl.ast

Class jltools.ext.jl.ast.AbstractNew_c implements Serializable

Serialized Fields

arguments

java.util.List arguments

body

ClassBody body

ci

ConstructorInstance ci

Class jltools.ext.jl.ast.AmbExpr_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jl.ast.AmbPrefix_c implements Serializable

Serialized Fields

prefix

Prefix prefix

name

java.lang.String name

Class jltools.ext.jl.ast.AmbQualifierNode_c implements Serializable

Serialized Fields

qualifier

Qualifier qualifier

qual

QualifierNode qual

name

java.lang.String name

Class jltools.ext.jl.ast.AmbReceiver_c implements Serializable

Serialized Fields

type

Type type

Class jltools.ext.jl.ast.AmbTypeNode_c implements Serializable

Serialized Fields

qual

QualifierNode qual

name

java.lang.String name

Class jltools.ext.jl.ast.ArrayAccess_c implements Serializable

Serialized Fields

array

Expr array

index

Expr index

Class jltools.ext.jl.ast.ArrayInit_c implements Serializable

Serialized Fields

elements

java.util.List elements

Class jltools.ext.jl.ast.ArrayTypeNode_c implements Serializable

Serialized Fields

base

TypeNode base

Class jltools.ext.jl.ast.Assign_c implements Serializable

Serialized Fields

left

Expr left

op

jltools.ext.jl.ast.Operator op

right

Expr right

Class jltools.ext.jl.ast.Binary_c implements Serializable

Serialized Fields

left

Expr left

op

jltools.ext.jl.ast.Operator op

right

Expr right

precedence

Precedence precedence

Class jltools.ext.jl.ast.BooleanLit_c implements Serializable

Serialized Fields

value

boolean value

Class jltools.ext.jl.ast.Branch_c implements Serializable

Serialized Fields

kind

Branch.Kind kind

label

java.lang.String label

Class jltools.ext.jl.ast.Call_c implements Serializable

Serialized Fields

target

Receiver target

name

java.lang.String name

arguments

java.util.List arguments

mi

MethodInstance mi

Class jltools.ext.jl.ast.CanonicalTypeNode_c implements Serializable

Class jltools.ext.jl.ast.Case_c implements Serializable

Serialized Fields

expr

Expr expr

value

long value

Class jltools.ext.jl.ast.Cast_c implements Serializable

Serialized Fields

castType

TypeNode castType

expr

Expr expr

Class jltools.ext.jl.ast.Catch_c implements Serializable

Serialized Fields

formal

Formal formal

body

<>Block body

Class jltools.ext.jl.ast.CharLit_c implements Serializable

Class jltools.ext.jl.ast.ClassBody_c implements Serializable

Serialized Fields

members

java.util.List members

Class jltools.ext.jl.ast.ClassDecl_c implements Serializable

Serialized Fields

flags

Flags flags

name

java.lang.String name

superClass

TypeNode superClass

interfaces

java.util.List interfaces

body

ClassBody body

type

ParsedClassType type

Class jltools.ext.jl.ast.Conditional_c implements Serializable

Serialized Fields

cond

Expr cond

consequent

Expr consequent

alternative

Expr alternative

Class jltools.ext.jl.ast.ConstructorCall_c implements Serializable

Serialized Fields

kind

jltools.ext.jl.ast.Kind kind

qualifier

Expr qualifier

arguments

java.util.List arguments

ci

ConstructorInstance ci

Class jltools.ext.jl.ast.ConstructorDecl_c implements Serializable

Serialized Fields

flags

Flags flags

name

java.lang.String name

formals

java.util.List formals

exceptionTypes

java.util.List exceptionTypes

body

<>Block body

ci

ConstructorInstance ci

Class jltools.ext.jl.ast.Do_c implements Serializable

Serialized Fields

body

Stmt body

cond

Expr cond

Class jltools.ext.jl.ast.Empty_c implements Serializable

Class jltools.ext.jl.ast.Eval_c implements Serializable

Serialized Fields

expr

Expr expr

Class jltools.ext.jl.ast.Expr_c implements Serializable

Serialized Fields

type

Type type

Class jltools.ext.jl.ast.Field_c implements Serializable

Serialized Fields

target

Receiver target

name

java.lang.String name

fi

FieldInstance fi

Class jltools.ext.jl.ast.FieldDecl_c implements Serializable

Serialized Fields

decl

Declarator decl

fi

FieldInstance fi

Class jltools.ext.jl.ast.FloatLit_c implements Serializable

Serialized Fields

kind

FloatLit.Kind kind

value

double value

Class jltools.ext.jl.ast.For_c implements Serializable

Serialized Fields

inits

java.util.List inits

cond

Expr cond

iters

java.util.List iters

body

Stmt body

Class jltools.ext.jl.ast.Formal_c implements Serializable

Serialized Fields

decl

Declarator decl

li

LocalInstance li

Class jltools.ext.jl.ast.If_c implements Serializable

Serialized Fields

cond

Expr cond

consequent

Stmt consequent

alternative

Stmt alternative

Class jltools.ext.jl.ast.Import_c implements Serializable

Serialized Fields

kind

jltools.ext.jl.ast.Kind kind

name

java.lang.String name

Class jltools.ext.jl.ast.Initializer_c implements Serializable

Serialized Fields

flags

Flags flags

body

<>Block body

ii

InitializerInstance ii

Class jltools.ext.jl.ast.Instanceof_c implements Serializable

Serialized Fields

expr

Expr expr

compareType

TypeNode compareType

Class jltools.ext.jl.ast.IntLit_c implements Serializable

Serialized Fields

kind

jltools.ext.jl.ast.Kind kind

Class jltools.ext.jl.ast.Labeled_c implements Serializable

Serialized Fields

label

java.lang.String label

statement

Stmt statement

Class jltools.ext.jl.ast.Lit_c implements Serializable

Class jltools.ext.jl.ast.Local_c implements Serializable

Serialized Fields

name

java.lang.String name

li

LocalInstance li

Class jltools.ext.jl.ast.LocalClassDecl_c implements Serializable

Serialized Fields

decl

ClassDecl decl

Class jltools.ext.jl.ast.LocalDecl_c implements Serializable

Serialized Fields

decl

Declarator decl

li

LocalInstance li

Class jltools.ext.jl.ast.MethodDecl_c implements Serializable

Serialized Fields

flags

Flags flags

returnType

TypeNode returnType

name

java.lang.String name

formals

java.util.List formals

exceptionTypes

java.util.List exceptionTypes

body

<>Block body

mi

MethodInstance mi

Class jltools.ext.jl.ast.New_c implements Serializable

Serialized Fields

tn

TypeNode tn

Class jltools.ext.jl.ast.NewArray_c implements Serializable

Serialized Fields

baseType

TypeNode baseType

dims

java.util.List dims

addDims

int addDims

init

ArrayInit init

Class jltools.ext.jl.ast.Node_c implements Serializable

Serialized Fields

ext

Ext ext

position

Position position

Class jltools.ext.jl.ast.NullLit_c implements Serializable

Class jltools.ext.jl.ast.NumLit_c implements Serializable

Serialized Fields

value

long value

Class jltools.ext.jl.ast.PackageNode_c implements Serializable

Serialized Fields

package_

Package package_

Class jltools.ext.jl.ast.QualifiedNew_c implements Serializable

Serialized Fields

qualifier

Expr qualifier

objectType

TypeNode objectType

Class jltools.ext.jl.ast.Return_c implements Serializable

Serialized Fields

expr

Expr expr

Class jltools.ext.jl.ast.SourceFile_c implements Serializable

Serialized Fields

package_

PackageNode package_

imports

java.util.List imports

decls

java.util.List decls

Class jltools.ext.jl.ast.Special_c implements Serializable

Serialized Fields

kind

Special.Kind kind

qualifier

TypeNode qualifier

Class jltools.ext.jl.ast.Stmt_c implements Serializable

Class jltools.ext.jl.ast.StringLit_c implements Serializable

Serialized Fields

value

java.lang.String value

Class jltools.ext.jl.ast.Switch_c implements Serializable

Serialized Fields

expr

Expr expr

elements

java.util.List elements

Class jltools.ext.jl.ast.SwitchBlock_c implements Serializable

Class jltools.ext.jl.ast.Synchronized_c implements Serializable

Serialized Fields

expr

Expr expr

body

<>Block body

Class jltools.ext.jl.ast.Throw_c implements Serializable

Serialized Fields

expr

Expr expr

Class jltools.ext.jl.ast.Try_c implements Serializable

Serialized Fields

tryBlock

<>Block tryBlock

catchBlocks

java.util.List catchBlocks

finallyBlock

<>Block finallyBlock

Class jltools.ext.jl.ast.TypeNode_c implements Serializable

Serialized Fields

type

Type type

Class jltools.ext.jl.ast.Unary_c implements Serializable

Serialized Fields

op

Unary.Operator op

expr

Expr expr

Class jltools.ext.jl.ast.While_c implements Serializable

Serialized Fields

cond

Expr cond

body

Stmt body

Package jltools.ext.jl.types

Class jltools.ext.jl.types.ArrayType_c implements Serializable

Serialized Fields

base

Type base

fields

java.util.List fields

methods

java.util.List methods

interfaces

java.util.List interfaces

Class jltools.ext.jl.types.ClassType_c implements Serializable

Serialized Fields

superType

Type superType

interfaces

java.util.List interfaces

methods

java.util.List methods

fields

java.util.List fields

constructors

java.util.List constructors

memberClasses

java.util.List memberClasses

package_

Package package_

flags

Flags flags

Class jltools.ext.jl.types.ConstructorInstance_c implements Serializable

Class jltools.ext.jl.types.FieldInstance_c implements Serializable

Serialized Fields

container

ReferenceType container

Class jltools.ext.jl.types.InitializerInstance_c implements Serializable

Serialized Fields

container

ClassType container

flags

Flags flags

Class jltools.ext.jl.types.LoadedAnonClassType_c implements Serializable

Class jltools.ext.jl.types.LoadedClassType_c implements Serializable

Serialized Fields

theClass

java.lang.Class theClass

Class jltools.ext.jl.types.LoadedInnerClassType_c implements Serializable

Serialized Fields

outer

ClassType outer

The outer class of this inner class.

Class jltools.ext.jl.types.LoadedLocalClassType_c implements Serializable

Serialized Fields

name

java.lang.String name

flags

Flags flags

Class jltools.ext.jl.types.LoadedMemberClassType_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jl.types.LoadedTopLevelClassType_c implements Serializable

Serialized Fields

name

java.lang.String name

flags

Flags flags

Class jltools.ext.jl.types.LocalInstance_c implements Serializable

Class jltools.ext.jl.types.MethodInstance_c implements Serializable

Serialized Fields

name

java.lang.String name

returnType

Type returnType

Class jltools.ext.jl.types.NullType_c implements Serializable

Class jltools.ext.jl.types.Package_c implements Serializable

Serialized Fields

prefix

Package prefix

name

java.lang.String name

Class jltools.ext.jl.types.ParsedAnonClassType_c implements Serializable

Serialized Fields

uid

int uid

Class jltools.ext.jl.types.ParsedClassType_c implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Class jltools.ext.jl.types.ParsedInnerClassType_c implements Serializable

Serialized Fields

outer

ClassType outer

Class jltools.ext.jl.types.ParsedLocalClassType_c implements Serializable

Serialized Fields

name

java.lang.String name

uid

int uid

Class jltools.ext.jl.types.ParsedMemberClassType_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jl.types.ParsedTopLevelClassType_c implements Serializable

Serialized Fields

name

java.lang.String name

Class jltools.ext.jl.types.PlaceHolder_c implements Serializable

Serialized Fields

primitive

boolean primitive

name

java.lang.String name

outer

Type outer

Class jltools.ext.jl.types.PrimitiveType_c implements Serializable

Serialized Fields

kind

jltools.ext.jl.types.Kind kind

Class jltools.ext.jl.types.ProcedureInstance_c implements Serializable

Serialized Fields

container

ReferenceType container

flags

Flags flags

argTypes

java.util.List argTypes

excTypes

java.util.List excTypes

Class jltools.ext.jl.types.ReferenceType_c implements Serializable

Class jltools.ext.jl.types.Type_c implements Serializable

Class jltools.ext.jl.types.TypeObject_c implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

Serialized Fields

position

Position position

Class jltools.ext.jl.types.UnknownQualifier_c implements Serializable

Class jltools.ext.jl.types.UnknownType_c implements Serializable

Class jltools.ext.jl.types.VarInstance_c implements Serializable

Serialized Fields

flags

Flags flags

type

Type type

name

java.lang.String name

constantValue

java.lang.Object constantValue

Package jltools.frontend

Class jltools.frontend.Pass.Status implements Serializable

Package jltools.main

Class jltools.main.UsageError implements Serializable

Package jltools.types

Class jltools.types.Flags implements Serializable

Serialized Fields

bits

int bits

Class jltools.types.NoClassException implements Serializable

Class jltools.types.PrimitiveType.Kind implements Serializable

Class jltools.types.SemanticException implements Serializable

Serialized Fields

position

Position position

Package jltools.util

Class jltools.util.Enum implements Serializable

Serialization Methods

readObject

private java.lang.Object readObject(java.io.ObjectInputStream in)
                             throws java.io.IOException,
                                    java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException

Serialized Fields

name

java.lang.String name

The name of the enum--for debugging only.

key

int key

A key used to distinguish objects of the same type.

Class jltools.util.ErrorLimitError implements Serializable

Class jltools.util.InternalCompilerError implements Serializable

Serialized Fields

pos

Position pos

Class jltools.util.Position implements Serializable

Serialized Fields

file

java.lang.String file

line

int line

column

int column

Class jltools.util.TypedList implements Serializable

Serialized Fields

allowed_type

java.lang.Class allowed_type

immutable

boolean immutable

backing_list

java.util.List backing_list

Package jltools.visit

Class jltools.visit.SemanticVisitor.Abort implements Serializable