A B C D E F G H I J K L M N O P Q R S T U V W X Y _

A

ABORT - Static variable in class fabil.parse.sym
 
ABORT - Static variable in interface fabric.ast.FabricBranch
 
ABORT - Static variable in class fabric.parse.sym
 
AbortException() - Method in interface fabil.types.FabILTypeSystem
 
AbortException() - Method in class fabil.types.FabILTypeSystem_c
 
AbortExt_c - Class in fabil.extension
 
AbortExt_c() - Constructor for class fabil.extension.AbortExt_c
 
AbortJifExt_c - Class in fabric.extension
 
AbortJifExt_c(ToJavaExt) - Constructor for class fabric.extension.AbortJifExt_c
 
AbortRetryChecker - Class in fabil.visit
 
AbortRetryChecker(Job, TypeSystem, NodeFactory) - Constructor for class fabil.visit.AbortRetryChecker
 
AbortRetryCollector - Class in fabil.visit
 
AbortRetryCollector(List<AbortStmt>, List<RetryStmt>) - Constructor for class fabil.visit.AbortRetryCollector
 
AbortRetryCollector - Class in fabric.visit
 
AbortRetryCollector(List<AbortStmt>, List<RetryStmt>) - Constructor for class fabric.visit.AbortRetryCollector
 
aborts - Variable in class fabil.visit.AbortRetryCollector
 
aborts - Variable in class fabric.visit.AbortRetryCollector
 
AbortStmt - Interface in fabil.ast
 
AbortStmt(Position) - Method in interface fabil.ast.FabILNodeFactory
 
AbortStmt(Position) - Method in class fabil.ast.FabILNodeFactory_c
 
AbortStmt - Interface in fabric.ast
 
AbortStmt(Position) - Method in interface fabric.ast.FabricNodeFactory
 
AbortStmt(Position) - Method in class fabric.ast.FabricNodeFactory_c
 
AbortStmt_c - Class in fabil.ast
 
AbortStmt_c(Position) - Constructor for class fabil.ast.AbortStmt_c
 
AbortStmt_c - Class in fabric.ast
 
AbortStmt_c(Position) - Constructor for class fabric.ast.AbortStmt_c
 
AbortToFabilExt_c - Class in fabric.translate
 
AbortToFabilExt_c() - Constructor for class fabric.translate.AbortToFabilExt_c
 
ABSTRACT - Static variable in class fabil.parse.sym
 
ABSTRACT - Static variable in class fabric.parse.sym
 
AbstractFabExtFactory_c - Class in fabric.ast
This class serves the same purpose as AbstractJifExtFactory_c and its parent class polyglot.ast.AbstractExtFactory_c: it provides a default implementation of the factory method for each fabric extension class that delegates to the factory method for its parent class's extension.
AbstractFabExtFactory_c() - Constructor for class fabric.ast.AbstractFabExtFactory_c
 
AbstractFabExtFactory_c(ExtFactory) - Constructor for class fabric.ast.AbstractFabExtFactory_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.AbortStmt_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.Atomic_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.FabricArrayInit_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.New_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.NewFabricArray_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.RetryStmt_c
 
acceptCFG(CFGBuilder, List) - Method in class fabil.ast.StoreGetter_c
 
acceptCFG(CFGBuilder, List) - Method in class fabric.ast.AbortStmt_c
 
acceptCFG(CFGBuilder, List) - Method in class fabric.ast.Atomic_c
 
acceptCFG(CFGBuilder, List) - Method in class fabric.ast.FabricNew_c
 
acceptCFG(CFGBuilder, List) - Method in class fabric.ast.RemoteWorkerGetter_c
 
acceptCFG(CFGBuilder, List) - Method in class fabric.ast.RetryStmt_c
 
accessors(ProxyRewriter) - Method in class fabil.extension.FieldDeclExt_c
Produces the getter, setter, and incrementer methods for the field.
accessState(ReadWriteChecker.State) - Method in class fabil.extension.CallExt_c
 
accessState() - Method in class fabil.extension.CallExt_c
 
accessState(ReadWriteChecker.State) - Method in class fabil.extension.FieldAssignExt_c
 
accessState() - Method in class fabil.extension.FieldAssignExt_c
 
accessState(ReadWriteChecker.State) - Method in class fabil.extension.FieldExt_c
 
accessState() - Method in class fabil.extension.FieldExt_c
 
accessState(ReadWriteChecker.State) - Method in class fabil.extension.UnaryExt_c
 
accessState() - Method in class fabil.extension.UnaryExt_c
 
action_obj - Variable in class fabil.parse.Grm
Instance of action encapsulation class.
action_obj - Variable in class fabric.parse.Grm
Instance of action encapsulation class.
action_table() - Method in class fabil.parse.Grm
Access to parse-action table.
action_table() - Method in class fabric.parse.Grm
Access to parse-action table.
ACTSFOR - Static variable in class fabric.parse.sym
 
ACTSFOR_LOWER - Static variable in class fabric.parse.sym
 
actsforToJava(JifToJavaRewriter, boolean) - Method in class fabric.translate.BinaryToFabilExt_c
 
addedMembers - Variable in class fabil.visit.Memoizer
 
addInitializer(ClassBody, JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
addJob(Source, Node) - Method in class fabric.FabricScheduler
 
addJob(Source) - Method in class fabric.FabricScheduler
 
addJob(Source, Node) - Method in class fabric.OutputExtensionInfo.OutputScheduler
 
addJob(Source) - Method in class fabric.OutputExtensionInfo.OutputScheduler
 
addSigcp - Variable in class fabil.FabILOptions_c
Additional classpath entries for FabIL signatures.
all(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive add of local instance to resident, read, and written.
all() - Method in class fabil.visit.ReadWriteChecker.State
 
alloc(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive update of local instance that is assigned a new object.
AmbNewFabricArray - Interface in fabric.ast
 
AmbNewFabricArray(Position, TypeNode, Expr, Object, List, int) - Method in interface fabric.ast.FabricNodeFactory
 
AmbNewFabricArray(Position, TypeNode, Expr, Object, List, int) - Method in class fabric.ast.FabricNodeFactory_c
 
AmbNewFabricArray_c - Class in fabric.ast
 
AmbNewFabricArray_c(Position, TypeNode, Expr, Object, List, int) - Constructor for class fabric.ast.AmbNewFabricArray_c
 
AmbPrincipalNode(Position, Expr) - Method in class fabric.ast.FabricNodeFactory_c
 
AmbPrincipalNode(Position, Id) - Method in class fabric.ast.FabricNodeFactory_c
 
AND - Static variable in class fabil.parse.sym
 
AND - Static variable in class fabric.parse.sym
 
ANDAND - Static variable in class fabil.parse.sym
 
ANDAND - Static variable in class fabric.parse.sym
 
ANDEQ - Static variable in class fabil.parse.sym
 
ANDEQ - Static variable in class fabric.parse.sym
 
Annotated - Interface in fabil.ast
Exprs that have label and location annotations should implement this.
AnnotatedExt_c - Class in fabil.extension
Provides common functionality to the New and NewArray for managing label and location fields.
AnnotatedExt_c() - Constructor for class fabil.extension.AnnotatedExt_c
 
array(TypeNode, int) - Method in class fabil.parse.Grm
 
Array - Class in fabric.parse
 
Array(Grm, Position, TypeNode) - Constructor for class fabric.parse.Array
 
Array(Grm, Position, TypeNode, boolean) - Constructor for class fabric.parse.Array
 
Array(Grm, Position, TypeNode, boolean, boolean) - Constructor for class fabric.parse.Array
 
array(Position, TypeNode, int) - Method in class fabric.parse.Grm
 
ArrayAccessAssign(Position, ArrayAccess, Operator, Expr) - Method in class fabil.ast.FabILNodeFactory_c
 
ArrayAccessAssign_c - Class in fabil.ast
 
ArrayAccessAssign_c(Position, ArrayAccess, Operator, Expr) - Constructor for class fabil.ast.ArrayAccessAssign_c
 
ArrayAccessAssignExt_c - Class in fabil.extension
 
ArrayAccessAssignExt_c() - Constructor for class fabil.extension.ArrayAccessAssignExt_c
 
ArrayAccessExt_c - Class in fabil.extension
 
ArrayAccessExt_c() - Constructor for class fabil.extension.ArrayAccessExt_c
 
ArrayInitializerTypeFixer - Class in fabil.visit
 
ArrayInitializerTypeFixer(Job, TypeSystem, NodeFactory) - Constructor for class fabil.visit.ArrayInitializerTypeFixer
 
arrayOf(TypeSystem, Type) - Method in class fabil.ast.FabricArrayInit_c
 
arrayOf(TypeSystem, Type, int) - Method in class fabil.ast.NewFabricArray_c
 
arrayOf(TypeSystem, Type) - Method in class fabric.ast.FabricArrayInit_c
 
arrayType(Position, Type) - Method in class fabric.types.FabricTypeSystem_c
 
ArrayTypeNode(Position, TypeNode) - Method in class fabil.ast.FabILNodeFactory_c
 
ascribe(Expr, Type) - Method in class fabil.visit.ArrayInitializerTypeFixer
 
ascribe(Expr, Type) - Method in class fabil.visit.InlineableWrapper
 
ascribe(Expr, Type) - Method in class fabric.visit.PrincipalCastAdder
 
ASSERT - Static variable in class fabil.parse.sym
 
ASSERT - Static variable in class fabric.parse.sym
 
assignLabels(LabelAssigner) - Method in class fabil.extension.AnnotatedExt_c
 
assignLabels(LabelAssigner) - Method in interface fabil.extension.FabILExt
Used by LabelAssigner to assign labels to all new expressions.
assignLabels(LabelAssigner) - Method in class fabil.extension.FabILExt_c
 
assignLocations(LocationAssigner) - Method in class fabil.extension.AnnotatedExt_c
 
assignLocations(LocationAssigner) - Method in interface fabil.extension.FabILExt
Used by LocationAssigner to assign locations to all new expressions.
assignLocations(LocationAssigner) - Method in class fabil.extension.FabILExt_c
 
AssignNormalizer - Class in fabil.visit
Traverses the AST and normalizes assignment operations.
AssignNormalizer(NodeFactory) - Constructor for class fabil.visit.AssignNormalizer
 
AT - Static variable in class fabil.parse.sym
 
AT - Static variable in class fabric.parse.sym
 
Atomic - Interface in fabil.ast
An Atomic represents an atomic block.
Atomic(Position, List<Stmt>) - Method in interface fabil.ast.FabILNodeFactory
 
Atomic(Position, List<Stmt>) - Method in class fabil.ast.FabILNodeFactory_c
 
ATOMIC - Static variable in class fabil.parse.sym
 
ATOMIC - Static variable in class fabil.types.FabILFlags
 
atomic() - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive update on entering an atomic block.
Atomic - Interface in fabric.ast
 
Atomic(Position, List<Stmt>) - Method in interface fabric.ast.FabricNodeFactory
 
Atomic(Position, List<Stmt>) - Method in class fabric.ast.FabricNodeFactory_c
 
ATOMIC - Static variable in class fabric.parse.sym
 
ATOMIC - Static variable in class fabric.types.FabricFlags
 
Atomic_c - Class in fabil.ast
An Atomic represents an atomic block.
Atomic_c(Position, List<Stmt>) - Constructor for class fabil.ast.Atomic_c
 
Atomic_c - Class in fabric.ast
 
Atomic_c(Position, List) - Constructor for class fabric.ast.Atomic_c
 
AtomicExt_c - Class in fabil.extension
 
AtomicExt_c() - Constructor for class fabil.extension.AtomicExt_c
 
AtomicJifExt_c - Class in fabric.extension
 
AtomicJifExt_c(ToJavaExt) - Constructor for class fabric.extension.AtomicJifExt_c
 
AtomicMethodRewriter - Class in fabil.visit
Removes atomic keyword from method flags and makes body an atomic block.
AtomicMethodRewriter(ExtensionInfo) - Constructor for class fabil.visit.AtomicMethodRewriter
 
AtomicRewriter - Class in fabil.visit
Rewrites the atomic construct.
AtomicRewriter(ExtensionInfo) - Constructor for class fabil.visit.AtomicRewriter
 
AtomicToFabilExt_c - Class in fabric.translate
 
AtomicToFabilExt_c() - Constructor for class fabric.translate.AtomicToFabilExt_c
 
AUTHORITY - Static variable in class fabric.parse.sym
 

B

baseType - Variable in class fabric.translate.NewFabricArrayToFabilExt_c
 
BinaryExt_c - Class in fabil.extension
 
BinaryExt_c() - Constructor for class fabil.extension.BinaryExt_c
 
BinaryToFabilExt_c - Class in fabric.translate
 
BinaryToFabilExt_c() - Constructor for class fabric.translate.BinaryToFabilExt_c
 
BOOLEAN - Static variable in class fabil.parse.sym
 
BOOLEAN - Static variable in class fabric.parse.sym
 
BOOLEAN_LITERAL - Static variable in class fabil.parse.sym
 
BOOLEAN_LITERAL - Static variable in class fabric.parse.sym
 
BOTTOM - Static variable in class fabil.visit.ReadWriteChecker.DataFlowItem
Bottom item.
BOTTOM - Static variable in class fabric.parse.sym
 
BOTTOM_C - Static variable in class fabil.visit.ReadWriteChecker.DataFlowItem
Initial item for constructors.
BREAK - Static variable in class fabil.parse.sym
 
BREAK - Static variable in class fabric.parse.sym
 
buildTypes(TypeBuilder) - Method in class fabil.extension.FabricArrayTypeNodeDel_c
 
buildTypes(TypeBuilder) - Method in class fabric.ast.FabricArrayTypeNode_c
 
BYTE - Static variable in class fabil.parse.sym
 
BYTE - Static variable in class fabric.parse.sym
 

C

Call(Position, Receiver, Id, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
Call(Position, Receiver, Id, List) - Method in class fabil.ast.FabILNodeFactory_c
 
Call(Position, Receiver, Id, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
Call(Position, Receiver, Id, Expr, List) - Method in interface fabric.ast.FabricNodeFactory
 
Call(Position, Receiver, Id, List) - Method in class fabric.ast.FabricNodeFactory_c
 
Call(Position, Receiver, Id, Expr, List) - Method in class fabric.ast.FabricNodeFactory_c
 
CALLER - Static variable in class fabric.parse.sym
 
CallExt_c - Class in fabil.extension
 
CallExt_c() - Constructor for class fabil.extension.CallExt_c
 
CallJifExt_c - Class in fabric.extension
 
CallJifExt_c(ToJavaExt) - Constructor for class fabric.extension.CallJifExt_c
 
CallToFabilExt_c - Class in fabric.translate
 
CallToFabilExt_c() - Constructor for class fabric.translate.CallToFabilExt_c
 
CASE - Static variable in class fabil.parse.sym
 
CASE - Static variable in class fabric.parse.sym
 
Cast(Position, TypeNode, Expr) - Method in class fabil.ast.FabILNodeFactory_c
 
Cast_c - Class in fabil.ast
 
Cast_c(Position, TypeNode, Expr) - Constructor for class fabil.ast.Cast_c
 
CastExt_c - Class in fabil.extension
 
CastExt_c() - Constructor for class fabil.extension.CastExt_c
 
CastToFabilExt_c - Class in fabric.translate
 
CastToFabilExt_c() - Constructor for class fabric.translate.CastToFabilExt_c
 
CATCH - Static variable in class fabil.parse.sym
 
CATCH - Static variable in class fabric.parse.sym
 
CHAR - Static variable in class fabil.parse.sym
 
CHAR - Static variable in class fabric.parse.sym
 
CHARACTER - Static variable in class fabil.parse.Lexer_c
 
CHARACTER - Static variable in class fabric.parse.Lexer_c
 
CHARACTER_LITERAL - Static variable in class fabil.parse.sym
 
CHARACTER_LITERAL - Static variable in class fabric.parse.sym
 
check(FlowGraph, Term, boolean, Item, Map) - Method in class fabil.visit.ReadWriteChecker
 
CheckAbortRetry(Job) - Method in class fabil.frontend.FabILScheduler
 
childExpectedType(Expr, AscriptionVisitor) - Method in class fabil.ast.ArrayAccessAssign_c
 
childExpectedType(Expr, AscriptionVisitor) - Method in class fabil.ast.Cast_c
 
childExpectedType(Expr, AscriptionVisitor) - Method in class fabil.ast.FabricArrayInit_c
 
CLASS - Static variable in class fabil.parse.sym
 
CLASS - Static variable in class fabric.parse.sym
 
ClassBodyExt_c - Class in fabil.extension
 
ClassBodyExt_c() - Constructor for class fabil.extension.ClassBodyExt_c
 
ClassBodyJifExt_c - Class in fabric.extension
 
ClassBodyJifExt_c(ToJavaExt) - Constructor for class fabric.extension.ClassBodyJifExt_c
 
ClassDecl(Position, Flags, Id, TypeNode, List, ClassBody) - Method in class fabil.ast.FabILNodeFactory_c
 
ClassDecl(Position, Flags, Id, TypeNode, List, ClassBody) - Method in class fabric.ast.FabricNodeFactory_c
 
ClassDecl_c - Class in fabil.ast
 
ClassDecl_c(Position, Flags, Id, TypeNode, List<TypeNode>, ClassBody) - Constructor for class fabil.ast.ClassDecl_c
 
ClassDecl_c - Class in fabric.ast
 
ClassDecl_c(Position, Flags, Id, List, TypeNode, List, List, ClassBody) - Constructor for class fabric.ast.ClassDecl_c
 
ClassDeclExt_c - Class in fabil.extension
 
ClassDeclExt_c() - Constructor for class fabil.extension.ClassDeclExt_c
 
ClassDeclToFabilExt_c - Class in fabric.translate
 
ClassDeclToFabilExt_c() - Constructor for class fabric.translate.ClassDeclToFabilExt_c
 
ClassMemberExt - Interface in fabil.extension
 
ClassMemberExt_c - Class in fabil.extension
 
ClassMemberExt_c() - Constructor for class fabil.extension.ClassMemberExt_c
 
ClassReferencesCollected(Job) - Method in class fabil.frontend.FabILScheduler
 
ClassReferencesCollector - Class in fabil.visit
Collects all types referenced by a class and outputs them to a file.
ClassReferencesCollector(Job, TypeSystem) - Constructor for class fabil.visit.ClassReferencesCollector
 
ClassSerializer - Class in fabil.visit
 
ClassSerializer(TypeSystem, NodeFactory, Date, ErrorQueue, Version) - Constructor for class fabil.visit.ClassSerializer
 
clone() - Method in class fabil.ast.New_c
 
CodeGenerated(Job) - Method in class fabil.frontend.FabILScheduler
 
collectStaticInitializers(StaticInitializerCollector) - Method in class fabil.extension.ClassBodyExt_c
 
collectStaticInitializers(StaticInitializerCollector) - Method in interface fabil.extension.FabILExt
Used by StaticInitializerCollector.
collectStaticInitializers(StaticInitializerCollector) - Method in class fabil.extension.FabILExt_c
 
CollectStaticInitializers(Job) - Method in class fabil.frontend.FabILScheduler
 
COLON - Static variable in class fabil.parse.sym
 
COLON - Static variable in class fabric.parse.sym
 
COMMA - Static variable in class fabil.parse.sym
 
COMMA - Static variable in class fabric.parse.sym
 
COMP - Static variable in class fabil.parse.sym
 
COMP - Static variable in class fabric.parse.sym
 
compilerName() - Method in class fabil.ExtensionInfo
 
compilerName() - Method in class fabric.ExtensionInfo
 
confluence(List, Term, boolean, FlowGraph) - Method in class fabil.visit.ReadWriteChecker
 
CONST - Static variable in class fabil.parse.sym
 
CONST - Static variable in class fabric.parse.sym
 
constructFabILClasspath() - Method in interface fabil.FabILOptions
 
constructFabILClasspath() - Method in class fabil.FabILOptions_c
 
constructFabILClasspath() - Method in class fabric.FabricOptions
 
ConstructorCallExt_c - Class in fabil.extension
 
ConstructorCallExt_c() - Constructor for class fabil.extension.ConstructorCallExt_c
 
ConstructorDeclExt_c - Class in fabil.extension
 
ConstructorDeclExt_c() - Constructor for class fabil.extension.ConstructorDeclExt_c
 
ConstructorDeclToFabilExt_c - Class in fabric.translate
 
ConstructorDeclToFabilExt_c() - Constructor for class fabric.translate.ConstructorDeclToFabilExt_c
 
constructPostCompilerClasspath() - Method in interface fabil.FabILOptions
 
constructPostCompilerClasspath() - Method in class fabil.FabILOptions_c
 
constructSignatureClasspath() - Method in interface fabil.FabILOptions
 
constructSignatureClasspath() - Method in class fabil.FabILOptions_c
 
containsProjection(Policy) - Method in class fabric.translate.FabricPairLabelToFabilExpr_c
 
containsThisLabel(Label) - Method in interface fabric.types.FabricTypeSystem
 
containsThisLabel(Label) - Method in class fabric.types.FabricTypeSystem_c
 
CONTINUE - Static variable in class fabil.parse.sym
 
CONTINUE - Static variable in class fabric.parse.sym
 
copy(NodeFactory) - Method in class fabil.ast.FabricArrayInit_c
 
copy(NodeFactory) - Method in class fabil.ast.FabricArrayTypeNode_c
 
copy(NodeFactory) - Method in class fabil.ast.New_c
 
copy(NodeFactory) - Method in class fabil.ast.NewFabricArray_c
 
copy(LocalInstance, LocalInstance, ReadWriteChecker.DataFlowItem) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive update for a copy operation.
copy(NodeFactory) - Method in class fabric.ast.FabricArrayInit_c
 
copy(NodeFactory) - Method in class fabric.ast.FabricArrayTypeNode_c
 
COVARIANT - Static variable in class fabric.parse.sym
 
createArrayType(Position, Type) - Method in class fabil.types.FabILTypeSystem_c
 
createClassType(LazyClassInitializer, Source) - Method in class fabil.types.FabILTypeSystem_c
 
createClassType(LazyClassInitializer, Source) - Method in class fabric.types.FabricTypeSystem_c
 
createContext() - Method in class fabric.types.FabricTypeSystem_c
 
createFabricArrayType(Position, Type) - Method in class fabil.types.FabILTypeSystem_c
 
createInitialItem(FlowGraph, Term, boolean) - Method in class fabil.visit.ReadWriteChecker
 
createLabelChecker(Job, boolean, boolean, boolean) - Method in class fabric.ExtensionInfo
 
createNodeFactory() - Method in class fabil.ExtensionInfo
 
createNodeFactory() - Method in class fabric.ExtensionInfo
 
createOptions() - Method in class fabil.ExtensionInfo
 
createOptions() - Method in class fabric.ExtensionInfo
 
createOptions() - Method in class fabric.OutputExtensionInfo
 
createScheduler() - Method in class fabil.ExtensionInfo
 
createScheduler() - Method in class fabric.ExtensionInfo
 
createScheduler() - Method in class fabric.OutputExtensionInfo
 
createSerializationMembers(ClassDecl) - Method in class fabil.visit.ClassSerializer
 
createSolver(String) - Method in class fabric.types.FabricTypeSystem_c
 
createTypeSystem() - Method in class fabil.ExtensionInfo
 
createTypeSystem() - Method in class fabric.ExtensionInfo
 

D

declared - Variable in class fabil.visit.UpdatedVariableFinder
 
DECLASSIFY - Static variable in class fabric.parse.sym
 
DEFAULT - Static variable in class fabil.parse.sym
 
DEFAULT - Static variable in class fabric.parse.sym
 
defaultFabilFieldLabel() - Method in interface fabric.types.FabricClassType
Same behavior as above, except change the field labels of Principal classes, so that they don't mention 'this'
defaultFabilFieldLabel() - Method in class fabric.types.FabricParsedClassType_c
 
defaultFabilFieldLabel() - Method in class fabric.types.FabricSubstClassType_c
 
defaultFieldLabel() - Method in interface fabric.types.FabricClassType
Return the label associated with this class' fields, or null if this class has no fields.
defaultFieldLabel() - Method in interface fabric.types.FabricParsedClassType
 
defaultFieldLabel() - Method in class fabric.types.FabricParsedClassType_c
 
defaultFieldLabel() - Method in class fabric.types.FabricSubstClassType_c
 
defaultFieldLabel() - Method in interface fabric.types.FabricSubstType
 
defaultFileExtension() - Method in class fabil.ExtensionInfo
 
defaultFileExtension() - Method in class fabric.ExtensionInfo
 
defaultPackageImports() - Method in class fabil.types.FabILTypeSystem_c
 
defaultPackageImports() - Method in class fabric.types.FabricTypeSystem_c
 
delAbortStmt() - Method in interface fabric.ast.FabricDelFactory
 
delAbortStmt() - Method in class fabric.ast.FabricDelFactory_c
 
delAbortStmtImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delAmbNewFabricArray() - Method in interface fabric.ast.FabricDelFactory
 
delAmbNewFabricArray() - Method in class fabric.ast.FabricDelFactory_c
 
delAmbNewFabricArrayImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delAtomic() - Method in interface fabric.ast.FabricDelFactory
 
delAtomic() - Method in class fabric.ast.FabricDelFactory_c
 
delAtomicImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delCallImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delegate - Variable in class fabric.FabricOptions
 
DelegatingPrincipal() - Method in interface fabil.types.FabILTypeSystem
 
DelegatingPrincipal() - Method in class fabil.types.FabILTypeSystem_c
 
delegatingPrincipal - Variable in class fabil.visit.PrincipalDelegator
 
DelegatingPrincipal() - Method in interface fabric.types.FabricTypeSystem
 
DelegatingPrincipal() - Method in class fabric.types.FabricTypeSystem_c
 
delFabricArrayInit() - Method in interface fabil.extension.FabILDelFactory
 
delFabricArrayInit() - Method in class fabil.extension.FabILDelFactory_c
 
delFabricArrayInit() - Method in interface fabric.ast.FabricDelFactory
 
delFabricArrayInit() - Method in class fabric.ast.FabricDelFactory_c
 
delFabricArrayInitImpl() - Method in class fabil.extension.FabILDelFactory_c
 
delFabricArrayInitImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delFabricArrayTypeNode() - Method in interface fabil.extension.FabILDelFactory
 
delFabricArrayTypeNode() - Method in class fabil.extension.FabILDelFactory_c
 
delFabricArrayTypeNode() - Method in interface fabric.ast.FabricDelFactory
 
delFabricArrayTypeNode() - Method in class fabric.ast.FabricDelFactory_c
 
delFabricArrayTypeNodeImpl() - Method in class fabil.extension.FabILDelFactory_c
 
delFabricArrayTypeNodeImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delFactory() - Method in class fabil.ast.FabILNodeFactory_c
 
delNewFabricArray() - Method in interface fabric.ast.FabricDelFactory
 
delNewFabricArray() - Method in class fabric.ast.FabricDelFactory_c
 
delNewFabricArrayImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delNewImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delNewLabelImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delRemoteWorkerGetter() - Method in interface fabric.ast.FabricDelFactory
 
delRemoteWorkerGetter() - Method in class fabric.ast.FabricDelFactory_c
 
delRemoteWorkerGetterImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delRetryStmt() - Method in interface fabric.ast.FabricDelFactory
 
delRetryStmt() - Method in class fabric.ast.FabricDelFactory_c
 
delRetryStmtImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delWorker() - Method in interface fabric.ast.FabricDelFactory
 
delWorker() - Method in class fabric.ast.FabricDelFactory_c
 
delWorkerImpl() - Method in class fabric.ast.FabricDelFactory_c
 
descendsFromImpl(Type) - Method in class fabil.types.FabILParsedClassType_c
 
descendsFromImpl(Type) - Method in class fabil.types.FabricArrayType_c
 
descendsFromImpl(Type) - Method in class fabric.types.FabricParsedClassType_c
 
disambiguate(AmbiguityRemover) - Method in class fabil.extension.FabricArrayTypeNodeDel_c
 
disambiguate(AmbiguityRemover) - Method in class fabric.ast.FabricAmbPrincipalNode_c
 
disambiguate(AmbiguityRemover) - Method in class fabric.ast.FabricArrayTypeNode_c
 
disambiguateOverride(Node, AmbiguityRemover) - Method in class fabil.ast.New_c
 
disambiguateOverride(Node, AmbiguityRemover) - Method in class fabric.extension.FabricNewDel
 
DisambiguationAfterWrappers(Job) - Method in class fabric.FabricScheduler
 
DIV - Static variable in class fabil.parse.sym
 
DIV - Static variable in class fabric.parse.sym
 
DIVEQ - Static variable in class fabil.parse.sym
 
DIVEQ - Static variable in class fabric.parse.sym
 
DO - Static variable in class fabil.parse.sym
 
DO - Static variable in class fabric.parse.sym
 
do_action(int, java_cup.runtime.lr_parser, Stack, int) - Method in class fabil.parse.Grm
Invoke a user supplied parse action.
do_action(int, java_cup.runtime.lr_parser, Stack, int) - Method in class fabric.parse.Grm
Invoke a user supplied parse action.
DOT - Static variable in class fabil.parse.sym
 
DOT - Static variable in class fabric.parse.sym
 
DOUBLE - Static variable in class fabil.parse.sym
 
DOUBLE - Static variable in class fabric.parse.sym
 
DOUBLE_LITERAL - Static variable in class fabil.parse.sym
 
DOUBLE_LITERAL - Static variable in class fabric.parse.sym
 
dump(CodeWriter) - Method in class fabil.extension.AnnotatedExt_c
 
dump(CodeWriter) - Method in class fabric.extension.LocatedExt_c
 
dumpDependencies() - Method in interface fabil.FabILOptions
 
dumpDependencies - Variable in class fabil.FabILOptions_c
Whether to dump class dependencies for each class.
dumpDependencies() - Method in class fabil.FabILOptions_c
 
dumpDependencies() - Method in class fabric.FabricOptions
 
dynamicPrincipal(Position, AccessPath) - Method in class fabric.types.FabricTypeSystem_c
 
DynamicPrincipalToFabilExpr_c - Class in fabric.translate
 
DynamicPrincipalToFabilExpr_c() - Constructor for class fabric.translate.DynamicPrincipalToFabilExpr_c
 
dynamicPrincipalTranslator() - Method in class fabric.types.FabricTypeSystem_c
 

E

elements(List<Expr>) - Method in interface fabil.ast.FabricArrayInit
 
elements(List) - Method in class fabil.ast.FabricArrayInit_c
 
elements(List<Expr>) - Method in interface fabric.ast.FabricArrayInit
 
elements(List) - Method in class fabric.ast.FabricArrayInit_c
 
ELSE - Static variable in class fabil.parse.sym
 
ELSE - Static variable in class fabric.parse.sym
 
END_OF_LINE_COMMENT - Static variable in class fabil.parse.Lexer_c
lexical states
END_OF_LINE_COMMENT - Static variable in class fabric.parse.Lexer_c
lexical states
ENDORSE - Static variable in class fabric.parse.sym
 
enter(Node) - Method in class fabil.visit.Memoizer
 
enter(Node, Node) - Method in class fabil.visit.ProxyRewriter
 
enter(Node) - Method in class fabil.visit.StoreGetterRewriter
 
enter(Node) - Method in class fabil.visit.UpdatedVariableFinder
 
enterCall(Node) - Method in class fabil.visit.AbortRetryChecker
 
enterCall(Node) - Method in class fabric.visit.FabricExceptionChecker
 
EOF - Static variable in class fabil.parse.sym
 
EOF - Static variable in class fabric.parse.sym
 
EOF_sym() - Method in class fabil.parse.Grm
EOF Symbol index.
EOF_sym() - Method in class fabric.parse.Grm
EOF Symbol index.
EQ - Static variable in class fabil.parse.sym
 
EQ - Static variable in class fabric.parse.sym
 
EQEQ - Static variable in class fabil.parse.sym
 
EQEQ - Static variable in class fabric.parse.sym
 
equals(Object) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
 
equalsImpl(TypeObject) - Method in class fabil.types.FabricArrayType_c
 
equalsImpl(TypeObject) - Method in class fabil.types.JavaArrayType_c
 
equalsImpl(TypeObject) - Method in class fabric.types.FabricDynamicPrincipal_c
 
EQUIV - Static variable in class fabric.parse.sym
 
error - Static variable in class fabil.parse.sym
 
error - Static variable in class fabric.parse.sym
 
error_sym() - Method in class fabil.parse.Grm
error Symbol index.
error_sym() - Method in class fabric.parse.Grm
error Symbol index.
EvalExt_c - Class in fabil.extension
 
EvalExt_c() - Constructor for class fabil.extension.EvalExt_c
 
ExceptionsChecked(Job) - Method in class fabric.FabricScheduler
 
ExplicitSuperclassAdder - Class in fabric.visit
A Visitor that replaces all implicit superclasses with explicit extends clauses.
ExplicitSuperclassAdder(FabricTypeSystem, NodeFactory) - Constructor for class fabric.visit.ExplicitSuperclassAdder
 
ExplicitSuperclassesAdded(Job) - Method in class fabric.FabricScheduler
 
ExpressionsFlattened(Job) - Method in class fabil.frontend.FabILScheduler
 
ExprExt_c - Class in fabil.extension
 
ExprExt_c() - Constructor for class fabil.extension.ExprExt_c
 
exprToJava(JifToJavaRewriter) - Method in class fabric.translate.CallToFabilExt_c
 
exprToJava(JifToJavaRewriter) - Method in class fabric.translate.NewToFabilExt_c
 
exprToJava(JifToJavaRewriter) - Method in class fabric.translate.RemoteWorkerGetterToFabilExt_c
 
exprToJava(JifToJavaRewriter) - Method in class fabric.translate.WorkerToFabilExt_c
 
exprType - Variable in class fabric.translate.CastToFabilExt_c
 
ext(Node) - Static method in class fabil.extension.FabILExt_c
Returns the Fabric extension object associated with the given node.
ext(Node) - Method in class fabil.visit.AtomicRewriter
 
ext(Node) - Method in class fabil.visit.RemoteCallRewriter
 
extAbort() - Method in interface fabil.extension.FabILExtFactory
 
extAbort() - Method in class fabil.extension.FabILExtFactory_c
 
extAbortImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extAbortStmt() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extAbortStmt() - Method in interface fabric.ast.FabricExtFactory
 
extAbortStmt() - Method in class fabric.ast.FabricJifExtFactory_c
 
extAbortStmtImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extAmbNewFabricArray() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extAmbNewFabricArray() - Method in interface fabric.ast.FabricExtFactory
 
extAmbNewFabricArray() - Method in class fabric.ast.FabricJifExtFactory_c
 
extAmbNewFabricArrayImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extArrayAccessAssignImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extArrayAccessImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extAtomic() - Method in interface fabil.extension.FabILExtFactory
 
extAtomic() - Method in class fabil.extension.FabILExtFactory_c
Factory method for Atomic objects
extAtomic() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extAtomic() - Method in interface fabric.ast.FabricExtFactory
 
extAtomic() - Method in class fabric.ast.FabricJifExtFactory_c
 
extAtomicImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extAtomicImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extBinaryImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extBinaryImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extCallImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extCallImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extCastImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extCastImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extClassBodyImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extClassBodyImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extClassDeclImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extClassDeclImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extConstructorCallImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extConstructorDeclImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extConstructorDeclImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
EXTENDS - Static variable in class fabil.parse.sym
 
EXTENDS - Static variable in class fabric.parse.sym
 
ExtensionInfo - Class in fabil
Extension information for FabIL extension.
ExtensionInfo() - Constructor for class fabil.ExtensionInfo
 
ExtensionInfo - Class in fabric
Extension information for fabric extension.
ExtensionInfo() - Constructor for class fabric.ExtensionInfo
 
extEvalImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extExprImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extFabricArrayInit() - Method in interface fabil.extension.FabILExtFactory
 
extFabricArrayInit() - Method in class fabil.extension.FabILExtFactory_c
 
extFabricArrayInit() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extFabricArrayInit() - Method in interface fabric.ast.FabricExtFactory
 
extFabricArrayInit() - Method in class fabric.ast.FabricJifExtFactory_c
 
extFabricArrayInitImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extFabricArrayInitImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extFabricArrayTypeNode() - Method in interface fabil.extension.FabILExtFactory
 
extFabricArrayTypeNode() - Method in class fabil.extension.FabILExtFactory_c
 
extFabricArrayTypeNode() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extFabricArrayTypeNode() - Method in interface fabric.ast.FabricExtFactory
 
extFabricArrayTypeNode() - Method in class fabric.ast.FabricJifExtFactory_c
 
extFabricArrayTypeNodeImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extFabricArrayTypeNodeImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extFactory() - Method in class fabil.ast.FabILNodeFactory_c
 
extFieldAssignImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extFieldDeclImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extFieldImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extInfo - Variable in class fabil.frontend.FabILScheduler
 
extInitializerImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extInstanceofImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extMethodDeclImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extMethodDeclImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extNewFabricArray() - Method in interface fabil.extension.FabILExtFactory
 
extNewFabricArray() - Method in class fabil.extension.FabILExtFactory_c
 
extNewFabricArray() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extNewFabricArray() - Method in interface fabric.ast.FabricExtFactory
 
extNewFabricArray() - Method in class fabric.ast.FabricJifExtFactory_c
 
extNewFabricArrayImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extNewFabricArrayImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extNewFabricArrayImpl() - Method in class fabric.ast.FabricFabExtFactory_c
 
extNewImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extNewImpl() - Method in class fabric.ast.FabricFabExtFactory_c
 
extNewImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extNewLabelImpl() - Method in class fabric.ast.FabricFabExtFactory_c
 
extNewLabelImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extNodeImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extNodeImpl() - Method in class fabric.ast.FabricFabExtFactory_c
 
extRemoteWorkerGetter() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extRemoteWorkerGetter() - Method in interface fabric.ast.FabricExtFactory
 
extRemoteWorkerGetter() - Method in class fabric.ast.FabricJifExtFactory_c
 
extRemoteWorkerGetterImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extRetry() - Method in interface fabil.extension.FabILExtFactory
 
extRetry() - Method in class fabil.extension.FabILExtFactory_c
 
extRetryImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extRetryStmt() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extRetryStmt() - Method in interface fabric.ast.FabricExtFactory
 
extRetryStmt() - Method in class fabric.ast.FabricJifExtFactory_c
 
extRetryStmtImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extSpecialImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extTypeNodeImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extUnaryImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extWorker() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extWorker() - Method in interface fabric.ast.FabricExtFactory
 
extWorker() - Method in class fabric.ast.FabricJifExtFactory_c
 
extWorkerImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 

F

fabext - Variable in class fabric.FabricScheduler
 
fabext - Variable in class fabric.OutputExtensionInfo
 
fabil - package fabil
The Fabil compiler main entry points.
fabil - Static variable in class fabil.Topics
 
fabil.ast - package fabil.ast
Provides new AST nodes for the fabil language.
fabil.extension - package fabil.extension
Provides extended functionality for AST nodes inherited from Java.
fabil.frontend - package fabil.frontend
Provides passes and scheduling for the fabil compiler.
fabil.parse - package fabil.parse
Parser for the Fabil language.
fabil.types - package fabil.types
Type system for the fabil language.
fabil.visit - package fabil.visit
Visitors for performing fabil type checking and translation.
FabILCall - Interface in fabil.ast
 
FabILCall_c - Class in fabil.ast
 
FabILCall_c(Position, Receiver, Id, List<Expr>) - Constructor for class fabil.ast.FabILCall_c
 
FabILCall_c(Position, Receiver, Id, Expr, List<Expr>) - Constructor for class fabil.ast.FabILCall_c
 
FabILDelFactory - Interface in fabil.extension
 
FabILDelFactory_c - Class in fabil.extension
 
FabILDelFactory_c() - Constructor for class fabil.extension.FabILDelFactory_c
 
FabILExt - Interface in fabil.extension
The interface for all Fabric extension nodes.
FabILExt_c - Class in fabil.extension
 
FabILExt_c() - Constructor for class fabil.extension.FabILExt_c
 
FabILExtFactory - Interface in fabil.extension
 
FabILExtFactory_c - Class in fabil.extension
Factory for FabIL extension nodes.
FabILExtFactory_c() - Constructor for class fabil.extension.FabILExtFactory_c
 
FabILFlags - Class in fabil.types
 
FabILFlags() - Constructor for class fabil.types.FabILFlags
 
FabILImportTable - Class in fabil.types
 
FabILImportTable(TypeSystem, Package, String) - Constructor for class fabil.types.FabILImportTable
 
FabILImportTable(TypeSystem, Package) - Constructor for class fabil.types.FabILImportTable
 
FabILNodeFactory - Interface in fabil.ast
NodeFactory for FabIL extension.
FabILNodeFactory_c - Class in fabil.ast
NodeFactory for FabIL extension.
FabILNodeFactory_c() - Constructor for class fabil.ast.FabILNodeFactory_c
 
FabILOptions - Interface in fabil
 
FabILOptions_c - Class in fabil
This is the same as the JL options, except by default, we always generate fully qualified class names.
FabILOptions_c(ExtensionInfo) - Constructor for class fabil.FabILOptions_c
 
FabILParsedClassType_c - Class in fabil.types
 
FabILParsedClassType_c() - Constructor for class fabil.types.FabILParsedClassType_c
 
FabILParsedClassType_c(TypeSystem, LazyClassInitializer, Source) - Constructor for class fabil.types.FabILParsedClassType_c
 
FabILScheduler - Class in fabil.frontend
 
FabILScheduler(ExtensionInfo) - Constructor for class fabil.frontend.FabILScheduler
 
FabILTypeBuilder - Class in fabil.visit
 
FabILTypeBuilder(Job, TypeSystem, NodeFactory) - Constructor for class fabil.visit.FabILTypeBuilder
 
FabILTypeSystem - Interface in fabil.types
 
FabILTypeSystem_c - Class in fabil.types
 
FabILTypeSystem_c() - Constructor for class fabil.types.FabILTypeSystem_c
 
fabric - package fabric
The Fabric compiler main entry points.
fabric - Static variable in class fabric.Topics
 
fabric.ast - package fabric.ast
New AST nodes for the Fabric language extension.
fabric.extension - package fabric.extension
Provides extended functionality for AST nodes inherited from Java.
fabric.parse - package fabric.parse
Parser for the Fabric language.
fabric.translate - package fabric.translate
Provides the translation from Fabric to Fabil.
fabric.types - package fabric.types
Type system for the Fabric language extension.
fabric.visit - package fabric.visit
Visitors for the Fabric language.
FabricAmbPrincipalNode_c - Class in fabric.ast
In Fabric, objects of Worker and RemoteWorker are treated as principals automatically.
FabricAmbPrincipalNode_c(Position, Expr) - Constructor for class fabric.ast.FabricAmbPrincipalNode_c
 
FabricAmbPrincipalNode_c(Position, Id) - Constructor for class fabric.ast.FabricAmbPrincipalNode_c
 
fabricArray(TypeNode, int) - Method in class fabil.parse.Grm
 
fabricArray(Position, TypeNode, int) - Method in class fabric.parse.Grm
 
FabricArrayInit(Position, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
FabricArrayInit(Position, Expr, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
FabricArrayInit(Position, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
FabricArrayInit(Position, Expr, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
FabricArrayInit - Interface in fabil.ast
 
FabricArrayInit - Interface in fabric.ast
 
FabricArrayInit(Position, List<Expr>) - Method in interface fabric.ast.FabricNodeFactory
 
FabricArrayInit(Position, Expr, Expr, List<Expr>) - Method in interface fabric.ast.FabricNodeFactory
 
FabricArrayInit(Position, Expr, Expr, List<Expr>) - Method in class fabric.ast.FabricNodeFactory_c
 
FabricArrayInit(Position, List<Expr>) - Method in class fabric.ast.FabricNodeFactory_c
 
FabricArrayInit_c - Class in fabil.ast
 
FabricArrayInit_c(Position, List<Expr>, Expr, Expr) - Constructor for class fabil.ast.FabricArrayInit_c
 
FabricArrayInit_c - Class in fabric.ast
 
FabricArrayInit_c(Position, List<Expr>, Expr, Expr) - Constructor for class fabric.ast.FabricArrayInit_c
 
FabricArrayInitExt_c - Class in fabil.extension
 
FabricArrayInitExt_c() - Constructor for class fabil.extension.FabricArrayInitExt_c
 
fabricArrayOf(Type) - Method in interface fabil.types.FabILTypeSystem
Returns the compile-time representation of a Fabric array type.
fabricArrayOf(Position, Type) - Method in interface fabil.types.FabILTypeSystem
 
fabricArrayOf(Type, int) - Method in interface fabil.types.FabILTypeSystem
 
fabricArrayOf(Type, int) - Method in class fabil.types.FabILTypeSystem_c
 
fabricArrayOf(Position, Type, int) - Method in class fabil.types.FabILTypeSystem_c
 
fabricArrayOf(Type) - Method in class fabil.types.FabILTypeSystem_c
 
fabricArrayOf(Position, Type) - Method in class fabil.types.FabILTypeSystem_c
 
fabricArrayOf(Position, Type) - Method in interface fabric.types.FabricTypeSystem
 
fabricArrayOf(Position, Type, int) - Method in interface fabric.types.FabricTypeSystem
 
fabricArrayOf(Position, Type) - Method in class fabric.types.FabricTypeSystem_c
 
fabricArrayOf(Position, Type, int) - Method in class fabric.types.FabricTypeSystem_c
 
fabricArrayType(Position, Type) - Method in class fabil.types.FabILTypeSystem_c
 
FabricArrayType - Interface in fabil.types
 
FabricArrayType - Interface in fabric.types
Unlike FabIL, we follow the jif const array design here.
FabricArrayType_c - Class in fabil.types
 
FabricArrayType_c() - Constructor for class fabil.types.FabricArrayType_c
Used for deserializing types.
FabricArrayType_c(TypeSystem, Position, Type) - Constructor for class fabil.types.FabricArrayType_c
 
FabricArrayType_c - Class in fabric.types
The only ArrayType class created by the FabricTypeSystem.
FabricArrayType_c(FabricTypeSystem, Position, Type, boolean, boolean, boolean) - Constructor for class fabric.types.FabricArrayType_c
 
FabricArrayTypeNode(Position, TypeNode) - Method in interface fabil.ast.FabILNodeFactory
 
FabricArrayTypeNode(Position, TypeNode) - Method in class fabil.ast.FabILNodeFactory_c
 
FabricArrayTypeNode - Interface in fabil.ast
 
FabricArrayTypeNode - Interface in fabric.ast
 
FabricArrayTypeNode(Position, TypeNode) - Method in interface fabric.ast.FabricNodeFactory
 
FabricArrayTypeNode(Position, TypeNode) - Method in class fabric.ast.FabricNodeFactory_c
 
FabricArrayTypeNode_c - Class in fabil.ast
 
FabricArrayTypeNode_c(Position, TypeNode) - Constructor for class fabil.ast.FabricArrayTypeNode_c
 
FabricArrayTypeNode_c - Class in fabric.ast
 
FabricArrayTypeNode_c(Position, TypeNode) - Constructor for class fabric.ast.FabricArrayTypeNode_c
 
FabricArrayTypeNodeDel_c - Class in fabil.extension
 
FabricArrayTypeNodeDel_c() - Constructor for class fabil.extension.FabricArrayTypeNodeDel_c
 
FabricBranch - Interface in fabric.ast
 
FabricCall - Interface in fabric.ast
 
FabricCall_c - Class in fabric.ast
 
FabricCall_c(Position, Receiver, Id, List) - Constructor for class fabric.ast.FabricCall_c
 
FabricCall_c(Position, Receiver, Id, Expr, List) - Constructor for class fabric.ast.FabricCall_c
 
FabricCallDel - Class in fabric.extension
 
FabricCallDel() - Constructor for class fabric.extension.FabricCallDel
 
FabricClassType - Interface in fabric.types
 
FabricContext_c - Class in fabric.types
 
FabricContext_c(JifTypeSystem, TypeSystem) - Constructor for class fabric.types.FabricContext_c
 
FabricDelFactory - Interface in fabric.ast
Factory for delegates for all of the AST nodes in the Fabric language.
FabricDelFactory_c - Class in fabric.ast
Factory class for creating delegates for fabric types.
FabricDelFactory_c() - Constructor for class fabric.ast.FabricDelFactory_c
 
FabricDynamicPrincipal_c - Class in fabric.types
 
FabricDynamicPrincipal_c(AccessPath, JifTypeSystem, Position, PrincipalToJavaExpr) - Constructor for class fabric.types.FabricDynamicPrincipal_c
 
FabricExceptionChecker - Class in fabric.visit
 
FabricExceptionChecker(Job, TypeSystem, NodeFactory) - Constructor for class fabric.visit.FabricExceptionChecker
 
fabricExt(Node) - Static method in class fabric.ast.FabricUtil
Gets the Fabric extension.
FabricExt - Interface in fabric.extension
This interface tags all fabric extension objects.
FabricExtFactory - Interface in fabric.ast
Factory for extensions for all of the AST nodes in the Fabric language.
FabricFabExtFactory_c - Class in fabric.ast
This class constructs FabricExt objects for the Fabric language constructs.
FabricFabExtFactory_c() - Constructor for class fabric.ast.FabricFabExtFactory_c
 
FabricFabExtFactory_c(ExtFactory) - Constructor for class fabric.ast.FabricFabExtFactory_c
 
FabricFlags - Class in fabric.types
 
FabricFlags() - Constructor for class fabric.types.FabricFlags
 
FabricJifExtFactory_c - Class in fabric.ast
This class extends the Jif Extension factory to provide Jif extension objects for atomic sections.
FabricJifExtFactory_c() - Constructor for class fabric.ast.FabricJifExtFactory_c
 
FabricJifExtFactory_c(FabricExtFactory) - Constructor for class fabric.ast.FabricJifExtFactory_c
 
FabricLabelChecker - Class in fabric.visit
 
FabricLabelChecker(Job, TypeSystem, NodeFactory, boolean, boolean, boolean) - Constructor for class fabric.visit.FabricLabelChecker
 
FabricNew_c - Class in fabric.ast
 
FabricNew_c(Position, TypeNode, List, ClassBody) - Constructor for class fabric.ast.FabricNew_c
 
FabricNewDel - Class in fabric.extension
 
FabricNewDel() - Constructor for class fabric.extension.FabricNewDel
 
FabricNewLabelDel - Class in fabric.extension
 
FabricNewLabelDel() - Constructor for class fabric.extension.FabricNewLabelDel
 
FabricNodeFactory - Interface in fabric.ast
NodeFactory for fabric extension.
FabricNodeFactory_c - Class in fabric.ast
NodeFactory for fabric extension.
FabricNodeFactory_c() - Constructor for class fabric.ast.FabricNodeFactory_c
 
FabricNodeFactory_c(FabricExtFactory) - Constructor for class fabric.ast.FabricNodeFactory_c
 
FabricNodeFactory_c(FabricExtFactory, FabricDelFactory) - Constructor for class fabric.ast.FabricNodeFactory_c
 
FabricOptions - Class in fabric
 
FabricOptions(ExtensionInfo) - Constructor for class fabric.FabricOptions
 
FabricPairLabelToFabilExpr_c - Class in fabric.translate
 
FabricPairLabelToFabilExpr_c() - Constructor for class fabric.translate.FabricPairLabelToFabilExpr_c
 
FabricParsedClassType - Interface in fabric.types
 
FabricParsedClassType_c - Class in fabric.types
 
FabricParsedClassType_c() - Constructor for class fabric.types.FabricParsedClassType_c
 
FabricParsedClassType_c(FabricTypeSystem, LazyClassInitializer, Source) - Constructor for class fabric.types.FabricParsedClassType_c
 
fabricRuntimeArrayImplOf(Type) - Method in interface fabil.types.FabILTypeSystem
 
fabricRuntimeArrayImplOf(Type) - Method in class fabil.types.FabILTypeSystem_c
 
fabricRuntimeArrayOf(Type) - Method in interface fabil.types.FabILTypeSystem
 
fabricRuntimeArrayOf(Type) - Method in class fabil.types.FabILTypeSystem_c
 
FabricScheduler - Class in fabric
 
FabricScheduler(ExtensionInfo, ExtensionInfo) - Constructor for class fabric.FabricScheduler
 
FabricSubst_c - Class in fabric.types
 
FabricSubst_c(JifTypeSystem, Map, Map) - Constructor for class fabric.types.FabricSubst_c
 
FabricSubstClassType_c - Class in fabric.types
 
FabricSubstClassType_c(JifTypeSystem, Position, ClassType, JifSubst) - Constructor for class fabric.types.FabricSubstClassType_c
 
FabricSubstType - Interface in fabric.types
 
FabricThread() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.common.FabricThread.
FabricThread() - Method in class fabil.types.FabILTypeSystem_c
 
FabricToFabil - Interface in fabric.translate
 
FabricToFabilRewriter - Class in fabric.visit
 
FabricToFabilRewriter(Job, FabricTypeSystem, FabricNodeFactory, ExtensionInfo) - Constructor for class fabric.visit.FabricToFabilRewriter
 
FabricToFabilRewritten(Job) - Method in class fabric.FabricScheduler
 
FabricTypeBuilder - Class in fabric.visit
 
FabricTypeBuilder(Job, TypeSystem, NodeFactory) - Constructor for class fabric.visit.FabricTypeBuilder
 
FabricTypeSystem - Interface in fabric.types
 
FabricTypeSystem_c - Class in fabric.types
 
FabricTypeSystem_c(TypeSystem) - Constructor for class fabric.types.FabricTypeSystem_c
 
FabricUtil - Class in fabric.ast
 
FabricUtil() - Constructor for class fabric.ast.FabricUtil
 
FieldAssignExt_c - Class in fabil.extension
 
FieldAssignExt_c() - Constructor for class fabil.extension.FieldAssignExt_c
 
FieldDeclExt_c - Class in fabil.extension
 
FieldDeclExt_c() - Constructor for class fabil.extension.FieldDeclExt_c
 
FieldExt_c - Class in fabil.extension
 
FieldExt_c() - Constructor for class fabil.extension.FieldExt_c
 
file() - Method in class fabil.parse.Lexer_c
 
file() - Method in class fabric.parse.Lexer_c
 
filext - Variable in class fabric.ExtensionInfo
 
filext - Variable in class fabric.FabricScheduler
 
FINAL - Static variable in class fabil.parse.sym
 
FINAL - Static variable in class fabric.parse.sym
 
FINALLY - Static variable in class fabil.parse.sym
 
FINALLY - Static variable in class fabric.parse.sym
 
findAcceptableMethods(ReferenceType, String, List, ClassType) - Method in class fabil.types.FabILTypeSystem_c
 
findInPkg(String, String) - Method in class fabil.types.FabILImportTable
 
findLocal(String) - Method in class fabric.types.FabricContext_c
 
FindUpdatedVariables(Job) - Method in class fabil.frontend.FabILScheduler
 
finish() - Method in class fabil.visit.ClassReferencesCollector
 
firstChild() - Method in class fabil.ast.AbortStmt_c
 
firstChild() - Method in class fabil.ast.RetryStmt_c
 
firstChild() - Method in class fabil.ast.StoreGetter_c
 
firstChild() - Method in class fabric.ast.AbortStmt_c
 
firstChild() - Method in class fabric.ast.RemoteWorkerGetter_c
 
firstChild() - Method in class fabric.ast.RetryStmt_c
 
FixArrayInitializerTypes(Job) - Method in class fabil.frontend.FabILScheduler
 
flagName - Variable in class fabil.visit.Memoizer
 
FLOAT - Static variable in class fabil.parse.sym
 
FLOAT - Static variable in class fabric.parse.sym
 
FLOAT_LITERAL - Static variable in class fabil.parse.sym
 
FLOAT_LITERAL - Static variable in class fabric.parse.sym
 
flow(Item, FlowGraph, Term, boolean, Set) - Method in class fabil.visit.ReadWriteChecker
 
FObject() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.lang.Object.
FObject() - Method in class fabil.types.FabILTypeSystem_c
 
FObject() - Method in interface fabric.types.FabricTypeSystem
 
FObject() - Method in class fabric.types.FabricTypeSystem_c
 
FOR - Static variable in class fabil.parse.sym
 
FOR - Static variable in class fabric.parse.sym
 

G

getAborts() - Method in class fabil.visit.AbortRetryCollector
 
getAborts() - Method in class fabric.visit.AbortRetryCollector
 
getCompileGoal(Job) - Method in class fabric.ExtensionInfo
 
getDefaultValue(Type) - Method in class fabil.visit.AtomicRewriter
 
getFabILOptions() - Method in class fabil.ExtensionInfo
 
getRetries() - Method in class fabil.visit.AbortRetryCollector
 
getRetries() - Method in class fabric.visit.AbortRetryCollector
 
getShadow(LocalInstance) - Method in class fabil.visit.ProxyRewriter
Returns a shadow name for local variable l.
global() - Static method in class fabil.FabILOptions_c
 
GOTO - Static variable in class fabil.parse.sym
 
GOTO - Static variable in class fabric.parse.sym
 
Grm - Class in fabil.parse
CUP v0.10k generated parser.
Grm(Lexer, TypeSystem, NodeFactory, ErrorQueue) - Constructor for class fabil.parse.Grm
 
Grm - Class in fabric.parse
CUP v0.10k generated parser.
Grm(Lexer, FabricTypeSystem, FabricNodeFactory, ErrorQueue) - Constructor for class fabric.parse.Grm
 
GT - Static variable in class fabil.parse.sym
 
GT - Static variable in class fabric.parse.sym
 
GTEQ - Static variable in class fabil.parse.sym
 
GTEQ - Static variable in class fabric.parse.sym
 

H

hasAbort - Variable in class fabil.visit.AbortRetryChecker
 
hashCode() - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
 

I

IDENTIFIER - Static variable in class fabil.parse.sym
 
IDENTIFIER - Static variable in class fabric.parse.sym
 
IF - Static variable in class fabil.parse.sym
 
IF - Static variable in class fabric.parse.sym
 
IMPLEMENTS - Static variable in class fabil.parse.sym
 
IMPLEMENTS - Static variable in class fabric.parse.sym
 
implMember(ProxyRewriter, ClassDecl) - Method in interface fabil.extension.ClassMemberExt
Returns the _Impl translation of the class member.
implMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassMemberExt_c
 
implMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ConstructorDeclExt_c
 
implMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.FieldDeclExt_c
 
implMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.InitializerExt_c
 
implMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.MethodDeclExt_c
 
IMPORT - Static variable in class fabil.parse.sym
 
IMPORT - Static variable in class fabric.parse.sym
 
importTable(Package) - Method in class fabil.types.FabILTypeSystem_c
 
importTable(String, Package) - Method in class fabil.types.FabILTypeSystem_c
 
importTable(Package) - Method in class fabric.types.FabricTypeSystem_c
 
importTable(String, Package) - Method in class fabric.types.FabricTypeSystem_c
 
inAtomic - Variable in class fabil.visit.AbortRetryChecker
 
init() - Method in interface fabil.ast.NewFabricArray
 
init(polyglot.ast.ArrayInit) - Method in interface fabil.ast.NewFabricArray
 
init() - Method in class fabil.ast.NewFabricArray_c
 
init(polyglot.ast.ArrayInit) - Method in class fabil.ast.NewFabricArray_c
 
init() - Method in class fabil.types.FabricArrayType_c
 
init_actions() - Method in class fabil.parse.Grm
Action encapsulation object initializer.
init_actions() - Method in class fabric.parse.Grm
Action encapsulation object initializer.
init_keywords() - Method in class fabil.parse.Lexer_c
 
init_keywords() - Method in class fabric.parse.Lexer_c
 
initCompiler(Compiler) - Method in class fabric.ExtensionInfo
 
InitializerExt_c - Class in fabil.extension
 
InitializerExt_c() - Constructor for class fabil.extension.InitializerExt_c
 
initTypeSystem() - Method in class fabil.ExtensionInfo
 
InlineableWrapper - Class in fabil.visit
Traverses the AST and wraps/unwraps JavaInlineables as necessary.
InlineableWrapper(Job, FabILTypeSystem, FabILNodeFactory) - Constructor for class fabil.visit.InlineableWrapper
 
InnerClassesRemoved(Job) - Method in class fabil.frontend.FabILScheduler
 
inRemoteWrapper - Variable in class fabric.visit.FabricExceptionChecker
 
inSignatureMode() - Method in class fabric.visit.FabricToFabilRewriter
 
INSTANCEOF - Static variable in class fabil.parse.sym
 
INSTANCEOF - Static variable in class fabric.parse.sym
 
InstanceofExt_c - Class in fabil.extension
 
InstanceofExt_c() - Constructor for class fabil.extension.InstanceofExt_c
 
InstrumentThreads(Job) - Method in class fabil.frontend.FabILScheduler
 
INT - Static variable in class fabil.parse.sym
 
INT - Static variable in class fabric.parse.sym
 
INTEGER_LITERAL - Static variable in class fabil.parse.sym
 
INTEGER_LITERAL - Static variable in class fabric.parse.sym
 
INTEGER_LITERAL_BD - Static variable in class fabil.parse.sym
 
INTEGER_LITERAL_BD - Static variable in class fabric.parse.sym
 
INTERFACE - Static variable in class fabil.parse.sym
 
INTERFACE - Static variable in class fabric.parse.sym
 
interfaceMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassDeclExt_c
 
interfaceMember(ProxyRewriter, ClassDecl) - Method in interface fabil.extension.ClassMemberExt
Returns the interface translation of the class member.
interfaceMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassMemberExt_c
 
interfaceMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.FieldDeclExt_c
 
interfaceMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.MethodDeclExt_c
 
InternalError() - Method in interface fabil.types.FabILTypeSystem
 
InternalError() - Method in class fabil.types.FabILTypeSystem_c
 
INVARIANT - Static variable in class fabric.parse.sym
 
isCastValid(Type, Type) - Method in class fabric.types.FabricTypeSystem_c
 
isCastValidImpl(Type) - Method in class fabil.types.FabricArrayType_c
 
isCastValidImpl(Type) - Method in class fabil.types.JavaArrayType_c
 
isCompiledByFabc(ClassType) - Method in interface fabil.types.FabILTypeSystem
Determines whether the given ClassType was compiled with fabc.
isCompiledByFabc(ClassType) - Method in class fabil.types.FabILTypeSystem_c
Determines whether a type was compiled by fabc.
isFabricArray(ArrayType) - Method in interface fabil.types.FabILTypeSystem
 
isFabricArray(Type) - Method in interface fabil.types.FabILTypeSystem
 
isFabricArray(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isFabricArray(ArrayType) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricArray(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricArray(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricArray(Type) - Method in interface fabric.types.FabricTypeSystem
 
isFabricArray(Type) - Method in class fabric.types.FabricTypeSystem_c
 
isFabricClass(ClassType) - Method in interface fabil.types.FabILTypeSystem
 
isFabricClass(Type) - Method in interface fabil.types.FabILTypeSystem
 
isFabricClass(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isFabricClass(ClassType) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricClass(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricClass(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricClass(Type) - Method in interface fabric.types.FabricTypeSystem
Checks whether type is a Fabric class, that is, inherits fabric.lang.Object.
isFabricClass(Type) - Method in class fabric.types.FabricTypeSystem_c
 
isFabricReference(Type) - Method in interface fabil.types.FabILTypeSystem
 
isFabricReference(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isFabricReference(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricReference(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricType(Type) - Method in interface fabil.types.FabILTypeSystem
 
isFabricType(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isFabricType(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isFabricType(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isImplicitCastValid(Type, Type) - Method in class fabric.types.FabricTypeSystem_c
 
isImplicitCastValidImpl(Type) - Method in class fabil.types.FabricArrayType_c
 
isImplicitCastValidImpl(Type) - Method in class fabil.types.JavaArrayType_c
 
isJavaInlineable(Type) - Method in interface fabil.types.FabILTypeSystem
Determines whether the given type is a subtype of fabric.lang.JavaInlineable.
isJavaInlineable(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isJavaInlineable(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isJavaInlineable(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isLocalWorkerAccessPath(AccessPath) - Method in interface fabric.types.FabricTypeSystem
 
isLocalWorkerAccessPath(AccessPath) - Method in class fabric.types.FabricTypeSystem_c
 
isNative - Variable in class fabric.parse.Array
 
isNative() - Method in class fabric.parse.Array
 
isNative() - Method in interface fabric.types.FabricArrayType
Type is a native (java) array type
isNative - Variable in class fabric.types.FabricArrayType_c
 
isNative() - Method in class fabric.types.FabricArrayType_c
 
isPrincipalClass(ClassType) - Method in interface fabil.types.FabILTypeSystem
 
isPrincipalClass(Type) - Method in interface fabil.types.FabILTypeSystem
 
isPrincipalClass(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isPrincipalClass(ClassType) - Method in class fabil.types.FabILTypeSystem_c
 
isPrincipalClass(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isPrincipalClass(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isPureFabricType(Type) - Method in interface fabil.types.FabILTypeSystem
Determines whether the given type is a "pure" Fabric type.
isPureFabricType(TypeNode) - Method in interface fabil.types.FabILTypeSystem
Determines whether the given type is a "pure" Fabric type.
isPureFabricType(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isPureFabricType(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 
isSolved() - Method in class fabric.types.SilenceableSolverGLB
 
isThread(Type) - Method in interface fabil.types.FabILTypeSystem
 
isThread(TypeNode) - Method in interface fabil.types.FabILTypeSystem
 
isThread(Type) - Method in class fabil.types.FabILTypeSystem_c
 
isThread(TypeNode) - Method in class fabil.types.FabILTypeSystem_c
 

J

javaArray(TypeNode, int) - Method in class fabil.parse.Grm
 
javaArray(TypeNode, int) - Method in class fabric.parse.Grm
 
JavaArrayType - Interface in fabil.types
 
JavaArrayType_c - Class in fabil.types
 
JavaArrayType_c() - Constructor for class fabil.types.JavaArrayType_c
Used for deserializing types.
JavaArrayType_c(FabILTypeSystem, Position, Type) - Constructor for class fabil.types.JavaArrayType_c
 
JavaInlineable() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.lang.JavaInlineable.
JavaInlineable() - Method in class fabil.types.FabILTypeSystem_c
 
JifClassDecl(Position, Flags, Id, List, TypeNode, List, List, ClassBody) - Method in class fabric.ast.FabricNodeFactory_c
 
jifConstructorTranslatedName(ClassType) - Static method in class fabric.translate.ClassDeclToFabilExt_c
 
jlTypeSystem() - Method in class fabric.ExtensionInfo
 
job - Variable in class fabil.visit.Memoizer
 
job - Variable in class fabric.visit.RemoteCallWrapperAdder
 
job - Variable in class fabric.visit.RemoteCallWrapperUpdater
 
JOIN - Static variable in class fabric.parse.sym
 

K

kill(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive kill of local instance l.

L

label() - Method in interface fabil.ast.Annotated
 
label(Expr) - Method in interface fabil.ast.Annotated
 
label(Expr) - Method in interface fabil.ast.FabricArrayInit
 
label - Variable in class fabil.ast.FabricArrayInit_c
 
label() - Method in class fabil.ast.FabricArrayInit_c
 
label(Expr) - Method in class fabil.ast.FabricArrayInit_c
 
label - Variable in class fabil.ast.New_c
 
label() - Method in class fabil.ast.New_c
 
label(Expr) - Method in class fabil.ast.New_c
 
label - Variable in class fabil.ast.NewFabricArray_c
 
label() - Method in class fabil.ast.NewFabricArray_c
 
label(Expr) - Method in class fabil.ast.NewFabricArray_c
 
Label() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.lang.security.Label.
Label() - Method in class fabil.types.FabILTypeSystem_c
 
label(Expr) - Method in interface fabric.ast.FabricArrayInit
 
label - Variable in class fabric.ast.FabricArrayInit_c
 
label() - Method in class fabric.ast.FabricArrayInit_c
 
label(Expr) - Method in class fabric.ast.FabricArrayInit_c
 
LABEL - Static variable in class fabric.parse.sym
 
LabelAssigner - Class in fabil.visit
Assigns object locations to all new expressions.
LabelAssigner(Job, ExtensionInfo) - Constructor for class fabil.visit.LabelAssigner
 
labelCheck(LabelChecker) - Method in class fabric.extension.CallJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.ClassBodyJifExt_c
 
labelCheck(LabelChecker, Label) - Method in class fabric.extension.LocatedExt_c
Checks that the location is compatible with the objectLabel.
labelCheck(LabelChecker) - Method in class fabric.extension.NewArrayJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.NewJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.RemoteWorkerGetterJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.WorkerJifExt_c
 
labelCheck(JifContext, LabelChecker) - Method in class fabric.types.FabricDynamicPrincipal_c
 
labelCheckArgs(LabelChecker, Call, List<Label>) - Method in class fabric.extension.CallJifExt_c
 
labelCheckStmt(LabelChecker) - Method in class fabric.extension.AbortJifExt_c
 
labelCheckStmt(LabelChecker) - Method in class fabric.extension.AtomicJifExt_c
 
labelCheckStmt(LabelChecker) - Method in class fabric.extension.RetryJifExt_c
 
LabelClassName() - Method in class fabric.types.FabricTypeSystem_c
 
LabelsAssigned(Job) - Method in class fabil.frontend.FabILScheduler
Ensures all objects have their labels assigned.
LabelUtilClassName() - Method in class fabric.types.FabricTypeSystem_c
 
LBRACE - Static variable in class fabil.parse.sym
 
LBRACE - Static variable in class fabric.parse.sym
 
LBRACK - Static variable in class fabil.parse.sym
 
LBRACK - Static variable in class fabric.parse.sym
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.AbortRetryCollector
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.AssignNormalizer
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.AtomicRewriter
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.ClassReferencesCollector
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.Memoizer
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.PrincipalDelegator
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.ProxyRewriter
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.RemoteCallRewriter
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.SignatureCleaner
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.StaticInitializerCollector
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.StoreGetterRewriter
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.ThreadRewriter
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.UpdatedVariableFinder
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.AbortRetryCollector
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.ExplicitSuperclassAdder
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.RemoteCallWrapperAdder
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.RemoteCallWrapperUpdater
 
leaveCall(Node) - Method in class fabil.visit.AbortRetryChecker
 
leaveCall(Node, Node, Node, NodeVisitor) - Method in class fabil.visit.InlineableWrapper
 
leaveCall(Node) - Method in class fabil.visit.LabelAssigner
 
leaveCall(Node) - Method in class fabil.visit.LocationAssigner
 
leaveCall(Node, Node, NodeVisitor) - Method in class fabric.visit.ThisLabelChecker
 
leavingMethod(JifMethodDecl) - Method in class fabric.visit.FabricLabelChecker
 
LEFTARROW - Static variable in class fabric.parse.sym
 
legalConstructorFlags() - Method in class fabil.types.FabILTypeSystem_c
 
legalInterfaceFlags() - Method in class fabil.types.FabILTypeSystem_c
 
legalInterfaceFlags() - Method in class fabric.types.FabricTypeSystem_c
 
legalMethodFlags() - Method in class fabil.types.FabILTypeSystem_c
 
legalTopLevelClassFlags() - Method in class fabil.types.FabILTypeSystem_c
 
legalTopLevelClassFlags() - Method in class fabric.types.FabricTypeSystem_c
 
Lexer_c - Class in fabil.parse
 
Lexer_c(Reader, FileSource, ErrorQueue) - Constructor for class fabil.parse.Lexer_c
 
Lexer_c(Reader) - Constructor for class fabil.parse.Lexer_c
Creates a new scanner There is also a java.io.InputStream version of this constructor.
Lexer_c(InputStream) - Constructor for class fabil.parse.Lexer_c
Creates a new scanner.
Lexer_c - Class in fabric.parse
 
Lexer_c(InputStream, FileSource, ErrorQueue) - Constructor for class fabric.parse.Lexer_c
 
Lexer_c(Reader, FileSource, ErrorQueue) - Constructor for class fabric.parse.Lexer_c
 
Lexer_c(Reader) - Constructor for class fabric.parse.Lexer_c
Creates a new scanner There is also a java.io.InputStream version of this constructor.
Lexer_c(InputStream) - Constructor for class fabric.parse.Lexer_c
Creates a new scanner.
lhsType - Variable in class fabric.translate.BinaryToFabilExt_c
 
loc - Variable in class fabric.ast.AmbNewFabricArray_c
 
LocatedExt_c - Class in fabric.extension
This class provides common functionality to the New and NewArray for managing a location field
LocatedExt_c() - Constructor for class fabric.extension.LocatedExt_c
 
location() - Method in interface fabil.ast.Annotated
 
location(Expr) - Method in interface fabil.ast.Annotated
 
location(Expr) - Method in interface fabil.ast.FabricArrayInit
 
location - Variable in class fabil.ast.FabricArrayInit_c
 
location() - Method in class fabil.ast.FabricArrayInit_c
 
location(Expr) - Method in class fabil.ast.FabricArrayInit_c
 
location - Variable in class fabil.ast.New_c
 
location() - Method in class fabil.ast.New_c
 
location(Expr) - Method in class fabil.ast.New_c
 
location - Variable in class fabil.ast.NewFabricArray_c
 
location() - Method in class fabil.ast.NewFabricArray_c
 
location(Expr) - Method in class fabil.ast.NewFabricArray_c
 
location() - Method in interface fabric.ast.AmbNewFabricArray
 
location(Expr) - Method in interface fabric.ast.AmbNewFabricArray
 
location() - Method in class fabric.ast.AmbNewFabricArray_c
 
location(Expr) - Method in class fabric.ast.AmbNewFabricArray_c
 
location(Expr) - Method in interface fabric.ast.FabricArrayInit
 
location - Variable in class fabric.ast.FabricArrayInit_c
 
location() - Method in class fabric.ast.FabricArrayInit_c
 
location(Expr) - Method in class fabric.ast.FabricArrayInit_c
 
location - Variable in class fabric.extension.LocatedExt_c
 
location() - Method in class fabric.extension.LocatedExt_c
 
location(Expr) - Method in class fabric.extension.LocatedExt_c
 
LocationAssigner - Class in fabil.visit
Assigns object locations to all new expressions.
LocationAssigner(Job, ExtensionInfo) - Constructor for class fabil.visit.LocationAssigner
 
LocationsAssigned(Job) - Method in class fabil.frontend.FabILScheduler
Ensures all objects have their locations assigned.
LONG - Static variable in class fabil.parse.sym
 
LONG - Static variable in class fabric.parse.sym
 
LONG_LITERAL - Static variable in class fabil.parse.sym
 
LONG_LITERAL - Static variable in class fabric.parse.sym
 
LONG_LITERAL_BD - Static variable in class fabil.parse.sym
 
LONG_LITERAL_BD - Static variable in class fabric.parse.sym
 
LoopsNormalized(Job) - Method in class fabil.frontend.FabILScheduler
 
LPAREN - Static variable in class fabil.parse.sym
 
LPAREN - Static variable in class fabric.parse.sym
 
LSHIFT - Static variable in class fabil.parse.sym
 
LSHIFT - Static variable in class fabric.parse.sym
 
LSHIFTEQ - Static variable in class fabil.parse.sym
 
LSHIFTEQ - Static variable in class fabric.parse.sym
 
LT - Static variable in class fabil.parse.sym
 
LT - Static variable in class fabric.parse.sym
 
LTEQ - Static variable in class fabil.parse.sym
 
LTEQ - Static variable in class fabric.parse.sym
 

M

Main - Class in fabil
Main is the main program of the compiler extension.
Main() - Constructor for class fabil.Main
 
main(String[]) - Static method in class fabil.Main
 
main(String[]) - Static method in class fabil.MakeSignature
 
Main - Class in fabric
Main is the main program of the compiler extension.
Main() - Constructor for class fabric.Main
 
main(String[]) - Static method in class fabric.Main
 
major() - Method in class fabil.Version
 
major() - Method in class fabric.Version
 
makeLoadedClassResolver() - Method in class fabil.ExtensionInfo
 
MakeSignature - Class in fabil
A quick and dirty hack for generating signature templates.
MakeSignature() - Constructor for class fabil.MakeSignature
 
mayAbort() - Method in interface fabil.ast.Atomic
 
mayAbort(boolean) - Method in interface fabil.ast.Atomic
 
mayAbort - Variable in class fabil.ast.Atomic_c
 
mayAbort() - Method in class fabil.ast.Atomic_c
 
mayAbort(boolean) - Method in class fabil.ast.Atomic_c
 
meet(ReadWriteChecker.DataFlowItem) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive meet of this item with another.
MEET - Static variable in class fabric.parse.sym
 
Memoized(Job) - Method in class fabil.frontend.FabILScheduler
 
Memoizer - Class in fabil.visit
 
Memoizer(Job, TypeSystem, NodeFactory) - Constructor for class fabil.visit.Memoizer
 
MethodDeclExt_c - Class in fabil.extension
 
MethodDeclExt_c() - Constructor for class fabil.extension.MethodDeclExt_c
 
MethodDeclToFabilExt_c - Class in fabric.translate
 
MethodDeclToFabilExt_c() - Constructor for class fabric.translate.MethodDeclToFabilExt_c
 
minor() - Method in class fabil.Version
 
minor() - Method in class fabric.Version
 
MINUS - Static variable in class fabil.parse.sym
 
MINUS - Static variable in class fabric.parse.sym
 
MINUSEQ - Static variable in class fabil.parse.sym
 
MINUSEQ - Static variable in class fabric.parse.sym
 
MINUSMINUS - Static variable in class fabil.parse.sym
 
MINUSMINUS - Static variable in class fabric.parse.sym
 
MOD - Static variable in class fabil.parse.sym
 
MOD - Static variable in class fabric.parse.sym
 
MODEQ - Static variable in class fabil.parse.sym
 
MODEQ - Static variable in class fabric.parse.sym
 
MULT - Static variable in class fabil.parse.sym
 
MULT - Static variable in class fabric.parse.sym
 
MULTEQ - Static variable in class fabil.parse.sym
 
MULTEQ - Static variable in class fabric.parse.sym
 
mute(boolean) - Static method in class fabric.types.SilenceableSolverGLB
 
muted() - Static method in class fabric.types.SilenceableSolverGLB
 

N

name() - Method in class fabil.Version
 
name() - Method in class fabric.Version
 
NATIVE - Static variable in class fabil.parse.sym
 
NATIVE - Static variable in class fabric.parse.sym
 
needsMemoization(MethodInstance) - Method in class fabil.visit.Memoizer
 
New(Position, TypeNode, Expr, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, TypeNode, Expr, Expr, List<Expr>, ClassBody) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, Expr, TypeNode, Expr, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, Expr, TypeNode, Expr, Expr, List<Expr>, ClassBody) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, Expr, TypeNode, Expr, Expr, List<Expr>, ClassBody) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, Expr, TypeNode, List, ClassBody) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, TypeNode, Expr, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, Expr, TypeNode, Expr, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, TypeNode, Expr, Expr, List<Expr>, polyglot.ast.ClassBody) - Method in class fabil.ast.FabILNodeFactory_c
 
New - Interface in fabil.ast
 
NEW - Static variable in class fabil.parse.sym
 
New(Position, TypeNode, Expr, List<Expr>) - Method in interface fabric.ast.FabricNodeFactory
 
New(Position, TypeNode, Expr, List<Expr>, ClassBody) - Method in interface fabric.ast.FabricNodeFactory
 
New(Position, Expr, TypeNode, Expr, List<Expr>) - Method in interface fabric.ast.FabricNodeFactory
 
New(Position, Expr, TypeNode, Expr, List<Expr>, ClassBody) - Method in interface fabric.ast.FabricNodeFactory
 
New(Position, TypeNode, Expr, List<Expr>) - Method in class fabric.ast.FabricNodeFactory_c
 
New(Position, TypeNode, Expr, List<Expr>, polyglot.ast.ClassBody) - Method in class fabric.ast.FabricNodeFactory_c
 
New(Position, Expr, TypeNode, Expr, List<Expr>) - Method in class fabric.ast.FabricNodeFactory_c
 
New(Position, Expr, TypeNode, List, ClassBody) - Method in class fabric.ast.FabricNodeFactory_c
 
New(Position, Expr, TypeNode, Expr, List<Expr>, polyglot.ast.ClassBody) - Method in class fabric.ast.FabricNodeFactory_c
 
NEW - Static variable in class fabric.parse.sym
 
New_c - Class in fabil.ast
 
New_c(Position, Expr, TypeNode, List<Expr>, ClassBody, Expr, Expr) - Constructor for class fabil.ast.New_c
 
NewArrayJifExt_c - Class in fabric.extension
 
NewArrayJifExt_c(ToJavaExt) - Constructor for class fabric.extension.NewArrayJifExt_c
 
newClass(Position, Flags, String) - Method in class fabil.visit.FabILTypeBuilder
 
newClass(Position, Flags, String) - Method in class fabric.visit.FabricTypeBuilder
 
NewExt_c - Class in fabil.extension
 
NewExt_c() - Constructor for class fabil.extension.NewExt_c
 
NewExt_c - Class in fabric.extension
 
NewExt_c() - Constructor for class fabric.extension.NewExt_c
 
NewFabricArray(Position, TypeNode, Expr, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
Creates an AST node representing the creation of a Fabric array.
NewFabricArray(Position, TypeNode, Expr, Expr, List<Expr>, int) - Method in interface fabil.ast.FabILNodeFactory
Creates an AST node representing the creation of a Fabric array.
NewFabricArray(Position, TypeNode, Expr, Expr, int, FabricArrayInit) - Method in interface fabil.ast.FabILNodeFactory
Creates an AST node representing the creation of a Fabric array.
NewFabricArray(Position, TypeNode, Expr, Expr, List<Expr>, int, FabricArrayInit) - Method in interface fabil.ast.FabILNodeFactory
Creates an AST node representing the creation of a Fabric array.
NewFabricArray(Position, TypeNode, Expr, Expr, List<Expr>, int, FabricArrayInit) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, Expr, List<Expr>, int) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, Expr, int, FabricArrayInit) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray - Interface in fabil.ast
 
NewFabricArray(Position, TypeNode, Expr, List<Expr>) - Method in interface fabric.ast.FabricNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, List<Expr>, int) - Method in interface fabric.ast.FabricNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, int, FabricArrayInit) - Method in interface fabric.ast.FabricNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, List<Expr>, int, FabricArrayInit) - Method in interface fabric.ast.FabricNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, List<Expr>, int, FabricArrayInit) - Method in class fabric.ast.FabricNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, List<Expr>) - Method in class fabric.ast.FabricNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, List<Expr>, int) - Method in class fabric.ast.FabricNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, int, FabricArrayInit) - Method in class fabric.ast.FabricNodeFactory_c
 
NewFabricArray - Interface in fabric.ast
 
NewFabricArray_c - Class in fabil.ast
 
NewFabricArray_c(Position, TypeNode, List<Expr>, int, FabricArrayInit, Expr, Expr) - Constructor for class fabil.ast.NewFabricArray_c
 
NewFabricArray_c - Class in fabric.ast
 
NewFabricArray_c(Position, TypeNode, List, int, ArrayInit) - Constructor for class fabric.ast.NewFabricArray_c
 
NewFabricArrayExt_c - Class in fabil.extension
 
NewFabricArrayExt_c() - Constructor for class fabil.extension.NewFabricArrayExt_c
 
NewFabricArrayExt_c - Class in fabric.extension
 
NewFabricArrayExt_c() - Constructor for class fabric.extension.NewFabricArrayExt_c
 
NewFabricArrayJifExt_c - Class in fabric.ast
 
NewFabricArrayJifExt_c(ToJavaExt) - Constructor for class fabric.ast.NewFabricArrayJifExt_c
 
NewFabricArrayToFabilExt_c - Class in fabric.translate
 
NewFabricArrayToFabilExt_c() - Constructor for class fabric.translate.NewFabricArrayToFabilExt_c
 
NewJifExt_c - Class in fabric.extension
 
NewJifExt_c(ToJavaExt) - Constructor for class fabric.extension.NewJifExt_c
 
NewLabel(Position, LabelNode, Expr) - Method in interface fabric.ast.FabricNodeFactory
 
NewLabel(Position, LabelNode, Expr) - Method in class fabric.ast.FabricNodeFactory_c
 
NewLabelExt_c - Class in fabric.extension
 
NewLabelExt_c() - Constructor for class fabric.extension.NewLabelExt_c
 
NewLabelToFabilExt_c - Class in fabric.translate
 
NewLabelToFabilExt_c() - Constructor for class fabric.translate.NewLabelToFabilExt_c
 
NewToFabilExt_c - Class in fabric.translate
 
NewToFabilExt_c() - Constructor for class fabric.translate.NewToFabilExt_c
 
nextToken() - Method in class fabil.parse.Lexer_c
Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
nextToken() - Method in class fabric.parse.Lexer_c
Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
nf - Variable in class fabil.parse.Grm
 
nf - Variable in class fabil.visit.AtomicMethodRewriter
 
nf - Variable in class fabil.visit.AtomicRewriter
 
nf - Variable in class fabil.visit.InlineableWrapper
 
nf - Variable in class fabil.visit.Memoizer
 
nf - Variable in class fabil.visit.PrincipalDelegator
 
nf - Variable in class fabil.visit.ProxyRewriter
 
nf - Variable in class fabil.visit.RemoteCallRewriter
 
nf - Variable in class fabil.visit.StaticInitializerCollector
 
nf - Variable in class fabric.parse.Grm
 
nf - Variable in class fabric.visit.ExplicitSuperclassAdder
 
nf - Variable in class fabric.visit.RemoteCallWrapperAdder
 
nf - Variable in class fabric.visit.RemoteCallWrapperUpdater
 
node() - Method in class fabil.extension.AnnotatedExt_c
 
node() - Method in class fabil.extension.ArrayAccessAssignExt_c
 
node() - Method in class fabil.extension.ArrayAccessExt_c
 
node() - Method in class fabil.extension.BinaryExt_c
 
node() - Method in class fabil.extension.CallExt_c
 
node() - Method in class fabil.extension.ClassBodyExt_c
 
node() - Method in class fabil.extension.ClassDeclExt_c
 
node() - Method in class fabil.extension.ConstructorCallExt_c
 
node() - Method in class fabil.extension.EvalExt_c
 
node() - Method in class fabil.extension.ExprExt_c
 
node() - Method in class fabil.extension.FabricArrayInitExt_c
 
node() - Method in class fabil.extension.FieldAssignExt_c
 
node() - Method in class fabil.extension.FieldDeclExt_c
 
node() - Method in class fabil.extension.FieldExt_c
 
node() - Method in class fabil.extension.InitializerExt_c
 
node() - Method in class fabil.extension.InstanceofExt_c
 
node() - Method in class fabil.extension.MethodDeclExt_c
 
node() - Method in class fabil.extension.NewExt_c
 
node() - Method in class fabil.extension.NewFabricArrayExt_c
 
node() - Method in class fabil.extension.SpecialExt_c
 
node() - Method in class fabil.extension.TypeNodeExt_c
 
node() - Method in class fabil.extension.UnaryExt_c
 
NodeExt_c - Class in fabric.extension
 
NodeExt_c() - Constructor for class fabric.extension.NodeExt_c
 
nodeFactory() - Method in class fabil.ExtensionInfo
 
nodeFactory() - Method in class fabil.visit.AtomicRewriter
 
nodeFactory() - Method in class fabil.visit.LabelAssigner
 
nodeFactory() - Method in class fabil.visit.LocationAssigner
 
nodeFactory() - Method in class fabil.visit.ProxyRewriter
 
nodeFactory() - Method in class fabil.visit.RemoteCallRewriter
 
nodeFactory() - Method in class fabil.visit.StaticInitializerCollector
 
nodeFactory() - Method in class fabil.visit.ThreadRewriter
 
nodeFactory() - Method in class fabric.ExtensionInfo
 
NONFABRIC - Static variable in class fabil.parse.sym
 
NONFABRIC - Static variable in class fabil.types.FabILFlags
 
NONFABRIC - Static variable in class fabric.parse.sym
 
NONFABRIC - Static variable in class fabric.types.FabricFlags
 
NOT - Static variable in class fabil.parse.sym
 
NOT - Static variable in class fabric.parse.sym
 
NOTEQ - Static variable in class fabil.parse.sym
 
NOTEQ - Static variable in class fabric.parse.sym
 
NULL_LITERAL - Static variable in class fabil.parse.sym
 
NULL_LITERAL - Static variable in class fabric.parse.sym
 

O

objectJob - Variable in class fabric.OutputExtensionInfo.OutputScheduler
 
objectType(TypeNode) - Method in interface fabil.ast.New
 
objectType(TypeNode) - Method in class fabil.ast.New_c
 
optLevel() - Method in interface fabil.FabILOptions
 
optLevel - Variable in class fabil.FabILOptions_c
Whether to perform optimizations.
optLevel() - Method in class fabil.FabILOptions_c
 
optLevel() - Method in class fabric.FabricOptions
 
OR - Static variable in class fabil.parse.sym
 
OR - Static variable in class fabric.parse.sym
 
OREQ - Static variable in class fabil.parse.sym
 
OREQ - Static variable in class fabric.parse.sym
 
OROR - Static variable in class fabil.parse.sym
 
OROR - Static variable in class fabric.parse.sym
 
OutputExtensionInfo - Class in fabric
A small extension of the fabil ExtensionInfo and Scheduler to perform fabil compilation of asts that have come from fabric.
OutputExtensionInfo(ExtensionInfo) - Constructor for class fabric.OutputExtensionInfo
 
OutputExtensionInfo.OutputScheduler - Class in fabric
 
override(Node, Node) - Method in class fabil.visit.AtomicMethodRewriter
 
override(Node) - Method in class fabil.visit.ProxyRewriter
 

P

PACKAGE - Static variable in class fabil.parse.sym
 
PACKAGE - Static variable in class fabric.parse.sym
 
pairLabelTranslator() - Method in class fabric.types.FabricTypeSystem_c
 
paramToJava(Param, Expr) - Method in class fabric.visit.FabricToFabilRewriter
 
parseCommand(String[], int, Set) - Method in class fabil.FabILOptions_c
 
parseCommand(String[], int, Set) - Method in class fabric.FabricOptions
 
Parsed(Job) - Method in class fabric.OutputExtensionInfo.OutputScheduler
 
parser(Reader, FileSource, ErrorQueue) - Method in class fabil.ExtensionInfo
 
parser(Reader, FileSource, ErrorQueue) - Method in class fabric.ExtensionInfo
 
patch_level() - Method in class fabil.Version
 
patch_level() - Method in class fabric.Version
 
path() - Method in class fabil.parse.Lexer_c
 
path() - Method in class fabric.parse.Lexer_c
 
pathToPrincipal(Position, AccessPath) - Method in class fabric.types.FabricTypeSystem_c
 
PLUS - Static variable in class fabil.parse.sym
 
PLUS - Static variable in class fabric.parse.sym
 
PLUSEQ - Static variable in class fabil.parse.sym
 
PLUSEQ - Static variable in class fabric.parse.sym
 
PLUSPLUS - Static variable in class fabil.parse.sym
 
PLUSPLUS - Static variable in class fabric.parse.sym
 
policyToJava(Policy, JifToJavaRewriter) - Method in class fabric.translate.FabricPairLabelToFabilExpr_c
 
postDelAbortStmt(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelAmbNewFabricArray(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelAtomic(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelFabricArrayInit(JL) - Method in class fabil.extension.FabILDelFactory_c
 
postDelFabricArrayInit(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelFabricArrayTypeNode(JL) - Method in class fabil.extension.FabILDelFactory_c
 
postDelFabricArrayTypeNode(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelNewFabricArray(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelRemoteWorkerGetter(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelRetryStmt(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postDelWorker(JL) - Method in class fabric.ast.FabricDelFactory_c
 
postExtAbort(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtAbortStmt(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtAmbNewFabricArrayImpl(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtAtomic(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtAtomic(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtFabricArrayInit(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtFabricArrayInit(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtFabricArrayTypeNode(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtFabricArrayTypeNode(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtNewFabricArray(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtNewFabricArray(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtRemoteWorkerGetter(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtRetry(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtRetryStmt(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtWorker(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
prettyPrint(CodeWriter, PrettyPrinter) - Method in class fabil.ast.AbortStmt_c
 
prettyPrint(CodeWriter, PrettyPrinter) - Method in class fabil.ast.RetryStmt_c
 
Principal() - Method in interface fabil.types.FabILTypeSystem
 
Principal() - Method in class fabil.types.FabILTypeSystem_c
 
PRINCIPAL - Static variable in class fabric.parse.sym
 
PrincipalCastAdder - Class in fabric.visit
 
PrincipalCastAdder(Job, TypeSystem, NodeFactory) - Constructor for class fabric.visit.PrincipalCastAdder
 
PrincipalCastsAdded(Job) - Method in class fabric.FabricScheduler
 
PrincipalClassName() - Method in class fabric.types.FabricTypeSystem_c
 
PrincipalDelegator - Class in fabil.visit
Rewrites Principal constructor calls to add default delegations.
PrincipalDelegator(ExtensionInfo) - Constructor for class fabil.visit.PrincipalDelegator
 
principalExpected - Variable in class fabric.visit.FabricToFabilRewriter
 
PrincipalsDelegated(Job) - Method in class fabil.frontend.FabILScheduler
 
PrincipalUtilClassName() - Method in class fabric.types.FabricTypeSystem_c
 
print(CodeWriter) - Method in class fabil.types.JavaArrayType_c
 
PRIVATE - Static variable in class fabil.parse.sym
 
PRIVATE - Static variable in class fabric.parse.sym
 
production_table() - Method in class fabil.parse.Grm
Access to production table.
production_table() - Method in class fabric.parse.Grm
Access to production table.
PROTECTED - Static variable in class fabil.parse.sym
 
PROTECTED - Static variable in class fabric.parse.sym
 
proxyMember(ProxyRewriter, ClassDecl) - Method in interface fabil.extension.ClassMemberExt
Returns the _Proxy translation of the class member.
proxyMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassMemberExt_c
 
proxyMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.FieldDeclExt_c
 
proxyMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.MethodDeclExt_c
 
ProxyRewriter - Class in fabil.visit
Rewrites FabIL classes into classes that implement fabric.lang.Object.
ProxyRewriter(ExtensionInfo) - Constructor for class fabil.visit.ProxyRewriter
 
PUBLIC - Static variable in class fabil.parse.sym
 
PUBLIC - Static variable in class fabric.parse.sym
 

Q

qq - Variable in class fabil.visit.AtomicMethodRewriter
 
qq - Variable in class fabil.visit.AtomicRewriter
 
qq() - Method in class fabil.visit.AtomicRewriter
 
qq() - Method in class fabil.visit.LabelAssigner
 
qq() - Method in class fabil.visit.LocationAssigner
 
qq - Variable in class fabil.visit.PrincipalDelegator
 
qq - Variable in class fabil.visit.ProxyRewriter
 
qq() - Method in class fabil.visit.ProxyRewriter
 
qq - Variable in class fabil.visit.RemoteCallRewriter
 
qq() - Method in class fabil.visit.RemoteCallRewriter
 
qq() - Method in class fabil.visit.ThreadRewriter
 
qq - Variable in class fabric.visit.RemoteCallWrapperAdder
 
QUESTION - Static variable in class fabil.parse.sym
 
QUESTION - Static variable in class fabric.parse.sym
 

R

RBRACE - Static variable in class fabil.parse.sym
 
RBRACE - Static variable in class fabric.parse.sym
 
RBRACK - Static variable in class fabil.parse.sym
 
RBRACK - Static variable in class fabric.parse.sym
 
read - Variable in class fabil.visit.ReadWriteChecker.DataFlowItem
 
read(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive add of a local instance to read.
read() - Method in class fabil.visit.ReadWriteChecker.State
 
ReadWriteChecked(Job) - Method in class fabil.frontend.FabILScheduler
 
ReadWriteChecker - Class in fabil.visit
This dataflow analysis checks whether or not a local variable (or more precisely what that variable points to) is guaranteed to have already been read from or written to at a point in a method.
ReadWriteChecker(Job, TypeSystem, NodeFactory) - Constructor for class fabil.visit.ReadWriteChecker
 
ReadWriteChecker.DataFlowItem - Class in fabil.visit
 
ReadWriteChecker.DataFlowItem(ReadWriteChecker.DataFlowItem) - Constructor for class fabil.visit.ReadWriteChecker.DataFlowItem
 
ReadWriteChecker.State - Class in fabil.visit
The access state of a variable (resident, read, written).
ReadWriteChecker.State(boolean, boolean, boolean) - Constructor for class fabil.visit.ReadWriteChecker.State
 
reconstruct(Receiver, Id, Expr, List<Expr>) - Method in class fabil.ast.FabILCall_c
 
reconstruct(List<Expr>, Expr, Expr) - Method in class fabil.ast.FabricArrayInit_c
Reconstructs the initializer.
reconstruct(Expr, TypeNode, List<Expr>, ClassBody, Expr, Expr) - Method in class fabil.ast.New_c
Reconstructs the expression.
reconstruct(TypeNode, List<Expr>, FabricArrayInit, Expr, Expr) - Method in class fabil.ast.NewFabricArray_c
Reconstructs the expression.
reconstruct(List<Expr>, Expr, Expr) - Method in class fabric.ast.FabricArrayInit_c
Reconstructs the initializer.
reconstruct(Receiver, Id, Expr, List) - Method in class fabric.ast.FabricCall_c
 
reconstruct(Expr) - Method in class fabric.ast.RemoteWorkerGetter_c
 
reduce_table() - Method in class fabil.parse.Grm
Access to reduce_goto table.
reduce_table() - Method in class fabric.parse.Grm
Access to reduce_goto table.
RemoteCallException() - Method in interface fabil.types.FabILTypeSystem
 
RemoteCallException() - Method in class fabil.types.FabILTypeSystem_c
 
RemoteCallRewriter - Class in fabil.visit
 
RemoteCallRewriter(ExtensionInfo) - Constructor for class fabil.visit.RemoteCallRewriter
 
RemoteCallWrapperAdder - Class in fabric.visit
 
RemoteCallWrapperAdder(Job, FabricTypeSystem, FabricNodeFactory) - Constructor for class fabric.visit.RemoteCallWrapperAdder
 
RemoteCallWrappersAdded(Job) - Method in class fabric.FabricScheduler
 
RemoteCallWrappersUpdated(Job) - Method in class fabric.FabricScheduler
 
RemoteCallWrapperUpdater - Class in fabric.visit
 
RemoteCallWrapperUpdater(Job, FabricTypeSystem, FabricNodeFactory) - Constructor for class fabric.visit.RemoteCallWrapperUpdater
 
remoteWorker() - Method in interface fabil.ast.FabILCall
 
remoteWorker(Expr) - Method in interface fabil.ast.FabILCall
 
remoteWorker - Variable in class fabil.ast.FabILCall_c
 
remoteWorker() - Method in class fabil.ast.FabILCall_c
 
remoteWorker(Expr) - Method in class fabil.ast.FabILCall_c
 
RemoteWorker() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.worker.remote.RemoteWorker.
RemoteWorker() - Method in class fabil.types.FabILTypeSystem_c
 
remoteWorker() - Method in interface fabric.ast.FabricCall
 
remoteWorker(Expr) - Method in interface fabric.ast.FabricCall
 
remoteWorker - Variable in class fabric.ast.FabricCall_c
 
remoteWorker() - Method in class fabric.ast.FabricCall_c
 
remoteWorker(Expr) - Method in class fabric.ast.FabricCall_c
 
RemoteWorker() - Method in interface fabric.types.FabricTypeSystem
 
RemoteWorker() - Method in class fabric.types.FabricTypeSystem_c
 
RemoteWorkerGetter(Position, Expr) - Method in interface fabric.ast.FabricNodeFactory
 
RemoteWorkerGetter(Position, Expr) - Method in class fabric.ast.FabricNodeFactory_c
 
RemoteWorkerGetter - Interface in fabric.ast
 
RemoteWorkerGetter_c - Class in fabric.ast
 
RemoteWorkerGetter_c(Position, Expr) - Constructor for class fabric.ast.RemoteWorkerGetter_c
 
RemoteWorkerGetterJifExt_c - Class in fabric.extension
 
RemoteWorkerGetterJifExt_c(ToJavaExt) - Constructor for class fabric.extension.RemoteWorkerGetterJifExt_c
 
RemoteWorkerGetterToFabilExt_c - Class in fabric.translate
 
RemoteWorkerGetterToFabilExt_c() - Constructor for class fabric.translate.RemoteWorkerGetterToFabilExt_c
 
remoteWorkerName() - Method in interface fabric.ast.RemoteWorkerGetter
 
remoteWorkerName(Expr) - Method in interface fabric.ast.RemoteWorkerGetter
 
remoteWorkerName - Variable in class fabric.ast.RemoteWorkerGetter_c
 
remoteWorkerName() - Method in class fabric.ast.RemoteWorkerGetter_c
 
remoteWorkerName(Expr) - Method in class fabric.ast.RemoteWorkerGetter_c
 
remoteWorkerPrincipal() - Method in interface fabric.ast.FabricCall
 
remoteWorkerPrincipal(Principal) - Method in interface fabric.ast.FabricCall
 
remoteWorkerPrincipal - Variable in class fabric.ast.FabricCall_c
 
remoteWorkerPrincipal() - Method in class fabric.ast.FabricCall_c
 
remoteWorkerPrincipal(Principal) - Method in class fabric.ast.FabricCall_c
 
removeMethod(MethodInstance) - Method in interface fabric.types.FabricParsedClassType
 
removeMethod(MethodInstance) - Method in class fabric.types.FabricParsedClassType_c
 
replaceTarget(Receiver, ReadWriteChecker.State) - Method in class fabil.visit.ProxyRewriter
 
reportError(Constraint, Collection) - Method in class fabric.types.SilenceableSolverGLB
 
representableConfProjection(Label) - Method in interface fabric.types.FabricTypeSystem
 
representableConfProjection(Label) - Method in class fabric.types.FabricTypeSystem_c
 
representableIntegProjection(Label) - Method in interface fabric.types.FabricTypeSystem
 
representableIntegProjection(Label) - Method in class fabric.types.FabricTypeSystem_c
 
reside(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive add of a local instance to resident.
resident() - Method in class fabil.visit.ReadWriteChecker.State
 
retries - Variable in class fabil.visit.AbortRetryCollector
 
retries - Variable in class fabric.visit.AbortRetryCollector
 
RETRY - Static variable in class fabil.parse.sym
 
RETRY - Static variable in interface fabric.ast.FabricBranch
 
RETRY - Static variable in class fabric.parse.sym
 
RetryExt_c - Class in fabil.extension
 
RetryExt_c() - Constructor for class fabil.extension.RetryExt_c
 
RetryJifExt_c - Class in fabric.extension
 
RetryJifExt_c(ToJavaExt) - Constructor for class fabric.extension.RetryJifExt_c
 
RetryStmt(Position) - Method in interface fabil.ast.FabILNodeFactory
 
RetryStmt(Position) - Method in class fabil.ast.FabILNodeFactory_c
 
RetryStmt - Interface in fabil.ast
 
RetryStmt(Position) - Method in interface fabric.ast.FabricNodeFactory
 
RetryStmt(Position) - Method in class fabric.ast.FabricNodeFactory_c
 
RetryStmt - Interface in fabric.ast
 
RetryStmt_c - Class in fabil.ast
 
RetryStmt_c(Position) - Constructor for class fabil.ast.RetryStmt_c
 
RetryStmt_c - Class in fabric.ast
 
RetryStmt_c(Position) - Constructor for class fabric.ast.RetryStmt_c
 
RetryToFabilExt_c - Class in fabric.translate
 
RetryToFabilExt_c() - Constructor for class fabric.translate.RetryToFabilExt_c
 
RETURN - Static variable in class fabil.parse.sym
 
RETURN - Static variable in class fabric.parse.sym
 
rewriteAtomic(AtomicRewriter) - Method in class fabil.extension.AbortExt_c
 
rewriteAtomic(AtomicRewriter) - Method in class fabil.extension.AtomicExt_c
 
rewriteAtomic(AtomicRewriter) - Method in interface fabil.extension.FabILExt
Used by AtomicRewriter to rewrite the AST to eliminate atomic statements.
rewriteAtomic(AtomicRewriter) - Method in class fabil.extension.FabILExt_c
 
rewriteAtomic(AtomicRewriter) - Method in class fabil.extension.RetryExt_c
 
RewriteAtomic(Job) - Method in class fabil.frontend.FabILScheduler
 
RewriteAtomicMethods(Job) - Method in class fabil.frontend.FabILScheduler
 
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.ClassDeclExt_c
Returns the interface translation of the class declaration.
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.ConstructorCallExt_c
 
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.ConstructorDeclExt_c
 
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.EvalExt_c
 
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.ExprExt_c
 
rewriteProxies(ProxyRewriter) - Method in interface fabil.extension.FabILExt
Used by ProxyRewriter to rewrite references to proxy references.
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.FabILExt_c
 
rewriteProxies(ProxyRewriter) - Method in class fabil.extension.TypeNodeExt_c
 
RewriteProxies(Job) - Method in class fabil.frontend.FabILScheduler
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.ArrayAccessExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.BinaryExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.CallExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.CastExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.ExprExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.FieldExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.InstanceofExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.NewExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.NewFabricArrayExt_c
 
rewriteProxiesImpl(ProxyRewriter) - Method in class fabil.extension.SpecialExt_c
 
rewriteProxiesOverride(ProxyRewriter) - Method in class fabil.extension.ExprExt_c
 
rewriteProxiesOverride(ProxyRewriter) - Method in interface fabil.extension.FabILExt
Used by ProxyRewriter to override the default visitor behaviour.
rewriteProxiesOverride(ProxyRewriter) - Method in class fabil.extension.FabILExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.ArrayAccessAssignExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.CallExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.ExprExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.FabricArrayInitExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.FieldAssignExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.FieldExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.NewFabricArrayExt_c
 
rewriteProxiesOverrideImpl(ProxyRewriter) - Method in class fabil.extension.UnaryExt_c
 
rewriteRemoteCalls(RemoteCallRewriter) - Method in class fabil.extension.CallExt_c
 
rewriteRemoteCalls(RemoteCallRewriter) - Method in class fabil.extension.ClassDeclExt_c
 
rewriteRemoteCalls(RemoteCallRewriter) - Method in interface fabil.extension.FabILExt
Used by RemoteCallRewriter to translate RMIs.
rewriteRemoteCalls(RemoteCallRewriter) - Method in class fabil.extension.FabILExt_c
 
RewriteRemoteCalls(Job) - Method in class fabil.frontend.FabILScheduler
 
RewriteStoreGetters(Job) - Method in class fabil.frontend.FabILScheduler
 
rewriteThreads(ThreadRewriter) - Method in class fabil.extension.CallExt_c
 
rewriteThreads(ThreadRewriter) - Method in class fabil.extension.ClassDeclExt_c
 
rewriteThreads(ThreadRewriter) - Method in interface fabil.extension.FabILExt
Used by ThreadRewriter to hook Threads into the worker's transaction manager.
rewriteThreads(ThreadRewriter) - Method in class fabil.extension.FabILExt_c
 
rewriteThreads(ThreadRewriter) - Method in class fabil.extension.MethodDeclExt_c
 
rhsType - Variable in class fabric.translate.BinaryToFabilExt_c
 
RIGHTARROW - Static variable in class fabric.parse.sym
 
RPAREN - Static variable in class fabil.parse.sym
 
RPAREN - Static variable in class fabric.parse.sym
 
RSHIFT - Static variable in class fabil.parse.sym
 
RSHIFT - Static variable in class fabric.parse.sym
 
RSHIFTEQ - Static variable in class fabil.parse.sym
 
RSHIFTEQ - Static variable in class fabric.parse.sym
 
runtimeLabelUtil() - Method in class fabric.visit.FabricToFabilRewriter
 
RuntimePackageName() - Method in class fabric.types.FabricTypeSystem_c
 
runToCompletion() - Method in class fabric.FabricScheduler
 

S

scan() - Method in class fabil.parse.Grm
Scan to get the next Symbol.
scan() - Method in class fabric.parse.Grm
Scan to get the next Symbol.
scheduler() - Method in class fabric.ExtensionInfo
 
SEMICOLON - Static variable in class fabil.parse.sym
 
SEMICOLON - Static variable in class fabric.parse.sym
 
Serialized(Job) - Method in class fabil.frontend.FabILScheduler
 
Serialized(Job) - Method in class fabric.FabricScheduler
 
setDefaultValues() - Method in class fabil.FabILOptions_c
 
setDefaultValues() - Method in class fabric.FabricOptions
 
setLocation(Node, Expr) - Method in class fabric.ast.FabricNodeFactory_c
Update the provided node with a given location.
setRuntimeClassResolver(LoadedClassResolver) - Method in interface fabil.types.FabILTypeSystem
Sets the LoadedClassResolver to use when looking for Fabric runtime classes.
setRuntimeClassResolver(LoadedClassResolver) - Method in class fabil.types.FabILTypeSystem_c
 
setSuperClass(AmbiguityRemover, TypeNode) - Method in class fabil.ast.ClassDecl_c
 
setSuperClass(AmbiguityRemover, TypeNode) - Method in class fabric.ast.ClassDecl_c
 
SHORT - Static variable in class fabil.parse.sym
 
SHORT - Static variable in class fabric.parse.sym
 
shouldRewrite(ClassType) - Method in class fabil.visit.ThreadRewriter
Determines whether the given ClassType should be rewritten with hooks into the worker transaction manager.
shouldSerializeType - Variable in class fabil.extension.ClassDeclExt_c
A flag for determining whether the class's type information should be serialized.
shouldSerializeType() - Method in class fabil.extension.ClassDeclExt_c
 
shouldSerializeType(boolean) - Method in class fabil.extension.ClassDeclExt_c
 
sigcp - Variable in class fabil.FabILOptions_c
The classpath for the FabIL signatures of Java objects.
SignatureClean(Job) - Method in class fabil.frontend.FabILScheduler
 
SignatureCleaner - Class in fabil.visit
Removes everything except Polyglot type information from classes.
SignatureCleaner() - Constructor for class fabil.visit.SignatureCleaner
 
signatureMode() - Method in interface fabil.FabILOptions
 
signatureMode - Variable in class fabil.FabILOptions_c
Whether we're running in signature mode.
signatureMode() - Method in class fabil.FabILOptions_c
 
signatureMode() - Method in class fabric.FabricOptions
 
SilenceableSolverGLB - Class in fabric.types
SilenceableSolverGLB can be muted, that is, not reporting any error.
SilenceableSolverGLB(JifTypeSystem, polyglot.frontend.Compiler, String) - Constructor for class fabric.types.SilenceableSolverGLB
 
SilenceableSolverGLB(SolverGLB) - Constructor for class fabric.types.SilenceableSolverGLB
 
solve() - Method in class fabric.types.SilenceableSolverGLB
 
SpecialExt_c - Class in fabil.extension
 
SpecialExt_c() - Constructor for class fabil.extension.SpecialExt_c
 
start_production() - Method in class fabil.parse.Grm
Indicates start production.
start_production() - Method in class fabric.parse.Grm
Indicates start production.
start_state() - Method in class fabil.parse.Grm
Indicates start state.
start_state() - Method in class fabric.parse.Grm
Indicates start state.
state(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Returns a state object describing local instance l.
STATIC - Static variable in class fabil.parse.sym
 
STATIC - Static variable in class fabric.parse.sym
 
staticImplInitMember(ProxyRewriter) - Method in interface fabil.extension.ClassMemberExt
Returns the _Static._Impl.$init translation of the class member.
staticImplInitMember(ProxyRewriter) - Method in class fabil.extension.ClassMemberExt_c
 
staticImplInitMember(ProxyRewriter) - Method in class fabil.extension.FieldDeclExt_c
 
staticImplInitMember(ProxyRewriter) - Method in class fabil.extension.InitializerExt_c
 
staticImplMember(ProxyRewriter, ClassDecl) - Method in interface fabil.extension.ClassMemberExt
Returns the _Static._Impl translation of the class member.
staticImplMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassMemberExt_c
 
staticImplMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.FieldDeclExt_c
 
StaticInitializerCollector - Class in fabil.visit
A pass that collects initializers for static fields and moves them into an atomic static initializer.
StaticInitializerCollector(FabILNodeFactory, FabILTypeSystem) - Constructor for class fabil.visit.StaticInitializerCollector
 
staticInterfaceMember(ProxyRewriter, ClassDecl) - Method in interface fabil.extension.ClassMemberExt
Returns the _Static-interface translation of the class member.
staticInterfaceMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassMemberExt_c
 
staticInterfaceMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.FieldDeclExt_c
 
staticProxyMember(ProxyRewriter, ClassDecl) - Method in interface fabil.extension.ClassMemberExt
Returns the _Static._Proxy translation of the class member.
staticProxyMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.ClassMemberExt_c
 
staticProxyMember(ProxyRewriter, ClassDecl) - Method in class fabil.extension.FieldDeclExt_c
 
Store() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.worker.Store.
Store() - Method in class fabil.types.FabILTypeSystem_c
 
Store() - Method in interface fabric.types.FabricTypeSystem
 
Store() - Method in class fabric.types.FabricTypeSystem_c
 
StoreGetter(Position) - Method in interface fabil.ast.FabILNodeFactory
 
StoreGetter(Position) - Method in class fabil.ast.FabILNodeFactory_c
 
StoreGetter - Interface in fabil.ast
 
StoreGetter_c - Class in fabil.ast
 
StoreGetter_c(Position) - Constructor for class fabil.ast.StoreGetter_c
 
StoreGetterRewriter - Class in fabil.visit
 
StoreGetterRewriter() - Constructor for class fabil.visit.StoreGetterRewriter
 
storePrincipal - Variable in class fabric.extension.LocatedExt_c
 
storePrincipal() - Method in class fabric.extension.LocatedExt_c
 
storePrincipal(Principal) - Method in class fabric.extension.LocatedExt_c
 
STRICTFP - Static variable in class fabil.parse.sym
 
STRICTFP - Static variable in class fabric.parse.sym
 
STRING - Static variable in class fabil.parse.Lexer_c
 
STRING - Static variable in class fabric.parse.Lexer_c
 
STRING_LITERAL - Static variable in class fabil.parse.sym
 
STRING_LITERAL - Static variable in class fabric.parse.sym
 
strip(Type) - Method in interface fabric.types.FabricTypeSystem
 
strip(Type) - Method in class fabric.types.FabricTypeSystem_c
 
subst(Map, Map) - Method in class fabric.types.FabricTypeSystem_c
 
substClassType(ClassType) - Method in class fabric.types.FabricSubst_c
 
SUPER - Static variable in class fabil.parse.sym
 
SUPER - Static variable in class fabric.parse.sym
 
SWITCH - Static variable in class fabil.parse.sym
 
SWITCH - Static variable in class fabric.parse.sym
 
sym - Class in fabil.parse
CUP generated class containing symbol constants.
sym() - Constructor for class fabil.parse.sym
 
sym - Class in fabric.parse
CUP generated class containing symbol constants.
sym() - Constructor for class fabric.parse.sym
 
SYNCHRONIZED - Static variable in class fabil.parse.sym
 
SYNCHRONIZED - Static variable in class fabric.parse.sym
 

T

targetIsNeverNull() - Method in class fabric.extension.FabricCallDel
 
THIS - Static variable in class fabil.parse.sym
 
THIS - Static variable in class fabric.parse.sym
 
ThisLabelChecked(Job) - Method in class fabric.FabricScheduler
 
ThisLabelChecker - Class in fabric.visit
 
ThisLabelChecker(Job, FabricTypeSystem, FabricNodeFactory) - Constructor for class fabric.visit.ThisLabelChecker
 
Thread() - Method in interface fabil.types.FabILTypeSystem
The ClassType of java.lang.Thread.
Thread() - Method in class fabil.types.FabILTypeSystem_c
 
ThreadRewriter - Class in fabil.visit
Rewrites threads, hooking them into the worker transaction manager.
ThreadRewriter(ExtensionInfo) - Constructor for class fabil.visit.ThreadRewriter
 
THROW - Static variable in class fabil.parse.sym
 
THROW - Static variable in class fabric.parse.sym
 
THROWS - Static variable in class fabil.parse.sym
 
THROWS - Static variable in class fabric.parse.sym
 
throwsException(Type, Position) - Method in class fabric.visit.FabricExceptionChecker
 
throwTypes(TypeSystem) - Method in class fabric.extension.FabricNewDel
 
tm - Variable in class fabil.visit.AtomicRewriter
 
TO - Static variable in class fabric.parse.sym
 
toFabricArray(Type) - Method in interface fabric.types.FabricTypeSystem
 
toFabricArray(Type) - Method in class fabric.types.FabricTypeSystem_c
 
toFabricRuntimeArray(ArrayType) - Method in interface fabil.types.FabILTypeSystem
 
toFabricRuntimeArray(ArrayType) - Method in class fabil.types.FabILTypeSystem_c
 
toFinal(Flags) - Static method in class fabil.visit.ProxyRewriter
 
toInterface(Flags) - Static method in class fabil.visit.ProxyRewriter
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.AbortToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.AtomicToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.CastToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.ConstructorDeclToFabilExt_c
 
toJava(Principal, JifToJavaRewriter) - Method in class fabric.translate.DynamicPrincipalToFabilExpr_c
 
toJava(Label, JifToJavaRewriter) - Method in class fabric.translate.FabricPairLabelToFabilExpr_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.MethodDeclToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.NewFabricArrayToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.NewLabelToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.RetryToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.BinaryToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.CastToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.NewFabricArrayToFabilExt_c
 
toNewFabricArray(Position, Amb, int, Expr) - Method in class fabric.parse.Grm
Converts an Amb a into an AST representing new a[][]...[]
TOP - Static variable in class fabric.parse.sym
 
Topics - Class in fabil
 
Topics() - Constructor for class fabil.Topics
 
Topics - Class in fabric
Extension information for ../../fabric extension.
Topics() - Constructor for class fabric.Topics
 
toPrivate(Flags) - Static method in class fabil.visit.ProxyRewriter
 
toPublic(Flags) - Static method in class fabil.visit.ProxyRewriter
 
toString() - Method in class fabil.ast.AbortStmt_c
 
toString() - Method in class fabil.ast.FabILCall_c
 
toString() - Method in class fabil.ast.RetryStmt_c
 
toString() - Method in class fabil.types.JavaArrayType_c
 
toString() - Method in class fabil.Version
 
toString() - Method in class fabric.ast.RemoteWorkerGetter_c
 
toString() - Method in class fabric.ast.Worker_c
 
toString() - Method in class fabric.Version
 
toType() - Method in class fabric.parse.Array
 
TRADITIONAL_COMMENT - Static variable in class fabil.parse.Lexer_c
 
TRADITIONAL_COMMENT - Static variable in class fabric.parse.Lexer_c
 
TransactionManager() - Method in interface fabil.types.FabILTypeSystem
return the ClassType corresponding to fabric.worker.transaction.TransactionManager
TransactionManager() - Method in class fabil.types.FabILTypeSystem_c
 
transactionManager() - Method in class fabil.visit.AtomicRewriter
 
transform(MethodDecl, MethodInstance) - Method in class fabil.visit.Memoizer
 
TRANSIENT - Static variable in class fabil.parse.sym
 
TRANSIENT - Static variable in class fabric.parse.sym
 
translateClass(Resolver, ClassType) - Method in class fabil.types.FabILTypeSystem_c
 
translateClass(Resolver, ClassType) - Method in class fabric.types.FabricTypeSystem_c
 
TRY - Static variable in class fabil.parse.sym
 
TRY - Static variable in class fabric.parse.sym
 
ts - Variable in class fabil.parse.Grm
 
ts - Variable in class fabil.visit.AtomicRewriter
 
ts - Variable in class fabil.visit.InlineableWrapper
 
ts - Variable in class fabil.visit.Memoizer
 
ts - Variable in class fabil.visit.PrincipalDelegator
 
ts - Variable in class fabil.visit.ProxyRewriter
 
ts - Variable in class fabil.visit.RemoteCallRewriter
 
ts - Variable in class fabil.visit.StaticInitializerCollector
 
ts - Variable in class fabric.parse.Grm
 
ts - Variable in class fabric.visit.ExplicitSuperclassAdder
 
ts - Variable in class fabric.visit.RemoteCallWrapperAdder
 
ts - Variable in class fabric.visit.RemoteCallWrapperUpdater
 
typeCheck(TypeChecker) - Method in class fabil.ast.FabILCall_c
 
typeCheck(TypeChecker) - Method in class fabil.ast.FabricArrayInit_c
 
typeCheck(TypeChecker) - Method in class fabil.ast.New_c
 
typeCheck(TypeChecker) - Method in class fabil.ast.NewFabricArray_c
 
typeCheck(TypeChecker) - Method in class fabil.ast.StoreGetter_c
Type check the expression.
typeCheck(TypeChecker) - Method in class fabric.ast.ClassDecl_c
 
typeCheck(TypeChecker) - Method in class fabric.ast.FabricCall_c
 
typeCheck(TypeChecker) - Method in class fabric.ast.RemoteWorkerGetter_c
 
typeCheck(TypeChecker) - Method in class fabric.ast.Worker_c
 
typeCheck(TypeChecker) - Method in class fabric.extension.FabricNewDel
 
typeCheck(TypeChecker) - Method in class fabric.extension.FabricNewLabelDel
 
TypeChecked(Job) - Method in class fabric.FabricScheduler
 
TypeCheckedAfterFlatten(Job) - Method in class fabil.frontend.FabILScheduler
 
typeCheckOverride(Node, TypeChecker) - Method in class fabil.ast.New_c
 
typeCheckOverride(Node, TypeChecker) - Method in class fabric.extension.FabricNewDel
 
typeEqualsImpl(Type) - Method in class fabil.types.FabricArrayType_c
 
typeEqualsImpl(Type) - Method in class fabil.types.JavaArrayType_c
 
TypeNodeExt_c - Class in fabil.extension
 
TypeNodeExt_c() - Constructor for class fabil.extension.TypeNodeExt_c
 
TypesInitialized(Job) - Method in class fabil.frontend.FabILScheduler
 
TypesInitialized(Job) - Method in class fabric.FabricScheduler
 
TypesInitialized(Job) - Method in class fabric.OutputExtensionInfo.OutputScheduler
 
typeSystem() - Method in class fabil.ExtensionInfo
 
typeSystem() - Method in class fabil.visit.AtomicRewriter
 
typeSystem() - Method in class fabil.visit.LabelAssigner
 
typeSystem() - Method in class fabil.visit.LocationAssigner
 
typeSystem() - Method in class fabil.visit.ProxyRewriter
 
typeSystem() - Method in class fabil.visit.RemoteCallRewriter
 
typeSystem() - Method in class fabil.visit.StaticInitializerCollector
 
typeSystem() - Method in class fabil.visit.ThreadRewriter
 
typeSystem() - Method in class fabric.ExtensionInfo
 
typeToJava(Type, Position) - Method in class fabric.visit.FabricToFabilRewriter
 

U

UnaryExt_c - Class in fabil.extension
 
UnaryExt_c() - Constructor for class fabil.extension.UnaryExt_c
 
updated - Variable in class fabil.visit.UpdatedVariableFinder
 
updatedLocals() - Method in interface fabil.ast.Atomic
 
updatedLocals(List<LocalInstance>) - Method in interface fabil.ast.Atomic
 
updatedLocals - Variable in class fabil.ast.Atomic_c
 
updatedLocals() - Method in class fabil.ast.Atomic_c
 
updatedLocals(List<LocalInstance>) - Method in class fabil.ast.Atomic_c
 
UpdatedVariableFinder - Class in fabil.visit
 
UpdatedVariableFinder() - Constructor for class fabil.visit.UpdatedVariableFinder
 
updateFabricExt(Node, FabricExt) - Static method in class fabric.ast.FabricUtil
 
updateLabelLocation(Expr, Expr) - Method in class fabric.visit.FabricToFabilRewriter
 
URSHIFT - Static variable in class fabil.parse.sym
 
URSHIFT - Static variable in class fabric.parse.sym
 
URSHIFTEQ - Static variable in class fabil.parse.sym
 
URSHIFTEQ - Static variable in class fabric.parse.sym
 
usage(PrintStream) - Method in class fabil.FabILOptions_c
 

V

valueName - Variable in class fabil.visit.Memoizer
 
version() - Method in class fabil.ExtensionInfo
 
Version - Class in fabil
Version information for FabIL extension.
Version() - Constructor for class fabil.Version
 
version() - Method in class fabric.ExtensionInfo
 
Version - Class in fabric
Version information for Fabric extension.
Version() - Constructor for class fabric.Version
 
visitChildren(NodeVisitor) - Method in class fabil.ast.FabILCall_c
 
visitChildren(NodeVisitor) - Method in class fabil.ast.FabricArrayInit_c
 
visitChildren(NodeVisitor) - Method in class fabil.ast.New_c
 
visitChildren(NodeVisitor) - Method in class fabil.ast.NewFabricArray_c
 
visitChildren(NodeVisitor) - Method in class fabric.ast.FabricArrayInit_c
 
visitChildren(NodeVisitor) - Method in class fabric.ast.FabricCall_c
 
visitChildren(NodeVisitor) - Method in class fabric.ast.RemoteWorkerGetter_c
 
visitChildren(NodeVisitor) - Method in class fabric.extension.FabricNewDel
 
visitChildren(NodeVisitor) - Method in class fabric.extension.FabricNewLabelDel
 
VOID - Static variable in class fabil.parse.sym
 
VOID - Static variable in class fabric.parse.sym
 
VOLATILE - Static variable in class fabil.parse.sym
 
VOLATILE - Static variable in class fabric.parse.sym
 

W

WHERE - Static variable in class fabric.parse.sym
 
WHILE - Static variable in class fabil.parse.sym
 
WHILE - Static variable in class fabric.parse.sym
 
Worker() - Method in interface fabil.types.FabILTypeSystem
 
Worker() - Method in class fabil.types.FabILTypeSystem_c
 
Worker(Position) - Method in interface fabric.ast.FabricNodeFactory
 
Worker(Position) - Method in class fabric.ast.FabricNodeFactory_c
 
Worker - Interface in fabric.ast
 
WORKER - Static variable in class fabric.parse.sym
 
Worker() - Method in interface fabric.types.FabricTypeSystem
 
Worker() - Method in class fabric.types.FabricTypeSystem_c
 
Worker_c - Class in fabric.ast
 
Worker_c(Position, NodeFactory) - Constructor for class fabric.ast.Worker_c
 
WorkerJifExt_c - Class in fabric.extension
 
WorkerJifExt_c(ToJavaExt) - Constructor for class fabric.extension.WorkerJifExt_c
 
workerLocalInstance() - Method in interface fabric.types.FabricTypeSystem
 
workerLocalInstance() - Method in class fabric.types.FabricTypeSystem_c
 
workerPrincipal(Position) - Method in interface fabric.types.FabricTypeSystem
Constructs a principal for the local worker.
workerPrincipal(Position) - Method in class fabric.types.FabricTypeSystem_c
 
WorkerToFabilExt_c - Class in fabric.translate
 
WorkerToFabilExt_c() - Constructor for class fabric.translate.WorkerToFabilExt_c
 
wrapExpr(FabricTypeSystem, FabILNodeFactory, Type, Expr) - Method in class fabric.translate.BinaryToFabilExt_c
 
WrapInlineables(Job) - Method in class fabil.frontend.FabILScheduler
 
WrappedJavaInlineable() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.lang.WrappedJavaInlineable.
WrappedJavaInlineable() - Method in class fabil.types.FabILTypeSystem_c
 
write(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive add of a local instance to written.
written - Variable in class fabil.visit.ReadWriteChecker.DataFlowItem
 
written() - Method in class fabil.visit.ReadWriteChecker.State
 

X

XOR - Static variable in class fabil.parse.sym
 
XOR - Static variable in class fabric.parse.sym
 
XOREQ - Static variable in class fabil.parse.sym
 
XOREQ - Static variable in class fabric.parse.sym
 

Y

yybegin(int) - Method in class fabil.parse.Lexer_c
Enters a new lexical state
yybegin(int) - Method in class fabric.parse.Lexer_c
Enters a new lexical state
yycharat(int) - Method in class fabil.parse.Lexer_c
Returns the character at position pos from the matched text.
yycharat(int) - Method in class fabric.parse.Lexer_c
Returns the character at position pos from the matched text.
yyclose() - Method in class fabil.parse.Lexer_c
Closes the input stream.
yyclose() - Method in class fabric.parse.Lexer_c
Closes the input stream.
YYEOF - Static variable in class fabil.parse.Lexer_c
This character denotes the end of file
YYEOF - Static variable in class fabric.parse.Lexer_c
This character denotes the end of file
YYINITIAL - Static variable in class fabil.parse.Lexer_c
 
YYINITIAL - Static variable in class fabric.parse.Lexer_c
 
yylength() - Method in class fabil.parse.Lexer_c
Returns the length of the matched text region.
yylength() - Method in class fabric.parse.Lexer_c
Returns the length of the matched text region.
yyreset(Reader) - Method in class fabil.parse.Lexer_c
Closes the current stream, and resets the scanner to read from a new input stream.
yyreset(Reader) - Method in class fabric.parse.Lexer_c
Closes the current stream, and resets the scanner to read from a new input stream.
yystate() - Method in class fabil.parse.Lexer_c
Returns the current lexical state.
yystate() - Method in class fabric.parse.Lexer_c
Returns the current lexical state.
yytext() - Method in class fabil.parse.Lexer_c
Returns the text matched by the current regular expression.
yytext() - Method in class fabric.parse.Lexer_c
Returns the text matched by the current regular expression.

_

_action_table - Static variable in class fabil.parse.Grm
Parse-action table.
_action_table - Static variable in class fabric.parse.Grm
Parse-action table.
_production_table - Static variable in class fabil.parse.Grm
Production table.
_production_table - Static variable in class fabric.parse.Grm
Production table.
_reduce_table - Static variable in class fabil.parse.Grm
reduce_goto table.
_reduce_table - Static variable in class fabric.parse.Grm
reduce_goto table.

A B C D E F G H I J K L M N O P Q R S T U V W X Y _