Skip navigation links
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
Deprecated.
AbortStmt_c(Position) - Constructor for class fabil.ast.AbortStmt_c
Deprecated.
AbortStmt_c(Position, Ext) - Constructor for class fabil.ast.AbortStmt_c
Deprecated.
 
AbortStmt_c - Class in fabric.ast
Deprecated.
AbortStmt_c(Position) - Constructor for class fabric.ast.AbortStmt_c
Deprecated.
AbortStmt_c(Position, Ext) - Constructor for class fabric.ast.AbortStmt_c
Deprecated.
 
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(<any>, List<T>) - Method in class fabil.ast.AbortStmt_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabil.ast.Atomic_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabil.ast.New_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabil.ast.RetryStmt_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabil.ast.StoreGetter_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.AbortStmt_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.Atomic_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.FabricNew_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.RetryStmt_c
Deprecated.
 
acceptCFG(<any>, List<T>) - Method in class fabric.ast.Store_c
Deprecated.
 
accessLabel - Variable in class fabric.types.FabricFieldInstance_c
 
accessors(ProxyRewriter) - Method in class fabil.extension.FieldDeclExt_c
Produces the getter, setter, and incrementer methods for the field.
accessPathField(AccessPath, FieldInstance, String, Position) - Method in class fabric.types.FabricTypeSystem_c
 
AccessPathLocalWorker - Class in fabric.types
 
AccessPathLocalWorker(WorkerLocalInstance, Position) - Constructor for class fabric.types.AccessPathLocalWorker
 
AccessPathNew - Class in fabric.types
 
AccessPathNew(ClassType, AccessPath, Position) - Constructor for class fabric.types.AccessPathNew
 
AccessPathStore - Class in fabric.types
 
AccessPathStore(AccessPath, Type, Position) - Constructor for class fabric.types.AccessPathStore
 
accessPathToExpr(JifToJavaRewriter, AccessPath, Expr) - Method in class fabric.translate.DynamicPrincipalToFabilExpr_c
 
accessPolicy() - Method in interface fabil.ast.FabricArrayInit
 
accessPolicy(Expr) - Method in interface fabil.ast.FabricArrayInit
 
accessPolicy - Variable in class fabil.ast.FabricArrayInit_c
Deprecated.
 
accessPolicy() - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
accessPolicy(Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
accessPolicy(N, Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
accessPolicy() - Method in interface fabil.ast.NewFabricArray
 
accessPolicy(Expr) - Method in interface fabil.ast.NewFabricArray
 
accessPolicy - Variable in class fabil.ast.NewFabricArray_c
Deprecated.
 
accessPolicy() - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
accessPolicy(Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
accessPolicy(N, Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
AccessPolicy - Interface in fabric.ast
 
accessPolicy() - Method in interface fabric.ast.FabricFieldDecl
 
accessPolicy(LabelNode) - Method in interface fabric.ast.FabricFieldDecl
 
accessPolicy - Variable in class fabric.ast.FabricFieldDecl_c
Deprecated.
 
accessPolicy() - Method in class fabric.ast.FabricFieldDecl_c
Deprecated.
 
accessPolicy(LabelNode) - Method in class fabric.ast.FabricFieldDecl_c
Deprecated.
 
accessPolicy(N, LabelNode) - Method in class fabric.ast.FabricFieldDecl_c
Deprecated.
 
AccessPolicy(Position, LabelNode) - Method in interface fabric.ast.FabricNodeFactory
 
AccessPolicy(Position, LabelNode) - Method in class fabric.ast.FabricNodeFactory_c
 
accessPolicy - Variable in class fabric.types.FabricArrayType_c
 
accessPolicy() - Method in class fabric.types.FabricArrayType_c
 
accessPolicy() - Method in interface fabric.types.FabricFieldInstance
 
accessPolicy() - Method in class fabric.types.FabricFieldInstance_c
 
accessPolicy() - Method in class fabric.types.FabricParsedClassType_c
This method returns the upper bound of the labels of all the fields of this class and its superclasses.
accessPolicy() - Method in interface fabric.types.FabricReferenceType
Return the access label that objects of this type are enforced at.
accessPolicy - Variable in class fabric.types.FabricSubstClassType_c
 
accessPolicy() - Method in class fabric.types.FabricSubstClassType_c
 
AccessPolicy_c - Class in fabric.ast
Deprecated.
AccessPolicy_c(Position, LabelNode) - Constructor for class fabric.ast.AccessPolicy_c
Deprecated.
AccessPolicy_c(Position, LabelNode, Ext) - Constructor for class fabric.ast.AccessPolicy_c
Deprecated.
 
accessPolicyInstance() - Method in interface fabric.ast.AccessPolicy
 
accessPolicyInstance - Variable in class fabric.ast.AccessPolicy_c
Deprecated.
 
accessPolicyInstance() - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
accessPolicyInstance(AccessPolicyInstance) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
AccessPolicyInstance - Interface in fabric.types
 
accessPolicyInstance(Position, ParsedClassType, ConfPolicy) - Method in interface fabric.types.FabricTypeSystem
 
accessPolicyInstance(Position, ParsedClassType, ConfPolicy) - Method in class fabric.types.FabricTypeSystem_c
 
AccessPolicyInstance_c - Class in fabric.types
 
AccessPolicyInstance_c(Position, ReferenceType, ConfPolicy) - Constructor for class fabric.types.AccessPolicyInstance_c
 
AccessPolicyJifExt_c - Class in fabric.ast
 
AccessPolicyJifExt_c(ToJavaExt) - Constructor for class fabric.ast.AccessPolicyJifExt_c
 
accessPolicyValid(ConfPolicy) - Method in interface fabric.types.FabricTypeSystem
 
accessPolicyValid(ConfPolicy) - Method in class fabric.types.FabricTypeSystem_c
 
accessPolicyValid(Label) - Method in class fabric.types.FabricTypeSystem_c
 
accessPolicyValid(Principal) - Method in class fabric.types.FabricTypeSystem_c
 
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
 
actsforToJava(JifToJavaRewriter, boolean) - Method in class fabric.translate.BinaryToFabilExt_c
 
add(String, Importable) - Method in interface codebases.types.NamespaceResolver
Add an importable type object to the cache.
add(String, Importable) - Method in class codebases.types.NamespaceResolver_c
 
addCodebaseName(String, Position) - Method in class codebases.types.CBImportTable
 
addDependency(CodebaseClassType) - Method in class codebases.frontend.CBJobExt
 
addedMembers - Variable in class fabil.visit.Memoizer
 
addExternalDependency(CodebaseClassType, String) - Method in class codebases.frontend.CBJobExt
 
addInitializer(ClassBody, JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
addInitializer(FieldInstance, Expr) - Method in class fabric.visit.FabricToFabilRewriter
 
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
 
addLabelInitializer(ClassBody, JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
Create a method for initializing update and access labels
addObjectFragment(String) - Method in class fabric.visit.FabricToFabilRewriter
 
addPartitionInitializer(ClassBody, JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
addTypeOnDemandImport(String) - Method in class codebases.types.CBImportTable
Add a package import.
alias() - Method in interface codebases.ast.CodebaseNode
The name used to refer to the external namespace.
alias - Variable in class codebases.ast.CodebaseNode_c
Deprecated.
 
alias() - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
aliasCache - Variable in class codebases.types.NamespaceResolver_c
alias cache
aliases - Variable in class codebases.types.CBImportTable
 
aliasFor(CodebaseClassType) - Method in class codebases.frontend.CBJobExt
 
aliasFor(String) - Method in class codebases.types.CBImportTable
Returns the alias used to load type name, or null if name was not loaded via a codebase alias.
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
 
AllFClassesGenerated() - Method in class fabric.FabricScheduler
 
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<Expr>, int) - Method in interface fabric.ast.FabricNodeFactory
 
AmbNewFabricArray(Position, TypeNode, Expr, Object, List<Expr>, int) - Method in class fabric.ast.FabricNodeFactory_c
 
AmbNewFabricArray_c - Class in fabric.ast
Deprecated.
AmbNewFabricArray_c(Position, TypeNode, Expr, Object, List<Expr>, int) - Constructor for class fabric.ast.AmbNewFabricArray_c
Deprecated.
AmbNewFabricArray_c(Position, TypeNode, Expr, Object, List<Expr>, int, Ext) - Constructor for class fabric.ast.AmbNewFabricArray_c
Deprecated.
 
AmbPrincipalNode(Position, Expr) - Method in class fabric.ast.FabricNodeFactory_c
 
AmbPrincipalNode(Position, Id) - Method in class fabric.ast.FabricNodeFactory_c
 
AmbStore - Interface in fabric.ast
 
AmbStore - Class in fabric.parse
 
AmbStore(Amb, Grm, Position) - Constructor for class fabric.parse.AmbStore
 
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
 
applicationResolver - Variable in class fabil.types.FabILTypeSystem_c
 
applicationResolver - Variable in class fabric.types.FabricTypeSystem_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
Deprecated.
ArrayAccessAssign_c(Position, ArrayAccess, Operator, Expr) - Constructor for class fabil.ast.ArrayAccessAssign_c
Deprecated.
ArrayAccessAssign_c(Position, ArrayAccess, Operator, Expr, Ext) - Constructor for class fabil.ast.ArrayAccessAssign_c
Deprecated.
 
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
Deprecated.
 
arrayOf(TypeSystem, Type, int) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
arrayOf(TypeSystem, Type) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
arrayType(Position, Type) - Method in class fabric.types.FabricTypeSystem_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.CoercePrincipals
 
ASSERT - Static variable in class fabil.parse.sym
 
ASSERT - Static variable in class fabric.parse.sym
 
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
 
assignLabels(LabelAssigner) - Method in class fabil.extension.FabricArrayInitExt_c
 
assignLabels(LabelAssigner) - Method in class fabil.extension.NewFabricArrayExt_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_c - Class in fabil.ast
Deprecated.
Atomic_c(Position, List<Stmt>) - Constructor for class fabil.ast.Atomic_c
Deprecated.
Atomic_c(Position, List<Stmt>, Ext) - Constructor for class fabil.ast.Atomic_c
Deprecated.
 
Atomic_c - Class in fabric.ast
Deprecated.
Atomic_c(Position, List<Stmt>) - Constructor for class fabric.ast.Atomic_c
Deprecated.
Atomic_c(Position, List<Stmt>, Ext) - Constructor for class fabric.ast.Atomic_c
Deprecated.
 
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
 
begin() - Method in class fabil.visit.PrincipalDelegator
 
begin() - Method in class fabric.visit.FClassGenerator
 
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
 
bootclasspath() - Method in interface codebases.frontend.ExtensionInfo
The locations of java boot classes
bootclasspath() - Method in class fabil.ExtensionInfo
 
bootclasspath() - Method in class fabil.FabILOptions
 
bootclasspath() - Method in class fabric.ExtensionInfo
 
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
 
buildArgs(FClass) - Static method in class fabric.Main
 
buildTypes(TypeBuilder) - Method in class codebases.ast.CodebaseDecl_c
Deprecated.
 
buildTypes(TypeBuilder) - Method in class fabil.extension.FabricArrayTypeNodeDel_c
 
buildTypes(TypeBuilder) - Method in class fabric.ast.FabricArrayTypeNode_c
Deprecated.
 
buildTypesEnter(TypeBuilder) - Method in class codebases.ast.CBSourceFile_c
Deprecated.
Build type objects for the source file.
BYTE - Static variable in class fabil.parse.sym
 
BYTE - Static variable in class fabric.parse.sym
 
bytecode - Variable in class fabric.ExtensionInfo
 

C

cache - Variable in class codebases.types.NamespaceResolver_c
type cached
cachedFind(String) - Method in class codebases.types.CBImportTable
 
Call(Position, Receiver, Id, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
Call(Position, Receiver, Id, List<Expr>) - 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<Expr>) - Method in interface fabric.ast.FabricNodeFactory
 
Call(Position, Receiver, Id, List<Expr>) - Method in class fabric.ast.FabricNodeFactory_c
 
Call(Position, Receiver, Id, Expr, List<Expr>) - 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
 
CannotAccessPolicyToFabilExt_c - Class in fabric.ast
 
CannotAccessPolicyToFabilExt_c() - Constructor for class fabric.ast.CannotAccessPolicyToFabilExt_c
 
canonical_ns - Variable in class fabil.types.FabILParsedClassType_c
The namespace used to resolve the dependencies of this class
canonical_ns - Variable in class fabric.types.FabricParsedClassType_c
 
canonicalNamespace() - Method in interface codebases.frontend.CodebaseSource
The canonical namespace of source is the namespace its dependencies are resolved in.
canonicalNamespace() - Method in class codebases.frontend.LocalSource
 
canonicalNamespace() - Method in class codebases.frontend.RemoteSource
 
canonicalNamespace() - Method in interface codebases.types.CodebaseClassType
 
canonicalNamespace() - Method in class fabil.types.FabILParsedClassType_c
 
canonicalNamespace() - Method in class fabric.types.FabricParsedClassType_c
 
canonicalNamespace() - Method in class fabric.types.FabricSubstClassType_c
 
CASE - Static variable in class fabil.parse.sym
 
CASE - Static variable in class fabric.parse.sym
 
CaseExt_c - Class in fabil.extension
 
CaseExt_c() - Constructor for class fabil.extension.CaseExt_c
 
Cast(Position, TypeNode, Expr) - Method in class fabil.ast.FabILNodeFactory_c
 
Cast_c - Class in fabil.ast
Deprecated.
Cast_c(Position, TypeNode, Expr) - Constructor for class fabil.ast.Cast_c
Deprecated.
Cast_c(Position, TypeNode, Expr, Ext) - Constructor for class fabil.ast.Cast_c
Deprecated.
 
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
 
CBClassContextResolver - Class in codebases.types
 
CBClassContextResolver(TypeSystem, ClassType) - Constructor for class codebases.types.CBClassContextResolver
 
CBImportTable - Class in codebases.types
 
CBImportTable(CodebaseTypeSystem, URI, Package, Source) - Constructor for class codebases.types.CBImportTable
 
CBJobExt - Class in codebases.frontend
 
CBJobExt() - Constructor for class codebases.frontend.CBJobExt
 
CBLazyClassInitializer - Class in codebases.types
This class is basically identical to it's superclass with calls to ts.systemResolver() replaced by calls to ts.platformResolver()
CBLazyClassInitializer(ClassFile, CodebaseTypeSystem) - Constructor for class codebases.types.CBLazyClassInitializer
 
CBPackage - Interface in codebases.types
 
CBPackage_c - Class in codebases.types
 
CBPackage_c() - Constructor for class codebases.types.CBPackage_c
Used for deserializing types.
CBPackage_c(TypeSystem, URI) - Constructor for class codebases.types.CBPackage_c
 
CBPackage_c(TypeSystem, URI, String) - Constructor for class codebases.types.CBPackage_c
 
CBPackage_c(TypeSystem, URI, Package, String) - Constructor for class codebases.types.CBPackage_c
 
CBPackageContextResolver - Class in codebases.types
 
CBPackageContextResolver(CodebaseTypeSystem, Package) - Constructor for class codebases.types.CBPackageContextResolver
 
CBPlaceHolder - Interface in codebases.types
 
CBPlaceHolder_c - Class in codebases.types
This class is basically copied from the superclass with following additions: - A field for the namespace of the class this object is a place holder for.
CBPlaceHolder_c() - Constructor for class codebases.types.CBPlaceHolder_c
Used for deserializing types.
CBPlaceHolder_c(CodebaseClassType) - Constructor for class codebases.types.CBPlaceHolder_c
Creates a place holder type for the type.
CBPlaceHolder_c(URI, String) - Constructor for class codebases.types.CBPlaceHolder_c
 
CBScheduler - Interface in codebases.frontend
Ideally this interface would extend an interface that all schedulers implement, but polyglot.frontend.Scheduler is a class, not a scheduler.
CBSourceFile - Interface in codebases.ast
 
CBSourceFile_c - Class in codebases.ast
Deprecated.
CBSourceFile_c(Position, PackageNode, List<Import>, List<CodebaseDecl>, List<TopLevelDecl>) - Constructor for class codebases.ast.CBSourceFile_c
Deprecated.
CBSourceFile_c(Position, PackageNode, List<Import>, List<CodebaseDecl>, List<TopLevelDecl>, Ext) - Constructor for class codebases.ast.CBSourceFile_c
Deprecated.
 
CBTargetFactory - Class in codebases.frontend
 
CBTargetFactory(ExtensionInfo, FileManager, JavaFileManager.Location, String, boolean) - Constructor for class codebases.frontend.CBTargetFactory
 
CBTypeBuilder - Class in codebases.visit
 
CBTypeBuilder(Job, CodebaseTypeSystem, NodeFactory) - Constructor for class codebases.visit.CBTypeBuilder
 
CBTypeEncoder - Class in codebases.types
 
CBTypeEncoder(TypeSystem) - Constructor for class codebases.types.CBTypeEncoder
 
CBTypeExists - Class in codebases.frontend
 
CBTypeExists(URI, String) - Constructor for class codebases.frontend.CBTypeExists
 
CBTypeExistsPass - Class in codebases.frontend
 
CBTypeExistsPass(Scheduler, TypeSystem, TypeExists) - Constructor for class codebases.frontend.CBTypeExistsPass
 
CBTypeInputStream - Class in codebases.types
 
CBTypeInputStream(InputStream, TypeSystem, Map<Object, Object>) - Constructor for class codebases.types.CBTypeInputStream
 
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(String) - Method in interface codebases.types.NamespaceResolver
Check if a type object is in the cache, returning null if not.
check(String) - Method in class codebases.types.NamespaceResolver_c
Check if a type object is in the cache, returning null if not.
check(<any>, Term, boolean, ReadWriteChecker.DataFlowItem, Map<EdgeKey, ReadWriteChecker.DataFlowItem>) - Method in class fabil.visit.ReadWriteChecker
 
CheckAbortRetry(Job) - Method in class fabil.frontend.FabILScheduler
 
checkAccess(Expr, FabricReferenceType, LabelChecker, Position) - Static method in class fabric.extension.DereferenceHelper
Adds constraints to lc to reflect that ref influences a fetch of something of targetType.
checkCompilerVersion(String) - Method in class codebases.types.NamespaceResolver_c
Compare the encoded type's version against the loader's version.
checkDereference(Receiver, LabelChecker, Position) - Static method in class fabric.extension.DereferenceHelper
Adds constraints to lc reflecting the fetch side effects of a dereference
childExpectedType(Expr, AscriptionVisitor) - Method in class fabil.ast.ArrayAccessAssign_c
Deprecated.
 
childExpectedType(Expr, AscriptionVisitor) - Method in class fabil.ast.Cast_c
Deprecated.
 
childExpectedType(Expr, AscriptionVisitor) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
CLASS - Static variable in class fabil.parse.sym
 
CLASS - Static variable in class fabric.parse.sym
 
ClassBody(Position, List<ClassMember>) - Method in class fabric.ast.FabricNodeFactory_c
 
ClassBodyExt_c - Class in fabil.extension
 
ClassBodyExt_c() - Constructor for class fabil.extension.ClassBodyExt_c
 
ClassBodyExt_c - Class in fabric.extension
 
ClassBodyExt_c() - Constructor for class fabric.extension.ClassBodyExt_c
 
ClassBodyJifExt_c - Class in fabric.extension
 
ClassBodyJifExt_c(ToJavaExt) - Constructor for class fabric.extension.ClassBodyJifExt_c
 
ClassBodyToFabilExt_c - Class in fabric.translate
 
ClassBodyToFabilExt_c() - Constructor for class fabric.translate.ClassBodyToFabilExt_c
 
ClassDecl(Position, Flags, Id, TypeNode, List<TypeNode>, ClassBody, Javadoc) - Method in class fabil.ast.FabILNodeFactory_c
 
ClassDecl(Position, Flags, Id, TypeNode, List<TypeNode>, ClassBody, Javadoc) - Method in class fabric.ast.FabricNodeFactory_c
 
ClassDecl_c - Class in fabil.ast
Deprecated.
ClassDecl_c(Position, Flags, Id, TypeNode, List<TypeNode>, ClassBody, Javadoc) - Constructor for class fabil.ast.ClassDecl_c
Deprecated.
ClassDecl_c(Position, Flags, Id, TypeNode, List<TypeNode>, ClassBody, Javadoc, Ext) - Constructor for class fabil.ast.ClassDecl_c
Deprecated.
 
ClassDecl_c - Class in fabric.ast
Deprecated.
ClassDecl_c(Position, Flags, Id, List<ParamDecl>, TypeNode, List<TypeNode>, List<PrincipalNode>, List<<any>>, ClassBody, Javadoc) - Constructor for class fabric.ast.ClassDecl_c
Deprecated.
ClassDecl_c(Position, Flags, Id, List<ParamDecl>, TypeNode, List<TypeNode>, List<PrincipalNode>, List<<any>>, ClassBody, Javadoc, Ext) - Constructor for class fabric.ast.ClassDecl_c
Deprecated.
 
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
 
ClassesHashed(Job) - Method in class fabil.frontend.FabILScheduler
 
classFile - Variable in class codebases.types.CBLazyClassInitializer
 
classFile() - Method in class codebases.types.CBLazyClassInitializer
 
ClassFile - Interface in codebases.types
Interface for defining .class files in Fabric.
ClassFile_c - Class in codebases.types
Just like Polyglot's ClassFile, except this carries a secure hash of the class's bytecode.
ClassFile_c(FileObject, byte[], ExtensionInfo) - Constructor for class codebases.types.ClassFile_c
 
classFileLazyClassInitializer(ClassFile) - Method in class fabil.types.FabILTypeSystem_c
 
classFileLazyClassInitializer(ClassFile) - Method in class fabric.types.FabricTypeSystem_c
 
classFileLoader() - Method in class fabric.ExtensionInfo
 
classHash - Variable in class fabil.types.FabILParsedClassType_c
Memoizes a secure hash of the class.
ClassHashGenerator - Class in fabil.visit
Hashes the sources and stores them as static "$classHash" fields in the generated interfaces.
ClassHashGenerator(Job, ExtensionInfo) - Constructor for class fabil.visit.ClassHashGenerator
 
ClassMemberExt - Interface in fabil.extension
 
ClassMemberExt_c - Class in fabil.extension
 
ClassMemberExt_c() - Constructor for class fabil.extension.ClassMemberExt_c
 
classOutputLocation() - Method in class fabil.FabILOptions
 
classpath() - Method in interface codebases.frontend.ExtensionInfo
The classpath used to resolve dependencies during compilation.
classpath() - Method in class fabil.ExtensionInfo
 
classpath() - Method in class fabil.FabILOptions
 
classpath() - Method in class fabric.ExtensionInfo
 
classpath_uris - Variable in class fabil.FabILOptions
 
classpath_uris - Variable in class fabric.FabricOptions
 
classpathURIs() - Method in class fabil.FabILOptions
 
classpathURIs() - Method in class fabric.FabricOptions
 
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, long, ErrorQueue, Version, boolean) - Constructor for class fabil.visit.ClassSerializer
 
classSource(URI, String) - Method in class fabric.filemanager.FabricFileManager
 
clearStaticThisExpr() - Method in class fabric.visit.FabricToFabilRewriter
Clear "this" principal expression.
clone() - Method in class fabric.visit.FabricLabelChecker
 
close() - Method in interface codebases.frontend.CodebaseSource
Close the source file.
close() - Method in class codebases.frontend.LocalSource
 
close() - Method in class codebases.frontend.RemoteSource
 
codebase - Variable in class codebases.types.CodebaseResolver
 
codebase() - Method in class codebases.types.CodebaseResolver
 
codebase() - Method in interface codebases.types.NamespaceResolver
Returns codebase if this namespace is backed by a codebase, otherwise null.
codebase() - Method in class codebases.types.NamespaceResolver_c
 
codebase() - Method in class codebases.types.SafeResolver
 
codebase() - Method in interface fabric.filemanager.CodebaseLocation
Returns the Codebase of this location
codebase() - Method in class fabric.filemanager.CodebaseLocation_c
 
codebase(URI) - Method in class fabric.filemanager.FabricFileManager
 
CODEBASE - Static variable in class fabric.parse.sym
 
codebase - Variable in class fabric.visit.FClassGenerator
 
codebase_aliases - Variable in class fabil.FabILOptions
Codebase names.
codebase_aliases - Variable in class fabric.FabricOptions
Codebase names.
codebaseAliases() - Method in interface codebases.frontend.ExtensionInfo
A map between codebase aliases used in source and the URI of the intended codebase.
codebaseAliases() - Method in interface codebases.types.NamespaceResolver
 
codebaseAliases() - Method in class codebases.types.NamespaceResolver_c
 
codebaseAliases() - Method in class fabil.ExtensionInfo
 
codebaseAliases() - Method in class fabil.FabILOptions
 
codebaseAliases() - Method in class fabric.ExtensionInfo
 
codebaseAliases() - Method in class fabric.FabricOptions
 
codebaseCache - Variable in class fabric.filemanager.FabricFileManager
 
CodebaseClassType - Interface in codebases.types
 
CodebaseContext - Interface in codebases.types
 
CodebaseContextResolver - Class in codebases.types
 
CodebaseContextResolver(TypeSystem, Package) - Constructor for class codebases.types.CodebaseContextResolver
 
CodebaseDecl - Interface in codebases.ast
 
CodebaseDecl(Position, Id) - Method in interface codebases.ast.CodebaseNodeFactory
 
CodebaseDecl(Position, polyglot.ast.Id) - Method in class fabil.ast.FabILNodeFactory_c
 
CodebaseDecl(Position, Id) - Method in class fabric.ast.FabricNodeFactory_c
 
CodebaseDecl_c - Class in codebases.ast
Deprecated.
CodebaseDecl_c(Position, Id) - Constructor for class codebases.ast.CodebaseDecl_c
Deprecated.
CodebaseDecl_c(Position, Id, Ext) - Constructor for class codebases.ast.CodebaseDecl_c
Deprecated.
 
codebaseDecls() - Method in interface codebases.ast.CBSourceFile
 
codebaseDecls(List<CodebaseDecl>) - Method in interface codebases.ast.CBSourceFile
 
codebaseDecls() - Method in class codebases.ast.CBSourceFile_c
Deprecated.
 
codebaseDecls(List<CodebaseDecl>) - Method in class codebases.ast.CBSourceFile_c
Deprecated.
 
codebaseDecls(N, List<CodebaseDecl>) - Method in class codebases.ast.CBSourceFile_c
Deprecated.
 
CodebaseDeclToFabilExt_c - Class in fabric.translate
 
CodebaseDeclToFabilExt_c() - Constructor for class fabric.translate.CodebaseDeclToFabilExt_c
 
CodebaseDisamb - Interface in codebases.ast
 
codebaseFilename - Variable in class fabric.FabricOptions
Name of file to write URL of new codebase to.
codebaseFilename() - Method in class fabric.FabricOptions
 
codebaseFromNS(URI) - Method in interface codebases.types.CodebaseTypeSystem
 
codebaseFromNS(URI) - Method in class fabil.types.FabILTypeSystem_c
 
codebaseFromNS(URI) - Method in class fabric.types.FabricTypeSystem_c
 
CodebaseImportDel_c - Class in codebases.ast
 
CodebaseImportDel_c() - Constructor for class codebases.ast.CodebaseImportDel_c
 
CodebaseImportsInitialized - Class in codebases.frontend
 
CodebaseImportsInitialized(Job, TypeSystem, NodeFactory) - Constructor for class codebases.frontend.CodebaseImportsInitialized
 
CodebaseLocation - Interface in fabric.filemanager
 
CodebaseLocation_c - Class in fabric.filemanager
Concrete implementation of FabricLocation
CodebaseLocation_c(URI) - Constructor for class fabric.filemanager.CodebaseLocation_c
 
CodebaseNode - Interface in codebases.ast
 
CodebaseNode(Position, URI, String, URI) - Method in interface codebases.ast.CodebaseNodeFactory
 
CodebaseNode(Position, URI, String, URI, Package) - Method in interface codebases.ast.CodebaseNodeFactory
 
CodebaseNode(Position, URI, String, URI) - Method in class fabil.ast.FabILNodeFactory_c
 
CodebaseNode(Position, URI, String, URI, Package) - Method in class fabil.ast.FabILNodeFactory_c
 
CodebaseNode(Position, URI, String, URI) - Method in class fabric.ast.FabricNodeFactory_c
 
CodebaseNode(Position, URI, String, URI, Package) - Method in class fabric.ast.FabricNodeFactory_c
 
CodebaseNode_c - Class in codebases.ast
Deprecated.
CodebaseNode_c(Position, URI, String, URI) - Constructor for class codebases.ast.CodebaseNode_c
Deprecated.
CodebaseNode_c(Position, URI, String, URI, Ext) - Constructor for class codebases.ast.CodebaseNode_c
Deprecated.
 
CodebaseNode_c(Position, URI, String, URI, Package) - Constructor for class codebases.ast.CodebaseNode_c
Deprecated.
CodebaseNode_c(Position, URI, String, URI, Package, Ext) - Constructor for class codebases.ast.CodebaseNode_c
Deprecated.
 
CodebaseNodeFactory - Interface in codebases.ast
 
CodebaseNodeToFabilExt_c - Class in fabric.translate
 
CodebaseNodeToFabilExt_c() - Constructor for class fabric.translate.CodebaseNodeToFabilExt_c
 
CodebaseQualifier - Interface in codebases.ast
 
CodebaseResolver - Class in codebases.types
 
CodebaseResolver(ExtensionInfo, URI) - Constructor for class codebases.types.CodebaseResolver
 
codebases - Variable in class codebases.ast.CBSourceFile_c
Deprecated.
 
codebases.ast - package codebases.ast
 
codebases.frontend - package codebases.frontend
 
codebases.types - package codebases.types
 
codebases.visit - package codebases.visit
 
CodebaseSource - Interface in codebases.frontend
 
CodebaseTranslator - Class in codebases.visit
 
CodebaseTranslator(Job, TypeSystem, NodeFactory, TargetFactory) - Constructor for class codebases.visit.CodebaseTranslator
 
CodebaseTypeSystem - Interface in codebases.types
 
CodeGenerated(Job) - Method in class fabil.frontend.FabILScheduler
 
CoercePrincipals - Class in fabric.visit
 
CoercePrincipals(Job, TypeSystem, NodeFactory) - Constructor for class fabric.visit.CoercePrincipals
 
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
 
COMPATIBLE - Static variable in class codebases.types.NamespaceResolver_c
 
compile(FClass, Map<String, byte[]>) - Static method in class fabric.Main
 
compileFromShell(List<String>, InputStream, PrintStream) - Static method in class fabric.Main
 
compileInWorker(Options, Set<String>, ExtensionInfo, ErrorQueue) - Method in class fabric.Main
 
compiler - Variable in class fabric.Main
 
compilerName() - Method in class fabil.ExtensionInfo
 
compilerName() - Method in class fabric.ExtensionInfo
 
configureFileManager() - Method in class fabil.ExtensionInfo
 
configureFileManager() - Method in class fabric.ExtensionInfo
 
configureFileManagerForPostCompiler() - Method in class fabil.ExtensionInfo
 
configureFileManagerForPostCompiler() - Method in class fabric.ExtensionInfo
 
confluence(List<ReadWriteChecker.DataFlowItem>, <any>, <any>) - Method in class fabil.visit.ReadWriteChecker
 
ConfPolicy() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.lang.security.ConfPolicy.
ConfPolicy() - Method in class fabil.types.FabILTypeSystem_c
 
ConjunctivePrincipalToFabilExpr_c - Class in fabric.translate
 
ConjunctivePrincipalToFabilExpr_c() - Constructor for class fabric.translate.ConjunctivePrincipalToFabilExpr_c
 
conjunctivePrincipalTranslator() - Method in class fabric.types.FabricTypeSystem_c
 
ConsistentNamespace() - Method in class fabric.FabricScheduler
 
CONST - Static variable in class fabil.parse.sym
 
CONST - Static variable in class fabric.parse.sym
 
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
 
ConstructorDeclJifExt - Class in fabric.extension
 
ConstructorDeclJifExt(ToJavaExt) - Constructor for class fabric.extension.ConstructorDeclJifExt
 
ConstructorDeclToFabilExt_c - Class in fabric.translate
 
ConstructorDeclToFabilExt_c() - Constructor for class fabric.translate.ConstructorDeclToFabilExt_c
 
constructPostCompilerClasspath() - Method in class fabil.FabILOptions
 
constructPostCompilerClasspath() - Method in class fabric.FabricOptions
 
container - Variable in class fabric.types.AccessPolicyInstance_c
 
container() - Method in class fabric.types.AccessPolicyInstance_c
 
containsArgLabel(Assertion) - Method in interface fabric.types.FabricTypeSystem
Returns true if assertion contains a argument label.
containsArgLabel(Label) - Method in interface fabric.types.FabricTypeSystem
Returns true if label contains a argument label.
containsArgLabel(Label) - Method in class fabric.types.FabricTypeSystem_c
 
containsArgLabel(Assertion) - Method in class fabric.types.FabricTypeSystem_c
 
containsProjection(Policy) - Method in class fabric.translate.FabricPairLabelToFabilExpr_c
 
containsThisLabel(Label) - Method in interface fabric.types.FabricTypeSystem
Returns true if label contains a {this} label.
containsThisLabel(Assertion) - Method in interface fabric.types.FabricTypeSystem
Returns true if assertion contains a {this} label.
containsThisLabel(Assertion) - Method in class fabric.types.FabricTypeSystem_c
 
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 codebases.ast.CBSourceFile_c
Deprecated.
 
copy(NodeFactory) - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
copy(ExtensionInfo) - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
copy() - Method in class codebases.types.NamespaceResolver_c
 
copy(NodeFactory) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
copy(NodeFactory) - Method in class fabil.ast.FabricArrayTypeNode_c
Deprecated.
 
copy(NodeFactory) - Method in class fabil.ast.New_c
Deprecated.
 
copy(NodeFactory) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
copy(NodeFactory) - Method in class fabil.ast.ProviderLabel_c
Deprecated.
 
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
Deprecated.
 
copy(NodeFactory) - Method in class fabric.ast.FabricArrayTypeNode_c
Deprecated.
 
copy() - Method in class fabric.ast.Store_c
Deprecated.
 
copy() - Method in class fabric.types.AccessPolicyInstance_c
 
create(Scheduler, URI, String) - Static method in class codebases.frontend.CBTypeExists
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class codebases.frontend.CodebaseImportsInitialized
 
createArrayType(Position, Type) - Method in class fabil.types.FabILTypeSystem_c
 
createCallHelper(Label, Receiver, ReferenceType, JifProcedureInstance, List<Expr>, Position) - Method in class fabric.visit.FabricLabelChecker
 
createCallHelper(Label, ReferenceType, JifProcedureInstance, List<Expr>, Position) - Method in class fabric.visit.FabricLabelChecker
 
createClassContextResolver(ClassType) - Method in class fabil.types.FabILTypeSystem_c
 
createClassContextResolver(ClassType) - Method in class fabric.types.FabricTypeSystem_c
 
createClassFile(FileObject, byte[]) - Method in interface codebases.frontend.ExtensionInfo
 
createClassFile(FileObject, byte[]) - Method in class fabil.ExtensionInfo
 
createClassFile(FileObject, byte[]) - Method in class fabric.ExtensionInfo
 
createClassType(LazyClassInitializer, Source, URI) - Method in interface codebases.types.CodebaseTypeSystem
 
createClassType(LazyClassInitializer, Source) - Method in class fabil.types.FabILTypeSystem_c
 
createClassType(LazyClassInitializer, Source, URI) - Method in class fabil.types.FabILTypeSystem_c
 
createClassType(LazyClassInitializer, Source) - Method in class fabric.types.FabricTypeSystem_c
 
createClassType(LazyClassInitializer, Source, URI) - Method in class fabric.types.FabricTypeSystem_c
 
createCodebaseLocation(URI) - Method in class fabric.filemanager.FabricFileManager
 
createContext() - Method in class fabil.types.FabILTypeSystem_c
 
createContext() - Method in class fabric.types.FabricTypeSystem_c
 
createDerivedSource(CodebaseSource, String) - Method in class fabric.visit.FabricToFabilRewriter
 
CreateFabILSkeleton(Job) - Method in class fabric.FabricScheduler
 
createFabricArrayType(Position, Type) - Method in class fabil.types.FabILTypeSystem_c
 
createFileManager() - Method in class fabil.ExtensionInfo
 
createFileManager() - Method in class fabric.ExtensionInfo
 
createFileSource(FileObject, Kind) - Method in class fabil.ExtensionInfo
 
createFileSource(FileObject, Kind) - Method in class fabric.ExtensionInfo
 
createInitialItem(<any>, Term, boolean) - Method in class fabil.visit.ReadWriteChecker
 
CreateJavaSkeleton(Job) - Method in class fabil.frontend.FabILScheduler
 
createLabelChecker(Job, boolean, boolean, boolean, boolean) - Method in class fabric.ExtensionInfo
 
createLengthFieldInstance() - Method in class fabric.types.FabricArrayType_c
 
createNamespaceResolver(URI) - Method in class fabil.ExtensionInfo
Creates namespace resolvers for FabIL namespaces.
createNamespaceResolver(URI) - Method in class fabric.ExtensionInfo
Creates namespace resolvers for Fabric namespaces.
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
 
createPackage(URI, Package, String) - Method in interface codebases.types.CodebaseTypeSystem
 
createPackage(URI, Package, String) - Method in class fabil.types.FabILTypeSystem_c
 
createPackage(Package, String) - Method in class fabil.types.FabILTypeSystem_c
 
createPackage(URI, Package, String) - Method in class fabric.types.FabricTypeSystem_c
 
createPackage(Package, String) - Method in class fabric.types.FabricTypeSystem_c
 
createPackageContextResolver(Package) - Method in class fabil.types.FabILTypeSystem_c
 
createPackageContextResolver(Package) - Method in class fabric.types.FabricTypeSystem_c
 
createPass(ExtensionInfo) - Method in class codebases.frontend.CBTypeExists
 
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
 
createSkeleton - Variable in class fabil.FabILOptions
Whether to create a Java skeleton for each class.
createSkeleton() - Method in class fabil.FabILOptions
 
createSkeleton - Variable in class fabric.FabricOptions
Whether to create a Java skeleton for each class.
createSkeleton() - Method in class fabric.FabricOptions
 
createSolver(String) - Method in class fabric.types.FabricTypeSystem_c
 
createType() - Method in class codebases.types.CBLazyClassInitializer
 
createTypeSystem() - Method in class fabil.ExtensionInfo
 
createTypeSystem() - Method in class fabric.ExtensionInfo
 
createWorkerFormal() - Method in class fabric.visit.RemoteCallWrapperAdder
 
ct - Variable in class codebases.ast.CodebaseImportDel_c
 
ct - Variable in class fabric.types.AccessPathNew
 
currentLocation() - Method in class fabric.visit.FabricToFabilRewriter
 
currentStoreAccessPathFor(ClassType, JifContext) - Method in interface fabric.types.FabricTypeSystem
 
currentStoreAccessPathFor(ClassType, JifContext) - Method in class fabric.types.FabricTypeSystem_c
 

D

DataFlowItem(ReadWriteChecker.DataFlowItem) - Constructor for class fabil.visit.ReadWriteChecker.DataFlowItem
 
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
 
defaultAccessPolicy() - Method in class fabric.types.FabricArrayType_c
 
defaultAccessPolicy(FieldDecl) - Method in interface fabric.types.FabricDefaultSignature
 
defaultAccessPolicy(FieldDecl) - Method in class fabric.types.FabricFixedSignature
 
defaultAccessPolicy() - Method in class fabric.types.FabricParsedClassType_c
 
defaultAccessPolicy() - Method in class fabric.types.FabricSubstClassType_c
 
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
 
defaultPublishingLabel() - Method in class fabric.types.FabricTypeSystem_c
 
defaultSignature() - 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
 
delAccessPolicy() - Method in interface fabric.ast.FabricDelFactory
 
delAccessPolicy() - 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
 
delCodebaseDecl() - Method in interface fabil.extension.FabILDelFactory
 
delCodebaseDecl() - Method in class fabil.extension.FabILDelFactory_c
 
delCodebaseDecl() - Method in interface fabric.ast.FabricDelFactory
 
delCodebaseDecl() - Method in class fabric.ast.FabricDelFactory_c
 
delCodebaseNode() - Method in interface fabil.extension.FabILDelFactory
 
delCodebaseNode() - Method in class fabil.extension.FabILDelFactory_c
 
delCodebaseNode() - Method in interface fabric.ast.FabricDelFactory
 
delCodebaseNode() - Method in class fabric.ast.FabricDelFactory_c
 
delCodebaseTypeNode() - Method in interface fabil.extension.FabILDelFactory
 
delCodebaseTypeNode() - Method in class fabil.extension.FabILDelFactory_c
 
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
 
delFieldDeclImpl() - Method in class fabric.ast.FabricDelFactory_c
 
delImportImpl() - Method in class fabil.extension.FabILDelFactory_c
 
delImportImpl() - Method in class fabric.ast.FabricDelFactory_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
 
delPrincipalExpr() - Method in interface fabric.ast.FabricDelFactory
 
delPrincipalExpr() - Method in class fabric.ast.FabricDelFactory_c
 
delProviderLabel() - Method in interface fabil.extension.FabILDelFactory
 
delProviderLabel() - Method in class fabil.extension.FabILDelFactory_c
 
delProviderLabelImpl() - Method in class fabil.extension.FabILDelFactory_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
 
delStore() - Method in interface fabric.ast.FabricDelFactory
 
delStore() - Method in class fabric.ast.FabricDelFactory_c
 
delStoreImpl() - 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
 
dependencies - Variable in class codebases.frontend.CBJobExt
 
dependencies() - Method in class codebases.frontend.CBJobExt
 
DereferenceHelper - Class in fabric.extension
A class containing code for checking access labels on dereferences.
DereferenceHelper() - Constructor for class fabric.extension.DereferenceHelper
 
DerivedLocalSource - Class in codebases.frontend
 
DerivedLocalSource(String, FileObject, URI) - Constructor for class codebases.frontend.DerivedLocalSource
 
derivedSource(String) - Method in interface codebases.frontend.CodebaseSource
Some compiler jobs are dynamically generated during compiling a resource, but are not directly stored in the resource.
derivedSource(String) - Method in class codebases.frontend.LocalSource
 
derivedSource(String) - Method in class codebases.frontend.RemoteSource
 
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
 
destinationStore() - Method in interface codebases.frontend.ExtensionInfo
 
destinationStore() - Method in class fabil.ExtensionInfo
 
destinationStore - Variable in class fabil.FabILOptions
The name of the store for writing generated codebase and classes.
destinationStore() - Method in class fabil.FabILOptions
 
destinationStore() - Method in class fabric.ExtensionInfo
 
destinationStore - Variable in class fabric.FabricOptions
The name of the store for writing generated codebase and classes.
destinationStore() - Method in class fabric.FabricOptions
 
directDependencies(CodebaseClassType) - Method in class fabric.visit.NamespaceChecker
 
disamb() - Method in class fabil.ast.FabILNodeFactory_c
 
disamb() - Method in class fabric.ast.FabricNodeFactory_c
 
disambiguate(Ambiguous, ContextVisitor, Position, Prefix, Id) - Method in class fabil.ast.FabILDisamb
 
disambiguate(AmbiguityRemover) - Method in class fabil.extension.FabricArrayTypeNodeDel_c
 
disambiguate(AmbiguityRemover) - Method in class fabric.ast.AmbNewFabricArray_c
Deprecated.
 
disambiguate(AmbiguityRemover) - Method in class fabric.ast.FabricAmbPrincipalNode_c
Deprecated.
 
disambiguate(AmbiguityRemover) - Method in class fabric.ast.FabricArrayTypeNode_c
Deprecated.
 
disambiguate(Ambiguous, ContextVisitor, Position, Prefix, Id) - Method in class fabric.ast.FabricDisamb_c
 
disambiguate(AmbiguityRemover) - Method in class fabric.extension.FabricFieldDeclDel
 
disambiguateCodebaseNodePrefix(CodebaseNode) - Method in class fabil.ast.FabILDisamb
 
disambiguateCodebaseNodePrefix(CodebaseNode) - Method in class fabric.ast.FabricDisamb_c
 
disambiguateNoPrefix() - Method in class fabil.ast.FabILDisamb
 
disambiguateNoPrefix() - Method in class fabric.ast.FabricDisamb_c
 
disambiguateOverride(Node, AmbiguityRemover) - Method in class fabil.ast.New_c
Deprecated.
 
disambiguateOverride(Node, AmbiguityRemover) - Method in class fabric.extension.FabricNewDel
 
disambiguatePackagePrefix(PackageNode) - Method in class fabil.ast.FabILDisamb
 
disambiguatePackagePrefix(PackageNode) - Method in class fabric.ast.FabricDisamb_c
 
disambiguateSupertypes(AmbiguityRemover) - Method in class fabil.ast.ClassDecl_c
Deprecated.
 
DisjunctivePrincipalToFabilExpr_c - Class in fabric.translate
 
DisjunctivePrincipalToFabilExpr_c() - Constructor for class fabric.translate.DisjunctivePrincipalToFabilExpr_c
 
disjunctivePrincipalTranslator() - Method in class fabric.types.FabricTypeSystem_c
 
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<java_cup.runtime.Symbol>, int) - Method in class fabil.parse.Grm
Invoke a user supplied parse action.
do_action(int, java_cup.runtime.lr_parser, Stack<java_cup.runtime.Symbol>, 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 - Variable in class fabil.FabILOptions
Whether to dump class dependencies for each class.
dumpDependencies() - Method in class fabil.FabILOptions
 
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<Expr>) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
elements(List<Expr>) - Method in interface fabric.ast.FabricArrayInit
 
elements(List<Expr>) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
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
 
END_OF_LINE_COMMENT - Static variable in class fabric.parse.Lexer_c
 
ENDORSE - Static variable in class fabric.parse.sym
 
ENFORCES - 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 codebases.visit.InitCodebaseImports
 
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 codebases.frontend.CBTypeExists
 
equals(Object) - Method in class codebases.frontend.LocalSource
Sources are equal to each other if they refer to the same resource.
equals(Object) - Method in class codebases.frontend.PublishedLocalSource
 
equals(Object) - Method in class codebases.frontend.RemoteSource
Sources are equal to each other if they refer to the same resource.
equals(Object) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
 
equals(Object) - Method in class fabric.filemanager.CodebaseLocation_c
 
equals(Object) - Method in class fabric.types.AccessPathLocalWorker
 
equals(Object) - Method in class fabric.types.AccessPathNew
 
equals(Object) - Method in class fabric.types.AccessPathStore
 
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.AccessPolicyInstance_c
 
EQUIV - Static variable in class fabric.parse.sym
 
equivalentTo(AccessPath, LabelEnv) - Method in class fabric.types.AccessPathNew
 
equivalentTo(AccessPath, LabelEnv) - Method in class fabric.types.AccessPathStore
 
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
 
expr(Expr) - Method in interface fabric.ast.Store
 
expr() - Method in interface fabric.ast.Store
 
expr - Variable in class fabric.ast.Store_c
Deprecated.
 
expr() - Method in class fabric.ast.Store_c
Deprecated.
 
expr(Expr) - Method in class fabric.ast.Store_c
Deprecated.
 
expr - Variable in class fabric.parse.AmbStore
 
ExpressionsFlattened(Job) - Method in class fabil.frontend.FabILScheduler
 
ExprExt_c - Class in fabil.extension
 
ExprExt_c() - Constructor for class fabil.extension.ExprExt_c
 
exprIsNeverNull() - Method in interface fabric.ast.Store
 
exprIsNeverNull() - Method in class fabric.ast.Store_c
Deprecated.
 
exprString() - Method in class fabric.types.AccessPathNew
 
exprString() - Method in class fabric.types.FabricAccessPathField
 
exprToAccessPath(Expr, Type, JifContext) - Method in class fabric.types.FabricTypeSystem_c
 
exprToJava(JifToJavaRewriter) - Method in class fabric.translate.CallToFabilExt_c
 
exprToJava(JifToJavaRewriter) - Method in class fabric.translate.FieldToFabilExt_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
 
exprToPackage(Expr) - Method in class fabric.parse.Grm
 
exprToQualifier(Expr) - Method in class fabric.parse.Grm
 
exprToUninstType(Expr) - Method in class fabric.parse.Grm
 
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
 
extAbortStmtImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extAccessPolicy() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extAccessPolicy() - Method in interface fabric.ast.FabricExtFactory
 
extAccessPolicy() - Method in class fabric.ast.FabricJifExtFactory_c
 
extAccessPolicyImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extAccessPolicyImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extAmbNewFabricArrayImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extArrayAccessAssignImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extArrayAccessImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extArrayAccessImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extAtomicImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extCaseImpl() - Method in class fabil.extension.FabILExtFactory_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.FabricFabExtFactory_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
 
extCodebaseDecl() - Method in interface fabil.extension.FabILExtFactory
 
extCodebaseDecl() - Method in class fabil.extension.FabILExtFactory_c
 
extCodebaseDecl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extCodebaseDecl() - Method in interface fabric.ast.FabricExtFactory
 
extCodebaseDecl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extCodebaseDeclImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extCodebaseDeclImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extCodebaseDeclImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extCodebaseNode() - Method in interface fabil.extension.FabILExtFactory
 
extCodebaseNode() - Method in class fabil.extension.FabILExtFactory_c
 
extCodebaseNode() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extCodebaseNode() - Method in interface fabric.ast.FabricExtFactory
 
extCodebaseNode() - Method in class fabric.ast.FabricJifExtFactory_c
 
extCodebaseNodeImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extCodebaseNodeImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extCodebaseNodeImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extCodebaseTypeNode() - Method in interface fabil.extension.FabILExtFactory
 
extCodebaseTypeNode() - Method in class fabil.extension.FabILExtFactory_c
 
extCodebaseTypeNodeImpl() - Method in class fabil.extension.FabILExtFactory_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 - Interface in codebases.frontend
This interface defines methods expected by the classes supporting decentralized name resolution.
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
 
ExtensionInfo(Map<String, byte[]>) - Constructor for class fabric.ExtensionInfo
 
extensionInfo() - Method in interface fabric.types.FabricTypeSystem
Return the language extension this type system is for.
extensionInfo() - Method in class fabric.types.FabricTypeSystem_c
 
externalDeps - Variable in class codebases.frontend.CBJobExt
 
externalNamespace() - Method in interface codebases.ast.CodebaseNode
The external namespace indicated by this node.
externalNamespace() - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
externalNS - Variable in class codebases.ast.CodebaseNode_c
Deprecated.
 
externalPrincipal(Position, String) - Method in class fabric.types.FabricTypeSystem_c
 
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
 
extFabricArrayInitImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extFabricArrayTypeNodeImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extFieldDeclImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extFieldImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extFieldImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extInfo - Variable in class codebases.frontend.CBTargetFactory
 
extInfo - Variable in class codebases.types.NamespaceResolver_c
 
extInfo - Variable in class codebases.visit.CodebaseTranslator
 
extInfo - Variable in class fabil.frontend.FabILScheduler
 
extInfo - Variable in class fabil.visit.ProviderRewriter
 
extInfo - Variable in class fabric.Main
 
extInitializerImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extInstanceofImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extInstanceofImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extNewFabricArrayImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extPackageNodeImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extPackageNodeImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extPrincipalExprImpl() - Method in class fabric.ast.FabricFabExtFactory_c
 
extPrincipalExprImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extProviderLabel() - Method in interface fabil.extension.FabILExtFactory
 
extProviderLabel() - Method in class fabil.extension.FabILExtFactory_c
 
extProviderLabelImpl() - Method in class fabil.extension.FabILExtFactory_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
 
extRemoteWorkerGetterImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extRetryStmtImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extSourceFileImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 
extSpecialImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extStore() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extStore() - Method in interface fabric.ast.FabricExtFactory
 
extStore() - Method in class fabric.ast.FabricJifExtFactory_c
 
extStoreGetter() - Method in interface fabil.extension.FabILExtFactory
 
extStoreGetter() - Method in class fabil.extension.FabILExtFactory_c
 
extStoreGetterImpl() - Method in class fabil.extension.FabILExtFactory_c
 
extStoreImpl() - Method in class fabric.ast.AbstractFabExtFactory_c
 
extStoreImpl() - Method in class fabric.ast.FabricJifExtFactory_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
 
extWorkerImpl() - Method in class fabric.ast.FabricJifExtFactory_c
 

F

fabext - Variable in class fabric.FabricScheduler
 
FabExternalPrincipalToJavaExpr_c - Class in fabric.types
 
FabExternalPrincipalToJavaExpr_c() - Constructor for class fabric.types.FabExternalPrincipalToJavaExpr_c
 
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.
fabil_target - Variable in class fabric.FabricScheduler
 
fabilArgs(Set<<any>>) - Method in class fabric.FabricOptions
Filter and add arguments for FabIL.
FabILCall - Interface in fabil.ast
 
FabILCall_c - Class in fabil.ast
Deprecated.
FabILCall_c(Position, Receiver, Id, List<Expr>) - Constructor for class fabil.ast.FabILCall_c
Deprecated.
FabILCall_c(Position, Receiver, Id, List<Expr>, Ext) - Constructor for class fabil.ast.FabILCall_c
Deprecated.
 
FabILCall_c(Position, Receiver, Id, Expr, List<Expr>) - Constructor for class fabil.ast.FabILCall_c
Deprecated.
FabILCall_c(Position, Receiver, Id, Expr, List<Expr>, Ext) - Constructor for class fabil.ast.FabILCall_c
Deprecated.
 
FabILContext - Interface in fabil.types
 
FabILContext_c - Class in fabil.types
Codebase support for the FabIL typesystem.
FabILContext_c(TypeSystem) - Constructor for class fabil.types.FabILContext_c
 
FabILDelFactory - Interface in fabil.extension
 
FabILDelFactory_c - Class in fabil.extension
 
FabILDelFactory_c() - Constructor for class fabil.extension.FabILDelFactory_c
 
FabILDisamb - Class in fabil.ast
 
FabILDisamb() - Constructor for class fabil.ast.FabILDisamb
 
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
 
FabILMethodInstance_c - Class in fabil.types
 
FabILMethodInstance_c(TypeSystem, Position, ReferenceType, Flags, Type, String, List<? extends Type>, List<? extends Type>) - Constructor for class fabil.types.FabILMethodInstance_c
 
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
 
FabILNodeFactory_c(ExtFactory, DelFactory) - Constructor for class fabil.ast.FabILNodeFactory_c
 
FabILOptions - Class in fabil
This is the same as the JL options, except by default, we always generate fully qualified class names.
FabILOptions(ExtensionInfo) - Constructor for class fabil.FabILOptions
 
FabILOutputOptions(ExtensionInfo) - Constructor for class fabric.OutputExtensionInfo.FabILOutputOptions
 
FabILParsedClassType - Interface in fabil.types
 
FabILParsedClassType_c - Class in fabil.types
 
FabILParsedClassType_c() - Constructor for class fabil.types.FabILParsedClassType_c
Used for deserialization.
FabILParsedClassType_c(TypeSystem, LazyClassInitializer, Source, URI) - Constructor for class fabil.types.FabILParsedClassType_c
 
FabILScheduler - Class in fabil.frontend
 
FabILScheduler(ExtensionInfo) - Constructor for class fabil.frontend.FabILScheduler
 
FabILSkeletonCreator - Class in fabric.visit
Outputs a fabil skeleton for bootstrapping.
FabILSkeletonCreator(Job, TypeSystem, NodeFactory) - Constructor for class fabric.visit.FabILSkeletonCreator
 
FabILSkeletonGenerated(Job) - Method in class fabric.FabricScheduler
 
FabILSourceFile - Interface in fabil.ast
 
FabILTypeSystem - Interface in fabil.types
 
FabILTypeSystem_c - Class in fabil.types
 
FabILTypeSystem_c() - Constructor for class fabil.types.FabILTypeSystem_c
 
fabIsPublished() - Method in class fabric.visit.FabricToFabilRewriter
 
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.filemanager - package fabric.filemanager
 
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.
FabricAccessPathField - Class in fabric.types
 
FabricAccessPathField(AccessPath, FieldInstance, String, Position) - Constructor for class fabric.types.FabricAccessPathField
 
FabricAmbPrincipalNode_c - Class in fabric.ast
Deprecated.
FabricAmbPrincipalNode_c(Position, Expr) - Constructor for class fabric.ast.FabricAmbPrincipalNode_c
Deprecated.
FabricAmbPrincipalNode_c(Position, Expr, Ext) - Constructor for class fabric.ast.FabricAmbPrincipalNode_c
Deprecated.
 
FabricAmbPrincipalNode_c(Position, Id) - Constructor for class fabric.ast.FabricAmbPrincipalNode_c
Deprecated.
FabricAmbPrincipalNode_c(Position, Id, Ext) - Constructor for class fabric.ast.FabricAmbPrincipalNode_c
Deprecated.
 
fabricArray(TypeNode, int) - Method in class fabil.parse.Grm
 
fabricArray(Position, TypeNode, int) - Method in class fabric.parse.Grm
 
FabricArrayAccessExt - Class in fabric.extension
 
FabricArrayAccessExt(ToJavaExt) - Constructor for class fabric.extension.FabricArrayAccessExt
 
FabricArrayInit(Position, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
FabricArrayInit(Position, Expr, 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, 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
Deprecated.
FabricArrayInit_c(Position, List<Expr>, Expr, Expr, Expr) - Constructor for class fabil.ast.FabricArrayInit_c
Deprecated.
FabricArrayInit_c(Position, List<Expr>, Expr, Expr, Expr, Ext) - Constructor for class fabil.ast.FabricArrayInit_c
Deprecated.
 
FabricArrayInit_c - Class in fabric.ast
Deprecated.
FabricArrayInit_c(Position, List<Expr>, Expr, Expr) - Constructor for class fabric.ast.FabricArrayInit_c
Deprecated.
FabricArrayInit_c(Position, List<Expr>, Expr, Expr, Ext) - Constructor for class fabric.ast.FabricArrayInit_c
Deprecated.
 
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
Deprecated.
FabricArrayTypeNode_c(Position, TypeNode) - Constructor for class fabil.ast.FabricArrayTypeNode_c
Deprecated.
FabricArrayTypeNode_c(Position, TypeNode, Ext) - Constructor for class fabil.ast.FabricArrayTypeNode_c
Deprecated.
 
FabricArrayTypeNode_c - Class in fabric.ast
Deprecated.
FabricArrayTypeNode_c(Position, TypeNode) - Constructor for class fabric.ast.FabricArrayTypeNode_c
Deprecated.
FabricArrayTypeNode_c(Position, TypeNode, Ext) - Constructor for class fabric.ast.FabricArrayTypeNode_c
Deprecated.
 
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
Deprecated.
FabricCall_c(Position, Receiver, Id, List<Expr>) - Constructor for class fabric.ast.FabricCall_c
Deprecated.
FabricCall_c(Position, Receiver, Id, List<Expr>, Ext) - Constructor for class fabric.ast.FabricCall_c
Deprecated.
 
FabricCall_c(Position, Receiver, Id, Expr, List<Expr>) - Constructor for class fabric.ast.FabricCall_c
Deprecated.
FabricCall_c(Position, Receiver, Id, Expr, List<Expr>, Ext) - Constructor for class fabric.ast.FabricCall_c
Deprecated.
 
FabricCallDel - Class in fabric.extension
 
FabricCallDel() - Constructor for class fabric.extension.FabricCallDel
 
FabricCallHelper - Class in fabric.extension
 
FabricCallHelper(Label, Receiver, ReferenceType, JifProcedureInstance, List<Expr>, Position) - Constructor for class fabric.extension.FabricCallHelper
 
FabricCallHelper(Label, Receiver, ReferenceType, JifProcedureInstance, List<Expr>, Position, boolean) - Constructor for class fabric.extension.FabricCallHelper
 
FabricCastExt - Class in fabric.extension
 
FabricCastExt(ToJavaExt) - Constructor for class fabric.extension.FabricCastExt
 
FabricClassBody_c - Class in fabric.ast
Deprecated.
FabricClassBody_c(Position, List<ClassMember>) - Constructor for class fabric.ast.FabricClassBody_c
Deprecated.
 
FabricClassBody_c(Position, List<ClassMember>, Ext) - Constructor for class fabric.ast.FabricClassBody_c
Deprecated.
 
FabricClassDeclExt - Class in fabric.extension
 
FabricClassDeclExt(ToJavaExt) - Constructor for class fabric.extension.FabricClassDeclExt
 
FabricClassType - Interface in fabric.types
 
FabricContext - Interface in fabric.types
 
FabricContext_c - Class in fabric.types
 
FabricContext_c(JifTypeSystem, TypeSystem) - Constructor for class fabric.types.FabricContext_c
 
FabricDefaultSignature - Interface in fabric.types
 
fabricDefaultSignature() - Method in interface fabric.types.FabricTypeSystem
 
fabricDefaultSignature() - Method in class fabric.types.FabricTypeSystem_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
 
FabricDisamb_c - Class in fabric.ast
Disambiguates nodes relative to context and namespace.
FabricDisamb_c() - Constructor for class fabric.ast.FabricDisamb_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
 
FabricFieldDecl - Interface in fabric.ast
 
FabricFieldDecl(Position, Flags, TypeNode, LabelNode, Id, Expr, Javadoc) - Method in interface fabric.ast.FabricNodeFactory
 
FabricFieldDecl(Position, Flags, TypeNode, LabelNode, Id, Expr, Javadoc) - Method in class fabric.ast.FabricNodeFactory_c
 
FabricFieldDecl_c - Class in fabric.ast
Deprecated.
FabricFieldDecl_c(Position, Flags, TypeNode, LabelNode, Id, Expr, Javadoc) - Constructor for class fabric.ast.FabricFieldDecl_c
Deprecated.
FabricFieldDecl_c(Position, Flags, TypeNode, LabelNode, Id, Expr, Javadoc, Ext) - Constructor for class fabric.ast.FabricFieldDecl_c
Deprecated.
 
FabricFieldDeclDel - Class in fabric.extension
 
FabricFieldDeclDel() - Constructor for class fabric.extension.FabricFieldDeclDel
 
FabricFieldExt - Class in fabric.extension
 
FabricFieldExt(ToJavaExt) - Constructor for class fabric.extension.FabricFieldExt
 
FabricFieldInstance - Interface in fabric.types
Fabric field instance.
fabricFieldInstance(Position, ReferenceType, Flags, Type, ConfPolicy, String) - Method in interface fabric.types.FabricTypeSystem
 
fabricFieldInstance(Position, ReferenceType, Flags, Type, ConfPolicy, String) - Method in class fabric.types.FabricTypeSystem_c
 
FabricFieldInstance_c - Class in fabric.types
 
FabricFieldInstance_c(FabricTypeSystem, Position, ReferenceType, Flags, Type, ConfPolicy, String) - Constructor for class fabric.types.FabricFieldInstance_c
 
FabricFileManager - Class in fabric.filemanager
FileManager implementation for Fabric - a class that provides input and output access to the local file system and input access to the codebase.
FabricFileManager(ExtensionInfo) - Constructor for class fabric.filemanager.FabricFileManager
 
FabricFileObject - Class in fabric.filemanager
FabricSourceObject represents an FClass associated with a particular codebase.
FabricFileObject(fabric.lang.FClass, URI, String) - Constructor for class fabric.filemanager.FabricFileObject
 
FabricFixedSignature - Class in fabric.types
 
FabricFixedSignature(FabricTypeSystem) - Constructor for class fabric.types.FabricFixedSignature
 
FabricFlags - Class in fabric.types
 
FabricFlags() - Constructor for class fabric.types.FabricFlags
 
FabricInstanceofExt - Class in fabric.extension
 
FabricInstanceofExt(ToJavaExt) - Constructor for class fabric.extension.FabricInstanceofExt
 
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
 
FabricJoinLabelToFabilExpr_c - Class in fabric.translate
 
FabricJoinLabelToFabilExpr_c() - Constructor for class fabric.translate.FabricJoinLabelToFabilExpr_c
 
FabricLabelChecker - Class in fabric.visit
 
FabricLabelChecker(Job, TypeSystem, NodeFactory, boolean, boolean, boolean, boolean) - Constructor for class fabric.visit.FabricLabelChecker
 
FabricMeetLabelToFabilExpr_c - Class in fabric.translate
 
FabricMeetLabelToFabilExpr_c() - Constructor for class fabric.translate.FabricMeetLabelToFabilExpr_c
 
FabricNew_c - Class in fabric.ast
Deprecated.
FabricNew_c(Position, Expr, TypeNode, List<Expr>, ClassBody) - Constructor for class fabric.ast.FabricNew_c
Deprecated.
FabricNew_c(Position, Expr, TypeNode, List<Expr>, ClassBody, Ext) - Constructor for class fabric.ast.FabricNew_c
Deprecated.
 
FabricNewDel - Class in fabric.extension
 
FabricNewDel() - Constructor for class fabric.extension.FabricNewDel
 
FabricNewFabricArrayDel - Class in fabric.extension
 
FabricNewFabricArrayDel() - Constructor for class fabric.extension.FabricNewFabricArrayDel
 
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, URI) - Constructor for class fabric.types.FabricParsedClassType_c
 
FabricPrincipalExprDel - Class in fabric.extension
 
FabricPrincipalExprDel() - Constructor for class fabric.extension.FabricPrincipalExprDel
 
FabricProviderLabel_c - Class in fabric.types
 
FabricProviderLabel_c(JifClassType, LabelToJavaExpr) - Constructor for class fabric.types.FabricProviderLabel_c
 
FabricReferenceType - Interface in fabric.types
This interface extends polyglot ReferenceTypes with an updateLabel and accessPolicy.
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<ParamInstance, ? extends Param>) - 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
 
FabricThisLabel_c - Class in fabric.types
 
FabricThisLabel_c(JifTypeSystem, ReferenceType, Position) - Constructor for class fabric.types.FabricThisLabel_c
 
FabricThisLabelToFabilExpr_c - Class in fabric.translate
 
FabricThisLabelToFabilExpr_c() - Constructor for class fabric.translate.FabricThisLabelToFabilExpr_c
 
FabricThread() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.common.FabricThread.
FabricThread() - Method in class fabil.types.FabILTypeSystem_c
 
FabricToFabilRewriter - Class in fabric.visit
 
FabricToFabilRewriter(Job, FabricTypeSystem, FabricNodeFactory, ExtensionInfo) - Constructor for class fabric.visit.FabricToFabilRewriter
 
FabricToFabilRewritten(Job) - Method in class fabric.FabricScheduler
 
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
 
fatalException() - Method in class fabric.types.FabricTypeSystem_c
 
FClassGenerated(Job) - Method in class fabric.FabricScheduler
 
FClassGenerator - Class in fabric.visit
This class generates a FClass object for each new class in a source file and creates codebase entries for the class and its dependencies.
FClassGenerator(Job, TypeSystem, NodeFactory) - Constructor for class fabric.visit.FClassGenerator
 
fcls - Variable in class codebases.frontend.RemoteSource
 
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
 
FieldDeclToFabilExt_c - Class in fabric.translate
 
FieldDeclToFabilExt_c() - Constructor for class fabric.translate.FieldDeclToFabilExt_c
 
FieldExt_c - Class in fabil.extension
 
FieldExt_c() - Constructor for class fabil.extension.FieldExt_c
 
fieldInstance(FieldInstance) - Method in class fabric.types.FabricAccessPathField
 
fieldInstance(Position, ReferenceType, Flags, Type, String) - Method in class fabric.types.FabricTypeSystem_c
 
FieldToFabilExt_c - Class in fabric.translate
 
FieldToFabilExt_c() - Constructor for class fabric.translate.FieldToFabilExt_c
 
file() - Method in class fabil.parse.Lexer_c
 
file() - Method in class fabric.parse.Lexer_c
 
fileManager - Variable in class codebases.types.SimpleResolver
 
FileManagerUtil - Class in fabric.filemanager
FabricUtil provides helper methods
FileManagerUtil() - Constructor for class fabric.filemanager.FileManagerUtil
 
fileObject() - Method in class codebases.frontend.LocalSource
 
fileSource(String) - Method in class fabric.filemanager.FabricFileManager
 
fileSource(String, Source.Kind) - Method in class fabric.filemanager.FabricFileManager
 
FileSystemResolver - Class in fabric.types
 
FileSystemResolver() - Constructor for class fabric.types.FileSystemResolver
 
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
 
FinalRepairRewriter - Class in fabil.visit
Clears immutable flags from field declarations.
FinalRepairRewriter() - Constructor for class fabil.visit.FinalRepairRewriter
 
find(String, ClassType) - Method in class codebases.types.CBClassContextResolver
Find a type object in the context of the class.
find(String) - Method in class codebases.types.CBImportTable
 
find(String, ClassType) - Method in class codebases.types.CBPackageContextResolver
Find a type object by name.
find(String) - Method in interface codebases.types.NamespaceResolver
Find a type object in this namespace by name.
find(String) - Method in class codebases.types.NamespaceResolver_c
 
find(String) - Method in class fabil.types.FabILContext_c
Finds the definition of a particular type.
find(String) - Method in class fabric.types.FabricContext_c
 
find(String) - Method in class fabric.types.FileSystemResolver
 
findAcceptableMethods(ReferenceType, String, List<? extends Type>, ClassType, boolean) - Method in class fabil.types.FabILTypeSystem_c
 
findImpl(String) - Method in class codebases.types.CodebaseResolver
 
findImpl(String) - Method in interface codebases.types.NamespaceResolver
Find a type object in this namespace by name.
findImpl(String) - Method in class codebases.types.PathResolver
Searches for a type for name in path in order.
findImpl(String) - Method in class codebases.types.SimpleResolver
 
findImpl(String) - Method in class fabric.LocalResolver
 
findInPkgOrType(String, String) - Method in class codebases.types.CBImportTable
 
findLocal(String) - Method in class fabric.types.FabricContext_c
 
findStaticPrincipal(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
Deprecated.
 
firstChild() - Method in class fabil.ast.RetryStmt_c
Deprecated.
 
firstChild() - Method in class fabil.ast.StoreGetter_c
Deprecated.
 
firstChild() - Method in class fabric.ast.AbortStmt_c
Deprecated.
 
firstChild() - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
firstChild() - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
firstChild() - Method in class fabric.ast.RetryStmt_c
Deprecated.
 
firstChild() - Method in class fabric.ast.Store_c
Deprecated.
 
FixArrayInitializerTypes(Job) - Method in class fabil.frontend.FabILScheduler
 
flagName - Variable in class fabil.visit.Memoizer
 
flags() - Method in class fabric.types.AccessPolicyInstance_c
 
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(ReadWriteChecker.DataFlowItem, <any>, <any>) - Method in class fabil.visit.ReadWriteChecker
 
FLOWSTO - Static variable in class fabric.parse.sym
 
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
 
forName(URI, String) - Method in interface codebases.types.CodebaseTypeSystem
 
forName(URI, String) - Method in class fabil.types.FabILTypeSystem_c
 
forName(String) - Method in class fabil.types.FabILTypeSystem_c
 
forName(URI, String) - Method in class fabric.types.FabricTypeSystem_c
 
forName(String) - Method in class fabric.types.FabricTypeSystem_c
 
fromExternal - Variable in class codebases.types.CBImportTable
 

G

getAborts() - Method in class fabil.visit.AbortRetryCollector
 
getAborts() - Method in class fabric.visit.AbortRetryCollector
 
getClassHash() - Method in interface fabil.types.FabILParsedClassType
 
getClassHash() - Method in class fabil.types.FabILParsedClassType_c
 
getCompileGoal(Job) - Method in class fabric.ExtensionInfo
 
getData() - Method in class fabric.filemanager.FabricFileObject
 
getDefaultValue(Type) - Method in class fabil.visit.AtomicRewriter
 
getEncodedType(ClassFile, String) - Method in class codebases.types.NamespaceResolver_c
Extract an encoded type from a class file.
getFileForInput(Location, String, String) - Method in class fabric.filemanager.FabricFileManager
 
getHash() - Method in interface codebases.types.ClassFile
 
getHash() - Method in class codebases.types.ClassFile_c
 
getJavaFileObject(URI) - Method in class fabric.filemanager.FabricFileManager
 
getLocation(Location) - Method in class fabric.filemanager.FabricFileManager
 
getLocationURIs(Location) - Method in class fabric.filemanager.FabricFileManager
 
getName() - Method in class codebases.frontend.DerivedLocalSource
 
getName() - Method in class fabric.filemanager.CodebaseLocation_c
 
getName() - Method in class fabric.filemanager.FabricFileObject
 
getObjectFragments() - Method in class fabric.visit.FabricToFabilRewriter
 
getOptions() - Method in class fabil.ExtensionInfo
 
getOptions() - Method in class fabric.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.
getSystemJavacArgs(Options) - Method in class fabil.Main
 
getSystemJavacArgs(Options) - Method in class fabric.Main
 
getTypeFromSource(Source, String) - Method in class codebases.types.NamespaceResolver_c
Get a type from a source file.
global() - Static method in class fabil.FabILOptions
 
GOTO - Static variable in class fabil.parse.sym
 
GOTO - Static variable in class fabric.parse.sym
 
Grm - Class in fabil.parse
CUP v0.11b 20150326 generated parser.
Grm(Lexer, TypeSystem, NodeFactory, ErrorQueue, URI) - Constructor for class fabil.parse.Grm
 
Grm - Class in fabric.parse
CUP v0.11b 20150326 generated parser.
Grm(Lexer, FabricTypeSystem, FabricNodeFactory, ErrorQueue, URI) - 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
 
guardWithConstraints(JifToJavaRewriter, Block) - Method in class fabric.translate.MethodDeclToFabilExt_c
 

H

handleArg(<any>) - Method in class fabil.FabILOptions
 
handleArg(<any>) - Method in class fabric.FabricOptions
 
handleSourceArg(<any>, Set<String>) - Method in class fabil.FabILOptions
 
handleSourceArg(<any>, Set<String>) - Method in class fabric.FabricOptions
 
hasAbort - Variable in class fabil.visit.AbortRetryChecker
 
hash - Variable in class codebases.types.ClassFile_c
 
hashCode() - Method in class codebases.frontend.LocalSource
 
hashCode() - Method in class codebases.frontend.PublishedLocalSource
 
hashCode() - Method in class codebases.frontend.RemoteSource
 
hashCode() - Method in class codebases.types.CBPlaceHolder_c
 
hashCode() - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
 
hashCode() - Method in class fabric.filemanager.CodebaseLocation_c
 
hashCode() - Method in class fabric.types.AccessPathNew
 
hashCode() - Method in class fabric.types.AccessPathStore
 
hasLocation(Location) - Method in class fabric.filemanager.FabricFileManager
 

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
 
ignore_mod_times - Variable in class codebases.types.SimpleResolver
 
IMMUTABLE - Static variable in class fabil.types.FabILFlags
 
ImmutableFlagsCleared(Job) - Method in class fabil.frontend.FabILScheduler
 
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(Source, URI, Package) - Method in interface codebases.types.CodebaseTypeSystem
 
importTable(Source, URI, Package) - Method in class fabil.types.FabILTypeSystem_c
 
importTable(Package) - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
importTable(String, Package) - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
importTable(Source, URI, Package) - Method in class fabric.types.FabricTypeSystem_c
 
importTable(Package) - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
importTable(String, Package) - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
ImportTableInitialized(Job) - Method in class fabil.frontend.FabILScheduler
 
ImportTableInitialized(Job) - Method in class fabric.FabricScheduler
 
inAtomic - Variable in class fabil.visit.AbortRetryChecker
 
INFO_LTEQ - Static variable in class fabric.parse.sym
 
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
Deprecated.
 
init(polyglot.ast.ArrayInit) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
init() - Method in class fabil.types.FabricArrayType_c
 
init() - Method in class fabric.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
 
InitCodebaseImports - Class in codebases.visit
This class creates an import table for each source file and sets the source reference for each package node.
InitCodebaseImports(Job, CodebaseTypeSystem, NodeFactory) - Constructor for class codebases.visit.InitCodebaseImports
 
initCompiler(Compiler) - Method in class fabric.ExtensionInfo
 
initConstructors() - Method in class codebases.types.CBLazyClassInitializer
 
initFields() - Method in class codebases.types.CBLazyClassInitializer
 
InitializationsChecked(Job) - Method in class fabil.frontend.FabILScheduler
 
initialize(ExtensionInfo) - Method in interface codebases.types.CodebaseTypeSystem
 
initialize(ExtensionInfo) - Method in class fabil.types.FabILTypeSystem_c
 
initialize(ExtensionInfo) - Method in class fabric.types.FabricTypeSystem_c
 
InitializerExt_c - Class in fabil.extension
 
InitializerExt_c() - Constructor for class fabil.extension.InitializerExt_c
 
initializeStaticInstances(ExtensionInfo, Codebase) - Method in class fabric.Main
Load all published classes so that their static state is initialized.
initInterfaces() - Method in class codebases.types.CBLazyClassInitializer
 
initMemberClasses() - Method in class codebases.types.CBLazyClassInitializer
 
initMethods() - Method in class codebases.types.CBLazyClassInitializer
 
initResolvers() - Method in class fabil.types.FabILTypeSystem_c
 
initResolvers() - Method in class fabric.types.FabricTypeSystem_c
 
initTypeSystem() - Method in class fabil.ExtensionInfo
 
initTypeSystem() - Method in class fabric.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
 
inner - Variable in class codebases.types.SafeResolver
 
InnerClassesRemoved(Job) - Method in class fabil.frontend.FabILScheduler
 
inRemoteWrapper - Variable in class fabric.visit.FabricExceptionChecker
 
inSignatureMode() - Method in class fabric.visit.FabricToFabilRewriter
 
installInPlaceHolderCache(PlaceHolder, TypeObject) - Method in class codebases.types.CBTypeInputStream
 
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
 
InstanceOfToFabilExt_c - Class in fabric.translate
 
InstanceOfToFabilExt_c() - Constructor for class fabric.translate.InstanceOfToFabilExt_c
 
instantiate(JifContext, Label) - Method in class fabric.extension.FabricCallHelper
 
instantiate(JifContext, Principal) - Method in class fabric.extension.FabricCallHelper
 
instantiate(JifContext, Type) - Method in class fabric.extension.FabricCallHelper
 
instantiate(Label, JifContext, Expr, ReferenceType, Label, AccessPath) - Static method in class fabric.extension.StoreInstantiator
 
instantiate(Label, JifContext, Expr, ReferenceType, Label, AccessPath, List<ArgLabel>, List<? extends Type>, List<? extends Label>, List<Expr>, List<? extends Label>) - Static method in class fabric.extension.StoreInstantiator
 
instantiate(Label, JifContext, Expr, ReferenceType, Label, List<ArgLabel>, List<? extends Type>, List<Label>, List<Expr>, List<Label>, AccessPath) - Static method in class fabric.extension.StoreInstantiator
 
instantiate(Principal, JifContext, Expr, ReferenceType, Label, List<ArgLabel>, List<? extends Type>, List<Label>, List<Expr>, List<Label>, AccessPath) - Static method in class fabric.extension.StoreInstantiator
 
instantiate(Type, JifContext, Expr, ReferenceType, Label, List<ArgLabel>, List<? extends Type>, List<Label>, List<Expr>, List<Label>, AccessPath) - Static method in class fabric.extension.StoreInstantiator
 
instantiateImpl(Object, Position) - Method in class fabric.extension.StoreInstantiator
 
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
 
integrity - Variable in class codebases.types.NamespaceResolver_c
 
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
 
interfaces() - Method in interface fabil.types.FabILParsedClassType
 
interfaces() - Method in class fabil.types.FabILParsedClassType_c
 
intern() - Method in class fabric.types.WorkerLocalInstance_c
 
InternalError() - Method in interface fabil.types.FabILTypeSystem
 
InternalError() - Method in class fabil.types.FabILTypeSystem_c
 
INVARIANT - Static variable in class fabric.parse.sym
 
is_remote - Variable in class fabric.extension.MethodDeclJifExt
 
isCanonical() - Method in class fabric.types.AccessPathNew
 
isCanonical() - Method in class fabric.types.AccessPathStore
 
isCanonical() - Method in class fabric.types.AccessPolicyInstance_c
 
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.
isDisambiguated() - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
isDisambiguated() - Method in class fabric.ast.Store_c
Deprecated.
 
isExternal(CodebaseClassType) - Method in class codebases.frontend.CBJobExt
 
isExternal(String) - Method in class codebases.types.CBImportTable
 
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
 
isFabricInterface(Type) - Method in interface fabric.types.FabricTypeSystem
Checks whether type is a Fabric interface, and inherits fabric.lang.Object.
isFabricInterface(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
 
isFinalAccessExpr(Expr) - Method in class fabric.types.FabricTypeSystem_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
 
isLocal - Variable in class fabric.ast.Store_c
Deprecated.
 
isLocalStore() - Method in interface fabric.ast.Store
 
isLocalStore() - Method in class fabric.ast.Store_c
Deprecated.
 
isLocalStore(boolean) - Method in class fabric.ast.Store_c
Deprecated.
 
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
 
isNeverNull() - Method in class fabric.types.AccessPathNew
 
isNeverNull() - Method in class fabric.types.AccessPathStore
 
isOutputLocation() - Method in class fabric.filemanager.CodebaseLocation_c
 
isPersistent(Type) - Method in interface fabric.types.FabricTypeSystem
Returns true if type extends fabric.lang.Object
isPersistent(Type) - Method in class fabric.types.FabricTypeSystem_c
Returns true if type extends fabric.lang.Object
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
 
isRemote() - Method in class fabric.extension.MethodDeclJifExt
 
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
 
isTransient(Type) - Method in interface fabric.types.FabricTypeSystem
Returns true if type does not extend fabric.lang.Object
isTransient(Type) - Method in class fabric.types.FabricTypeSystem_c
Returns true if type does not extend fabric.lang.Object
isTrusted() - Method in class fabric.types.FabricProviderLabel_c
 
isTypeChecked() - Method in class fabric.ast.Store_c
Deprecated.
 
isUninterpreted() - Method in class fabric.types.AccessPathStore
 

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
 
JAVADOC - Static variable in class fabil.parse.sym
 
JAVADOC - Static variable in class fabric.parse.sym
 
JAVADOC_COMMENT - Static variable in class fabil.parse.Lexer_c
 
JAVADOC_COMMENT - Static variable in class fabric.parse.Lexer_c
 
JavaInlineable() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.lang.JavaInlineable.
JavaInlineable() - Method in class fabil.types.FabILTypeSystem_c
 
JavaSkeletonCreator - Class in fabil.visit
Outputs a java skeleton for bootstrapping.
JavaSkeletonCreator(Job, TypeSystem, NodeFactory) - Constructor for class fabil.visit.JavaSkeletonCreator
 
JifClassDecl(Position, Flags, Id, List<ParamDecl>, TypeNode, List<TypeNode>, List<PrincipalNode>, List<<any>>, ClassBody, Javadoc) - 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
 
jobExt - Variable in class codebases.types.CBImportTable
 
jobExt() - Method in class fabil.ExtensionInfo
 
jobExt() - Method in class fabric.ExtensionInfo
 
JOIN - Static variable in class fabric.parse.sym
 
joinLabelTranslator() - Method in class fabric.types.FabricTypeSystem_c
 

K

keywords() - Method in class fabil.ExtensionInfo
 
keywords() - Method in class fabil.parse.Lexer_c
 
keywords() - Method in class fabric.ExtensionInfo
 
keywords() - Method in class fabric.parse.Lexer_c
 
kill(LocalInstance) - Method in class fabil.visit.ReadWriteChecker.DataFlowItem
Destructive kill of local instance l.

L

label() - Method in interface codebases.frontend.CodebaseSource
The label of this source file.
label() - Method in class codebases.frontend.LocalSource
 
label() - Method in class codebases.frontend.RemoteSource
 
label() - Method in class codebases.types.CodebaseResolver
 
label() - Method in interface codebases.types.NamespaceResolver
An (flow-lattice) upper bound on the integrity and confidentiality of resolution through this namespace.
label() - Method in class codebases.types.NamespaceResolver_c
 
label() - Method in class codebases.types.PathResolver
 
label() - Method in class codebases.types.SafeResolver
 
label - Variable in class fabil.ast.FabricArrayInit_c
Deprecated.
 
label - Variable in class fabil.ast.NewFabricArray_c
Deprecated.
 
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
Deprecated.
 
label() - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
label(Expr) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
label(N, Expr) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
LABEL - Static variable in class fabric.parse.sym
 
label() - Method in class fabric.types.WorkerLocalInstance_c
 
LABEL_INITIALIZER_METHOD_NAME - Static variable in class fabric.visit.FabricToFabilRewriter
 
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.ast.AccessPolicyJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.CallJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.ClassBodyJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.ConstructorDeclJifExt
 
labelCheck(LabelChecker) - Method in class fabric.extension.FabricArrayAccessExt
 
labelCheck(LabelChecker) - Method in class fabric.extension.FabricCastExt
 
labelCheck(LabelChecker) - Method in class fabric.extension.FabricClassDeclExt
 
labelCheck(LabelChecker) - Method in class fabric.extension.FabricFieldExt
 
labelCheck(LabelChecker) - Method in class fabric.extension.FabricInstanceofExt
 
labelCheck(LabelChecker, Label, Label, Label) - Method in class fabric.extension.LocatedExt_c
Checks that the location is compatible with the objectLabel and accessLabel
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.StoreJifExt_c
 
labelCheck(LabelChecker) - Method in class fabric.extension.WorkerJifExt_c
 
labelcheck(JifContext, LabelChecker) - Method in class fabric.types.AccessPathLocalWorker
 
labelcheck(JifContext, LabelChecker) - Method in class fabric.types.AccessPathStore
 
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
 
lazyImport() - Method in class codebases.types.CBImportTable
 
lazyImportLongNameStaticMember(URI, String, String) - Method in class codebases.types.CBImportTable
The class longName may be a static nested class.
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.ClassHashGenerator
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.ClassReferencesCollector
 
leave(Node, Node, NodeVisitor) - Method in class fabil.visit.FinalRepairRewriter
 
leave(Node, Node, Node, NodeVisitor) - Method in class fabil.visit.JavaSkeletonCreator
 
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.ProviderRewriter
 
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.SignatureHashGenerator
 
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, Node, NodeVisitor) - Method in class fabric.visit.FabILSkeletonCreator
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.RemoteCallWrapperAdder
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.RemoteCallWrapperUpdater
 
leave(Node, Node, NodeVisitor) - Method in class fabric.visit.SplitNameInitializer
 
leaveCall(Node, Node, NodeVisitor) - Method in class codebases.visit.InitCodebaseImports
 
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.FClassGenerator
 
leaveCall(Node, Node, NodeVisitor) - Method in class fabric.visit.NamespaceChecker
 
leavingClass() - Method in class fabric.visit.FabricToFabilRewriter
 
leavingMethod(JifMethodDecl) - Method in class fabric.visit.FabricLabelChecker
 
leavingSourceFile(SourceFile) - Method in class fabric.visit.FabricToFabilRewriter
 
LEFTARROW - Static variable in class fabric.parse.sym
 
legalConstructorFlags() - Method in class fabil.types.FabILTypeSystem_c
 
legalFieldFlags() - Method in class fabil.types.FabILTypeSystem_c
 
legalInterfaceFieldFlags() - Method in class fabil.types.FabILTypeSystem_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
 
lengthField(FieldInstance) - Method in interface fabric.types.FabricArrayType
Updates the field instance associated with the length field, returning a new FabricArrayType.
lengthField(FieldInstance) - Method in class fabric.types.FabricArrayType_c
 
Lexer_c - Class in fabil.parse
 
Lexer_c(Reader, Source, ErrorQueue) - Constructor for class fabil.parse.Lexer_c
 
Lexer_c(Reader) - Constructor for class fabil.parse.Lexer_c
Creates a new scanner
Lexer_c - Class in fabric.parse
 
Lexer_c(InputStream, Source, ErrorQueue) - Constructor for class fabric.parse.Lexer_c
 
Lexer_c(Reader, Source, ErrorQueue) - Constructor for class fabric.parse.Lexer_c
 
Lexer_c(Reader) - Constructor for class fabric.parse.Lexer_c
Creates a new scanner
lhsType - Variable in class fabric.translate.BinaryToFabilExt_c
 
load_enc - Variable in class codebases.types.PathResolver
 
load_enc - Variable in class codebases.types.SimpleResolver
 
load_raw - Variable in class codebases.types.PathResolver
 
load_raw - Variable in class codebases.types.SimpleResolver
 
load_src - Variable in class codebases.types.PathResolver
 
load_src - Variable in class codebases.types.SimpleResolver
 
loadedResolver() - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
loadedResolver() - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
loadEncodedClasses(boolean) - Method in class codebases.types.CodebaseResolver
 
loadEncodedClasses(boolean) - Method in interface codebases.types.NamespaceResolver
Specify whether to use encoded class files to resolve names in this namespace.
loadEncodedClasses(boolean) - Method in class codebases.types.PathResolver
Specify whether to use encoded class files to resolve names for all namespaces in this path.
loadEncodedClasses(boolean) - Method in class codebases.types.SafeResolver
 
loadEncodedClasses(boolean) - Method in class codebases.types.SimpleResolver
 
loadFile(String) - Method in class codebases.types.SimpleResolver
Load a class file (with encoded type information) for class name.
loadFile(URI, String) - Method in class fabric.filemanager.FabricFileManager
 
loadRawClasses(boolean) - Method in class codebases.types.CodebaseResolver
 
loadRawClasses(boolean) - Method in interface codebases.types.NamespaceResolver
Specify whether to use raw class files to resolve names in this namespace.
loadRawClasses(boolean) - Method in class codebases.types.PathResolver
Specify whether to use raw class files to resolve names for all namespaces in this path.
loadRawClasses(boolean) - Method in class codebases.types.SafeResolver
 
loadRawClasses(boolean) - Method in class codebases.types.SimpleResolver
 
loadSource(boolean) - Method in class codebases.types.CodebaseResolver
 
loadSource(boolean) - Method in interface codebases.types.NamespaceResolver
Specify whether to use raw class files to resolve names in this namespace.
loadSource(boolean) - Method in class codebases.types.PathResolver
Specify whether to use source files to resolve names for all namespaces in this path.
loadSource(boolean) - Method in class codebases.types.SafeResolver
 
loadSource(boolean) - Method in class codebases.types.SimpleResolver
 
loc - Variable in class fabric.ast.AmbNewFabricArray_c
Deprecated.
 
local_ns - Static variable in class fabil.ExtensionInfo
 
localNamespace() - Method in interface codebases.frontend.ExtensionInfo
The namespace used for source resolved against the classpath and sourcepath.
localNamespace() - Method in class fabil.ExtensionInfo
 
localNamespace() - Method in class fabric.ExtensionInfo
 
LocalResolver - Class in fabric
 
LocalResolver(ExtensionInfo, URI, NamespaceResolver, Map<String, URI>) - Constructor for class fabric.LocalResolver
 
LocalSource - Class in codebases.frontend
 
LocalSource(FileObject, Kind, URI) - Constructor for class codebases.frontend.LocalSource
 
LocalSource(FileObject, Kind, URI, boolean) - Constructor for class codebases.frontend.LocalSource
 
LocatedExt_c - Class in fabric.extension
A located expressions is any allocation that may be assigned a location.
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
Deprecated.
 
location() - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
location(Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
location(N, Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
location - Variable in class fabil.ast.New_c
Deprecated.
 
location() - Method in class fabil.ast.New_c
Deprecated.
 
location(Expr) - Method in class fabil.ast.New_c
Deprecated.
 
location(N, Expr) - Method in class fabil.ast.New_c
Deprecated.
 
location - Variable in class fabil.ast.NewFabricArray_c
Deprecated.
 
location() - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
location(Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
location(N, Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
location() - Method in interface fabric.ast.AmbNewFabricArray
 
location(Expr) - Method in interface fabric.ast.AmbNewFabricArray
 
location() - Method in class fabric.ast.AmbNewFabricArray_c
Deprecated.
 
location(Expr) - Method in class fabric.ast.AmbNewFabricArray_c
Deprecated.
 
location(Expr) - Method in interface fabric.ast.FabricArrayInit
 
location - Variable in class fabric.ast.FabricArrayInit_c
Deprecated.
 
location() - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
location(Expr) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
location(N, Expr) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
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
 
location - Variable in class fabric.types.AccessPathNew
 
location() - Method in class fabric.types.AccessPathNew
 
location() - Method in interface fabric.types.FabricContext
 
location - Variable in class fabric.types.FabricContext_c
 
location() - Method in class fabric.types.FabricContext_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
 
lookupImport(CodebaseTypeSystem) - Method in class codebases.ast.CodebaseImportDel_c
Codebase version of ts.forName().
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
 
makeFragmentInitLabels(FabricToFabilRewriter, Label) - Method in class fabric.translate.ClassBodyToFabilExt_c
Produces the $initLabels() method for a class fragment.
MakeSignature - Class in fabil
A quick and dirty hack for generating signature templates.
MakeSignature() - Constructor for class fabil.MakeSignature
 
makeSplitFragments(FabricToFabilRewriter, Map<String, <any>>) - Method in class fabric.translate.ClassBodyToFabilExt_c
Produces the split fragments from the given split map.
mayAbort() - Method in interface fabil.ast.Atomic
 
mayAbort(boolean) - Method in interface fabil.ast.Atomic
 
mayAbort - Variable in class fabil.ast.Atomic_c
Deprecated.
 
mayAbort() - Method in class fabil.ast.Atomic_c
Deprecated.
 
mayAbort(boolean) - Method in class fabil.ast.Atomic_c
Deprecated.
 
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
 
meetLabelTranslator() - Method in class fabric.types.FabricTypeSystem_c
 
memberInstance() - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
Memoized(Job) - Method in class fabil.frontend.FabILScheduler
 
Memoizer - Class in fabil.visit
Adds code for memoizing the result of fabric.lang.security.PairLabel.hashCode().
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
 
MethodDeclJifExt - Class in fabric.extension
 
MethodDeclJifExt(ToJavaExt) - Constructor for class fabric.extension.MethodDeclJifExt
 
MethodDeclToFabilExt_c - Class in fabric.translate
 
MethodDeclToFabilExt_c() - Constructor for class fabric.translate.MethodDeclToFabilExt_c
 
methodInstance(Position, ReferenceType, Flags, Type, String, List<? extends Type>, List<? extends Type>) - Method in class fabil.types.FabILTypeSystem_c
 
minor() - Method in class fabil.Version
 
minor() - Method in class fabric.Version
 
MINOR_NOT_COMPATIBLE - Static variable in class codebases.types.NamespaceResolver_c
 
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
 
mobile - Static variable in class fabil.Topics
 
mobile - Static variable in class fabric.Topics
 
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
 
moreSpecificImpl(ProcedureInstance) - Method in class fabil.types.FabILMethodInstance_c
 
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 interface codebases.ast.CodebaseDecl
 
name - Variable in class codebases.ast.CodebaseDecl_c
Deprecated.
 
name() - Method in class codebases.ast.CodebaseDecl_c
Deprecated.
 
name() - Method in interface codebases.frontend.CodebaseSource
The short name of this source (i.e.
Name - Class in fabil.parse
 
Name(NodeFactory, CodebaseTypeSystem, URI, Position, Id) - Constructor for class fabil.parse.Name
 
Name(NodeFactory, CodebaseTypeSystem, URI, Position, Name, Id) - Constructor for class fabil.parse.Name
 
name() - Method in class fabil.Version
 
Name - Class in fabric.parse
 
Name(Grm, Position, Id) - Constructor for class fabric.parse.Name
 
Name(Grm, Position, String) - Constructor for class fabric.parse.Name
 
Name(Grm, Position, Amb, Id) - Constructor for class fabric.parse.Name
 
Name(Grm, Position, Amb, String) - Constructor for class fabric.parse.Name
 
name() - Method in class fabric.Version
 
namespace() - Method in interface codebases.ast.CodebaseNode
The namespace this alias occurs in.
namespace - Variable in class codebases.ast.CodebaseNode_c
Deprecated.
 
namespace() - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
namespace() - Method in interface codebases.ast.CodebaseQualifier
 
namespace - Variable in class codebases.frontend.CBTypeExists
 
namespace() - Method in class codebases.frontend.CBTypeExists
 
namespace() - Method in interface codebases.frontend.CodebaseSource
The namespace loading this source.
namespace - Variable in class codebases.frontend.LocalSource
 
namespace() - Method in class codebases.frontend.LocalSource
 
namespace - Variable in class codebases.frontend.RemoteSource
 
namespace() - Method in class codebases.frontend.RemoteSource
 
namespace() - Method in class codebases.types.CBImportTable
 
namespace - Variable in class codebases.types.CBPackage_c
 
namespace() - Method in class codebases.types.CBPackage_c
 
namespace() - Method in interface codebases.types.CBPlaceHolder
 
namespace - Variable in class codebases.types.CBPlaceHolder_c
 
namespace() - Method in class codebases.types.CBPlaceHolder_c
 
namespace() - Method in interface codebases.types.CodebaseContext
 
namespace() - Method in interface codebases.types.NamespaceResolver
The URI of this namespace
namespace - Variable in class codebases.types.NamespaceResolver_c
 
namespace() - Method in class codebases.types.NamespaceResolver_c
 
namespace - Variable in class fabil.ast.FabILDisamb
 
namespace() - Method in class fabil.types.FabILContext_c
 
namespace - Variable in class fabric.ast.FabricDisamb_c
 
namespace() - Method in interface fabric.filemanager.CodebaseLocation
Returns a uri associated with this location
namespace() - Method in class fabric.filemanager.CodebaseLocation_c
 
namespace() - Method in class fabric.types.FabricContext_c
 
namespace - Variable in class fabric.visit.FClassGenerator
 
NamespaceChecked(Job) - Method in class fabric.FabricScheduler
 
NamespaceChecker - Class in fabric.visit
 
NamespaceChecker(Job, FabricTypeSystem, FabricNodeFactory) - Constructor for class fabric.visit.NamespaceChecker
 
namespaceClassLocation(URI) - Method in class fabric.filemanager.FabricFileManager
Returns the location associated with class files for this namespcae.
namespaceDependencies() - Method in interface fabric.types.FabricParsedClassType
 
namespaceDependencies - Variable in class fabric.types.FabricParsedClassType_c
 
namespaceDependencies() - Method in class fabric.types.FabricParsedClassType_c
 
namespaceResolver(URI) - Method in interface codebases.types.CodebaseTypeSystem
 
NamespaceResolver - Interface in codebases.types
 
namespaceResolver(URI) - Method in class fabil.types.FabILTypeSystem_c
 
namespaceResolver(URI) - Method in class fabric.types.FabricTypeSystem_c
 
NamespaceResolver_c - Class in codebases.types
 
NamespaceResolver_c(ExtensionInfo, URI) - Constructor for class codebases.types.NamespaceResolver_c
 
NamespaceResolver_c(ExtensionInfo, URI, NamespaceResolver) - Constructor for class codebases.types.NamespaceResolver_c
 
NamespaceResolver_c(ExtensionInfo, URI, NamespaceResolver, Map<String, URI>) - Constructor for class codebases.types.NamespaceResolver_c
 
namespaceResolvers - Variable in class fabil.types.FabILTypeSystem_c
 
namespaceResolvers - Variable in class fabric.types.FabricTypeSystem_c
 
namespaceSourceLocation(URI) - Method in class fabric.filemanager.FabricFileManager
Returns the location associated with source files for this namespcae.
namespaceToJavaPackagePrefix(URI) - Method in interface codebases.frontend.ExtensionInfo
Return the java package prefix for the given namespace.
namespaceToJavaPackagePrefix(URI) - Method in class codebases.visit.CodebaseTranslator
 
namespaceToJavaPackagePrefix(URI) - Method in class fabil.ExtensionInfo
 
namespaceToJavaPackagePrefix(URI) - Method in class fabric.ExtensionInfo
 
NATIVE - Static variable in class fabil.parse.sym
 
NATIVE - Static variable in class fabric.parse.sym
 
needsDynamicTypeMethods(Type) - Method in class fabric.types.FabricTypeSystem_c
Returns true if the type has runtime methods for cast and instanceof
needsImplClass(Type) - Method in class fabric.types.FabricTypeSystem_c
Returns true if the type uses an external class to define its is dynamic type methods
needsMemoization(MethodInstance) - Method in class fabil.visit.Memoizer
 
needWorker - Variable in class fabil.FabILOptions
Whether to run a Fabric worker so that Fabric-hosted source code can be compiled.
needWorker() - Method in class fabil.FabILOptions
 
needWorker - Variable in class fabric.FabricOptions
Whether to run a Fabric worker.
needWorker() - Method in class fabric.FabricOptions
 
New(Position, TypeNode, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, TypeNode, Expr, List<Expr>, ClassBody) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, Expr, TypeNode, Expr, List<Expr>) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, Expr, TypeNode, Expr, List<Expr>, ClassBody) - Method in interface fabil.ast.FabILNodeFactory
 
New(Position, Expr, TypeNode, Expr, List<Expr>, ClassBody) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, Expr, TypeNode, List<Expr>, ClassBody) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, TypeNode, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, Expr, TypeNode, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
New(Position, TypeNode, 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<Expr>, 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
Deprecated.
New_c(Position, Expr, TypeNode, List<Expr>, ClassBody, Expr) - Constructor for class fabil.ast.New_c
Deprecated.
New_c(Position, Expr, TypeNode, List<Expr>, ClassBody, Expr, Ext) - Constructor for class fabil.ast.New_c
Deprecated.
 
new_codebase - Variable in class fabric.types.FabricTypeSystem_c
The codebase to be published to Fabric.
NewArrayJifExt_c - Class in fabric.extension
 
NewArrayJifExt_c(ToJavaExt) - Constructor for class fabric.extension.NewArrayJifExt_c
 
newClass(Position, Flags, String) - Method in class codebases.visit.CBTypeBuilder
 
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, 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, Expr, List<Expr>, int) - Method in interface fabil.ast.FabILNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, Expr, Expr, int, FabricArrayInit) - Method in interface fabil.ast.FabILNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, Expr, Expr, List<Expr>, int, FabricArrayInit) - Method in interface fabil.ast.FabILNodeFactory
 
NewFabricArray(Position, TypeNode, Expr, Expr, Expr, List<Expr>, int, FabricArrayInit) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, Expr, Expr, List<Expr>) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, Expr, Expr, List<Expr>, int) - Method in class fabil.ast.FabILNodeFactory_c
 
NewFabricArray(Position, TypeNode, Expr, 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
Deprecated.
NewFabricArray_c(Position, TypeNode, List<Expr>, int, FabricArrayInit, Expr, Expr, Expr) - Constructor for class fabil.ast.NewFabricArray_c
Deprecated.
NewFabricArray_c(Position, TypeNode, List<Expr>, int, FabricArrayInit, Expr, Expr, Expr, Ext) - Constructor for class fabil.ast.NewFabricArray_c
Deprecated.
 
NewFabricArray_c - Class in fabric.ast
Deprecated.
NewFabricArray_c(Position, TypeNode, List<Expr>, int, ArrayInit) - Constructor for class fabric.ast.NewFabricArray_c
Deprecated.
NewFabricArray_c(Position, TypeNode, List<Expr>, int, ArrayInit, Ext) - Constructor for class fabric.ast.NewFabricArray_c
Deprecated.
 
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.ProviderRewriter
 
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
 
noAlias - Variable in class codebases.types.NamespaceResolver_c
no such alias cache
noClassCache - Variable in class codebases.types.SimpleResolver
 
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
 
node() - Method in class fabric.extension.FabricCastExt
 
node() - Method in class fabric.extension.FabricInstanceofExt
 
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
 
noPackage - Variable in class codebases.types.NamespaceResolver_c
packageExists == false cache
NOT - Static variable in class fabil.parse.sym
 
NOT - Static variable in class fabric.parse.sym
 
NOT_COMPATIBLE - Static variable in class codebases.types.NamespaceResolver_c
 
NOTEQ - Static variable in class fabil.parse.sym
 
NOTEQ - Static variable in class fabric.parse.sym
 
notFound - Variable in class codebases.types.NamespaceResolver_c
class not found cache
ns - Variable in class codebases.ast.CodebaseImportDel_c
 
ns - Variable in class codebases.types.CBImportTable
 
ns - Variable in class codebases.types.CBPackageContextResolver
 
ns - Variable in class codebases.visit.CBTypeBuilder
 
ns - Variable in class codebases.visit.InitCodebaseImports
 
ns - Variable in class fabil.parse.Grm
 
ns - Variable in class fabil.parse.Name
 
ns - Variable in class fabric.parse.Grm
 
ns - Variable in class fabric.parse.Name
 
nsClassLocation - Variable in class fabric.filemanager.FabricFileManager
 
nsSrcLocation - Variable in class fabric.filemanager.FabricFileManager
 
NULL_LITERAL - Static variable in class fabil.parse.sym
 
NULL_LITERAL - Static variable in class fabric.parse.sym
 

O

objectFragments - Variable in class fabric.visit.FabricToFabilRewriter
A list of field names corresponding to object fragments that need to be initialized by the Jif initializer before initializing other fields.
objectJob - Variable in class fabric.OutputExtensionInfo.OutputScheduler
 
objectType(TypeNode) - Method in interface fabil.ast.New
 
objectType(TypeNode) - Method in class fabil.ast.New_c
Deprecated.
 
ois(ByteArrayInputStream) - Method in class codebases.types.CBTypeEncoder
 
open() - Method in interface codebases.frontend.CodebaseSource
Open the source file.
open() - Method in class codebases.frontend.DerivedLocalSource
Open the source file.
open() - Method in class codebases.frontend.LocalSource
 
open() - Method in class codebases.frontend.RemoteSource
 
openInputStream() - Method in class fabric.filemanager.FabricFileObject
 
optLevel - Variable in class fabil.FabILOptions
Use optimizations.
optLevel() - Method in class fabil.FabILOptions
 
optLevel - Variable in class fabric.FabricOptions
Use optimizations.
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
 
outer() - Method in class codebases.types.CBPackageContextResolver
The system resolver.
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.FabILOutputOptions - Class in fabric
 
OutputExtensionInfo.OutputScheduler - Class in fabric
 
outputFileObject(String, String, Source) - Method in class codebases.frontend.CBTargetFactory
 
outputLocation() - Method in class fabil.FabILOptions
 
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
 
packageExists(URI, String) - Method in interface codebases.types.CodebaseTypeSystem
 
packageExists(String) - Method in class codebases.types.NamespaceResolver_c
 
packageExists(URI, String) - Method in class fabil.types.FabILTypeSystem_c
 
packageExists(String) - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
packageExists(Location, String) - Method in class fabric.filemanager.FabricFileManager
 
packageExists(URI, String) - Method in class fabric.types.FabricTypeSystem_c
 
packageExists(String) - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
packageExists(String) - Method in class fabric.types.FileSystemResolver
 
packageExistsImpl(String) - Method in interface codebases.types.NamespaceResolver
Check if a package exists.
packageExistsImpl(String) - Method in class codebases.types.PathResolver
 
packageExistsImpl(String) - Method in class codebases.types.SimpleResolver
 
packageForName(URI, Package, String) - Method in interface codebases.types.CodebaseTypeSystem
 
packageForName(URI, String) - Method in interface codebases.types.CodebaseTypeSystem
 
packageForName(URI, Package, String) - Method in class fabil.types.FabILTypeSystem_c
 
packageForName(URI, String) - Method in class fabil.types.FabILTypeSystem_c
 
packageForName(URI, Package, String) - Method in class fabric.types.FabricTypeSystem_c
 
packageForName(URI, String) - Method in class fabric.types.FabricTypeSystem_c
 
PackageNodeExt_c - Class in fabil.extension
 
PackageNodeExt_c() - Constructor for class fabil.extension.PackageNodeExt_c
 
PackageNodeToFabilExt_c - Class in fabric.translate
 
PackageNodeToFabilExt_c() - Constructor for class fabric.translate.PackageNodeToFabilExt_c
 
packages - Variable in class codebases.types.NamespaceResolver_c
packageExists == true cache
pairLabelTranslator() - Method in class fabric.types.FabricTypeSystem_c
 
parent - Variable in class codebases.types.NamespaceResolver_c
 
parent - Variable in class fabric.OutputExtensionInfo
 
Parsed(Job) - Method in class fabric.OutputExtensionInfo.OutputScheduler
 
parsedResolver() - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
parsedResolver() - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
parser(Reader, Source, ErrorQueue) - Method in class fabil.ExtensionInfo
 
parser(Reader, Source, ErrorQueue) - Method in class fabric.ExtensionInfo
 
parseSourceArg(String[], int) - Method in class fabil.FabILOptions
 
parseSourceArg(String[], int) - Method in class fabric.FabricOptions
 
PARTITION_INITIALIZER_METHOD_NAME - Static variable in class fabric.visit.FabricToFabilRewriter
 
patch_level() - Method in class fabil.Version
 
patch_level() - Method in class fabric.Version
 
path() - Method in class codebases.frontend.RemoteSource
 
path - Variable in class codebases.types.PathResolver
 
path() - Method in class fabil.parse.Lexer_c
 
path() - Method in class fabric.parse.Lexer_c
 
path - Variable in class fabric.types.AccessPathStore
 
path() - Method in class fabric.types.AccessPathStore
 
pathMap - Variable in class fabric.filemanager.FabricFileManager
 
PathResolver - Class in codebases.types
 
PathResolver(ExtensionInfo, URI, List<NamespaceResolver>) - Constructor for class codebases.types.PathResolver
 
PathResolver(ExtensionInfo, URI, List<NamespaceResolver>, Map<String, URI>) - Constructor for class codebases.types.PathResolver
 
placeHolder(TypeObject, Set<? extends TypeObject>) - Method in class fabil.types.FabILTypeSystem_c
 
placeHolder(TypeObject, Set<? extends TypeObject>) - Method in class fabric.types.FabricTypeSystem_c
 
platform - Variable in class codebases.types.CodebaseResolver
 
platform - Variable in class fabric.LocalResolver
 
platform_mode - Variable in class fabil.FabILOptions
Whether we are building platform classes.
platform_mode - Variable in class fabric.FabricOptions
Whether we are building platform classes.
platform_ns - Static variable in class fabil.ExtensionInfo
 
platformMode() - Method in class fabil.FabILOptions
 
platformMode() - Method in class fabric.FabricOptions
 
platformNamespace() - Method in interface codebases.frontend.ExtensionInfo
The namespace used for built-in types like fabric.lang.Object.
platformNamespace() - Method in class fabil.ExtensionInfo
 
platformNamespace() - Method in class fabric.ExtensionInfo
 
platformResolver() - Method in interface codebases.types.CodebaseTypeSystem
 
platformResolver - Variable in class fabil.types.FabILTypeSystem_c
 
platformResolver() - Method in class fabil.types.FabILTypeSystem_c
 
platformResolver - Variable in class fabric.types.FabricTypeSystem_c
 
platformResolver() - 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
 
policy() - Method in interface fabric.ast.AccessPolicy
 
policy(LabelNode) - Method in interface fabric.ast.AccessPolicy
 
policy - Variable in class fabric.ast.AccessPolicy_c
Deprecated.
 
policy() - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
policy(LabelNode) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
policy(N, LabelNode) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
policy() - Method in interface fabric.types.AccessPolicyInstance
 
policy - Variable in class fabric.types.AccessPolicyInstance_c
 
policy() - Method in class fabric.types.AccessPolicyInstance_c
 
policyToJava(Policy, JifToJavaRewriter, Expr, boolean) - Method in class fabric.translate.FabricPairLabelToFabilExpr_c
 
populateFlags(Set<<any>>) - Method in class fabil.FabILOptions
 
populateFlags(Set<<any>>) - Method in class fabric.FabricOptions
 
pos - Variable in class fabric.types.AccessPolicyInstance_c
 
position() - Method in class fabric.types.AccessPolicyInstance_c
 
postApplyArgs() - Method in class fabil.FabILOptions
 
postApplyArgs() - Method in class fabric.FabricOptions
 
postDelAbortStmt(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelAmbNewFabricArray(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelAtomic(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelFabricArrayInit(JLDel) - Method in class fabil.extension.FabILDelFactory_c
 
postDelFabricArrayInit(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelFabricArrayTypeNode(JLDel) - Method in class fabil.extension.FabILDelFactory_c
 
postDelFabricArrayTypeNode(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelNewFabricArray(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelProviderLabel(JLDel) - Method in class fabil.extension.FabILDelFactory_c
 
postDelRemoteWorkerGetter(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelRetryStmt(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelStore(JLDel) - Method in class fabric.ast.FabricDelFactory_c
 
postDelWorker(JLDel) - 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
 
postExtAbortStmt(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtAccessPolicy(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtAccessPolicy(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtAmbNewFabricArray(Ext) - Method in class fabric.ast.FabricJifExtFactory_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
 
postExtAtomic(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtCodebaseDecl(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtCodebaseDecl(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtCodebaseDecl(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtCodebaseNode(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtCodebaseNode(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtCodebaseNode(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtCodebaseTypeNode(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtFabricArrayInit(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtFabricArrayInit(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtFabricArrayInit(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtFabricArrayTypeNode(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtFabricArrayTypeNode(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtFabricArrayTypeNode(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtNewFabricArray(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtNewFabricArray(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtNewFabricArray(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtProviderLabel(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtRemoteWorkerGetter(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtRemoteWorkerGetter(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtRetry(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtRetryStmt(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtRetryStmt(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtStore(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtStore(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
postExtStoreGetter(Ext) - Method in class fabil.extension.FabILExtFactory_c
 
postExtWorker(Ext) - Method in class fabric.ast.AbstractFabExtFactory_c
 
postExtWorker(Ext) - Method in class fabric.ast.FabricJifExtFactory_c
 
PreFClassGenerationBarrier() - Method in class fabric.FabricScheduler
 
prefixToPackage(Prefix) - Method in class fabric.parse.Grm
 
prefixToQualifier(Prefix) - Method in class fabric.parse.Grm
 
prerequisiteGoals(Scheduler) - Method in class codebases.frontend.CodebaseImportsInitialized
 
prettyPrint(CodeWriter, PrettyPrinter) - Method in class codebases.ast.CodebaseImportDel_c
Write the import to an output file.
prettyPrint(CodeWriter, PrettyPrinter) - Method in class fabil.ast.AbortStmt_c
Deprecated.
 
prettyPrint(CodeWriter, PrettyPrinter) - Method in class fabil.ast.ProviderLabel_c
Deprecated.
Write the expression to an output file.
prettyPrint(CodeWriter, PrettyPrinter) - Method in class fabil.ast.RetryStmt_c
Deprecated.
 
prettyPrint(CodeWriter, PrettyPrinter) - Method in class fabil.ast.StoreGetter_c
Deprecated.
 
Principal() - Method in interface fabil.types.FabILTypeSystem
 
Principal() - Method in class fabil.types.FabILTypeSystem_c
 
PRINCIPAL - Static variable in class fabric.parse.sym
 
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
 
PrincipalExpr(Position, PrincipalNode, Expr) - Method in interface fabric.ast.FabricNodeFactory
 
PrincipalExpr(Position, PrincipalNode, Expr) - Method in class fabric.ast.FabricNodeFactory_c
 
PrincipalExprExt_c - Class in fabric.extension
 
PrincipalExprExt_c() - Constructor for class fabric.extension.PrincipalExprExt_c
 
PrincipalExprToFabilExt_c - Class in fabric.translate
 
PrincipalExprToFabilExt_c() - Constructor for class fabric.translate.PrincipalExprToFabilExt_c
 
PrincipalsCoerced(Job) - Method in class fabric.FabricScheduler
 
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
 
produceInstanceOfMethod(JifPolyType, JifToJavaRewriter, boolean) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
produceObjectFormal(JifPolyType, JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
production_table() - Method in class fabil.parse.Grm
Access to production table.
production_table() - Method in class fabric.parse.Grm
Access to production table.
profile - Static variable in class fabil.Topics
 
profile - Static variable in class fabric.Topics
 
PROTECTED - Static variable in class fabil.parse.sym
 
PROTECTED - Static variable in class fabric.parse.sym
 
PROVIDER - Static variable in class fabric.parse.sym
 
ProviderLabel(Position, TypeNode) - Method in interface fabil.ast.FabILNodeFactory
 
ProviderLabel(Position, TypeNode) - Method in class fabil.ast.FabILNodeFactory_c
 
ProviderLabel - Interface in fabil.ast
AST interface for representing the provider label for a class.
providerLabel(JifClassType) - Method in class fabric.types.FabricTypeSystem_c
 
ProviderLabel_c - Class in fabil.ast
Deprecated.
ProviderLabel_c(Position, TypeNode) - Constructor for class fabil.ast.ProviderLabel_c
Deprecated.
ProviderLabel_c(Position, TypeNode, Ext) - Constructor for class fabil.ast.ProviderLabel_c
Deprecated.
 
ProviderLabelToFabilExpr_c - Class in fabric.translate
 
ProviderLabelToFabilExpr_c() - Constructor for class fabric.translate.ProviderLabelToFabilExpr_c
 
providerLabelTranslator() - Method in class fabric.types.FabricTypeSystem_c
 
ProviderRewriter - Class in fabil.visit
Rewrites ProviderLabel AST nodes into get$$updateLabel() calls on class object proxies.
ProviderRewriter(ExtensionInfo) - Constructor for class fabil.visit.ProviderRewriter
 
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
 
publish - Variable in class codebases.frontend.LocalSource
 
publish - Variable in class codebases.frontend.RemoteSource
 
publish - Variable in class fabric.FabricOptions
Whether to publish source to Fabric.
publish() - Method in class fabric.FabricOptions
Should source be published to Fabric? Always false in signature or platform modes.
PublishedLocalSource - Class in codebases.frontend
 
PublishedLocalSource(String, FileObject, URI) - Constructor for class codebases.frontend.PublishedLocalSource
 
publishedSource(URI, String) - Method in interface codebases.frontend.CodebaseSource
Create a derived source object with a new namespace and short name.
publishedSource(URI, String) - Method in class codebases.frontend.LocalSource
 
publishedSource(URI, String) - Method in class codebases.frontend.RemoteSource
 
publishOnly - Variable in class fabric.FabricOptions
Whether to fully compile classes or just verify and publish.
publishOnly() - Method in class fabric.FabricOptions
 
pushLocation(Expr) - Method in interface fabric.types.FabricContext
 
pushLocation(Expr) - Method in class fabric.types.FabricContext_c
 
pushLocation(Expr) - Method in class fabric.visit.FabricToFabilRewriter
 
pushSource(ImportTable) - Method in class fabil.types.FabILContext_c
 

Q

qq - Variable in class fabil.visit.AtomicMethodRewriter
 
qq - Variable in class fabil.visit.AtomicRewriter
 
qq() - Method in class fabil.visit.AtomicRewriter
 
qq - Variable in class fabil.visit.ClassHashGenerator
 
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.ProviderRewriter
 
qq() - Method in class fabil.visit.ProviderRewriter
 
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
 
quietTypeForName(String) - Method in class codebases.types.CBLazyClassInitializer
 

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
 
reader - Variable in class codebases.frontend.LocalSource
 
reader - Variable in class codebases.frontend.RemoteSource
 
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.State - Class in fabil.visit
The access state of a variable (resident, read, written).
receiverToExpr(AmbReceiver) - Method in class fabric.parse.Grm
 
reconstruct(N, PackageNode, List<CodebaseDecl>, List<Import>, List<TopLevelDecl>) - Method in class codebases.ast.CBSourceFile_c
Deprecated.
Reconstruct the source file.
reconstruct(N, Receiver, Id, Expr, List<Expr>) - Method in class fabil.ast.FabILCall_c
Deprecated.
 
reconstruct(N, List<Expr>, Expr, Expr, Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
Reconstructs the initializer.
reconstruct(N, Expr, TypeNode, List<Expr>, ClassBody, Expr) - Method in class fabil.ast.New_c
Deprecated.
Reconstructs the expression.
reconstruct(N, TypeNode, List<Expr>, FabricArrayInit, Expr, Expr, Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
Reconstructs the expression.
reconstruct(N, LabelNode) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
reconstruct(N, List<Expr>, Expr, Expr) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
Reconstructs the initializer.
reconstruct(N, Receiver, Id, Expr, List<Expr>) - Method in class fabric.ast.FabricCall_c
Deprecated.
 
reconstruct(N, TypeNode, LabelNode, Id, Expr) - Method in class fabric.ast.FabricFieldDecl_c
Deprecated.
 
reconstruct(N, Expr) - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
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.
referenceLabel(FabricContext) - Method in class fabric.extension.LocatedExt_c
Returns a precise bound on the label of the reference of the allocated object.
referenceLabel(FabricContext) - Method in class fabric.extension.NewExt_c
 
referenceLabel(FabricContext) - Method in class fabric.extension.NewFabricArrayExt_c
 
referenceLabel(FabricContext) - Method in class fabric.extension.NewLabelExt_c
 
referenceLabel(FabricContext) - Method in class fabric.extension.PrincipalExprExt_c
 
REMOTE_WRAPPER_SUFFIX - Static variable in class fabric.visit.RemoteCallWrapperAdder
 
remote_wrappers - Variable in class fabric.extension.ClassBodyJifExt_c
 
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
 
RemoteSource - Class in codebases.frontend
 
RemoteSource(FileObject, FClass, Kind) - Constructor for class codebases.frontend.RemoteSource
 
RemoteSource(FileObject, FClass, Kind, boolean) - Constructor for class codebases.frontend.RemoteSource
 
remoteWorker() - Method in interface fabil.ast.FabILCall
 
remoteWorker(Expr) - Method in interface fabil.ast.FabILCall
 
remoteWorker - Variable in class fabil.ast.FabILCall_c
Deprecated.
 
remoteWorker() - Method in class fabil.ast.FabILCall_c
Deprecated.
 
remoteWorker(Expr) - Method in class fabil.ast.FabILCall_c
Deprecated.
 
remoteWorker(N, Expr) - Method in class fabil.ast.FabILCall_c
Deprecated.
 
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
Deprecated.
 
remoteWorker() - Method in class fabric.ast.FabricCall_c
Deprecated.
 
remoteWorker(Expr) - Method in class fabric.ast.FabricCall_c
Deprecated.
 
remoteWorker(N, Expr) - Method in class fabric.ast.FabricCall_c
Deprecated.
 
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
Deprecated.
RemoteWorkerGetter_c(Position, Expr) - Constructor for class fabric.ast.RemoteWorkerGetter_c
Deprecated.
RemoteWorkerGetter_c(Position, Expr, Ext) - Constructor for class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
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
Deprecated.
 
remoteWorkerName() - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
remoteWorkerName(Expr) - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
remoteWorkerName(N, Expr) - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
remoteWorkerPrincipal() - Method in interface fabric.ast.FabricCall
 
remoteWorkerPrincipal(Principal) - Method in interface fabric.ast.FabricCall
 
remoteWorkerPrincipal - Variable in class fabric.ast.FabricCall_c
Deprecated.
 
remoteWorkerPrincipal() - Method in class fabric.ast.FabricCall_c
Deprecated.
 
remoteWorkerPrincipal(Principal) - Method in class fabric.ast.FabricCall_c
Deprecated.
 
remoteWorkerPrincipal(RemoteWorkerGetter, FabricContext, Position) - Method in interface fabric.types.FabricTypeSystem
 
remoteWorkerPrincipal(RemoteWorkerGetter, FabricContext, Position) - Method in class fabric.types.FabricTypeSystem_c
 
remoteWrappers() - Method in class fabric.extension.ClassBodyJifExt_c
 
removeMethod(MethodInstance) - Method in interface fabric.types.FabricParsedClassType
 
removeMethod(MethodInstance) - Method in class fabric.types.FabricParsedClassType_c
 
replace(String, Importable) - Method in interface codebases.types.NamespaceResolver
Add a type object to the cache, regardless of whether it exists already.
replace(String, Importable) - Method in class codebases.types.NamespaceResolver_c
 
replaceProjections(Label) - Method in interface fabric.types.FabricTypeSystem
 
replaceProjections(Label) - Method in class fabric.types.FabricTypeSystem_c
 
replaceTarget(Receiver, ReadWriteChecker.State) - Method in class fabil.visit.ProxyRewriter
 
REPORT_TOPICS - Static variable in class codebases.types.NamespaceResolver_c
 
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
 
requiresLocation(FabricTypeSystem) - Method in class fabric.extension.LocatedExt_c
Returns true if this located expression requires a location.
requiresLocation(FabricTypeSystem) - Method in class fabric.extension.NewExt_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
 
resolve(TypeSystem) - Method in class codebases.types.CBPlaceHolder_c
 
resolveCodebaseName(String) - Method in class codebases.types.CBImportTable
 
resolveCodebaseName(String) - Method in interface codebases.types.CodebaseContext
 
resolveCodebaseName(String) - Method in interface codebases.types.NamespaceResolver
Get the URI of a codebase using a local alias.
resolveCodebaseName(String) - Method in class codebases.types.NamespaceResolver_c
 
resolveCodebaseName(String) - Method in class fabil.types.FabILContext_c
 
resolveCodebaseName(String) - Method in class fabric.types.FabricContext_c
 
resolveCodebaseNameImpl(String) - Method in class codebases.types.CodebaseResolver
 
resolveCodebaseNameImpl(String) - Method in interface codebases.types.NamespaceResolver
 
resolveCodebaseNameImpl(String) - Method in class codebases.types.PathResolver
 
resolveCodebaseNameImpl(String) - Method in class codebases.types.SafeResolver
 
resolveCodebaseNameImpl(String) - Method in class codebases.types.SimpleResolver
 
resolver() - Method in class codebases.types.CBPackage_c
 
resolveSafe(TypeSystem) - Method in class codebases.types.CBPlaceHolder_c
A potentially safer alternative implementation of resolve.
resolveUnsafe(TypeSystem) - Method in class codebases.types.CBPlaceHolder_c
 
restoreSystemResolver(SystemResolver) - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
restoreSystemResolver(SystemResolver) - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
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
Deprecated.
RetryStmt_c(Position) - Constructor for class fabil.ast.RetryStmt_c
Deprecated.
RetryStmt_c(Position, Ext) - Constructor for class fabil.ast.RetryStmt_c
Deprecated.
 
RetryStmt_c - Class in fabric.ast
Deprecated.
RetryStmt_c(Position) - Constructor for class fabric.ast.RetryStmt_c
Deprecated.
RetryStmt_c(Position, Ext) - Constructor for class fabric.ast.RetryStmt_c
Deprecated.
 
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
 
rewriteProvider(ProviderRewriter) - Method in class fabil.types.FabILParsedClassType_c
 
RewriteProviders(Job) - Method in class fabil.frontend.FabILScheduler
Rewrites C.provider expressions.
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.CaseExt_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
 
root() - Method in class fabric.types.AccessPathStore
 
rootObjectLabel() - Method in interface fabric.types.FabricClassType
Objects are split into a "root object" that points to several "fragment object" that contain the actual fields.
rootObjectLabel() - Method in class fabric.types.FabricParsedClassType_c
 
rootObjectLabel() - Method in class fabric.types.FabricSubstClassType_c
 
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
 
run() - Method in class codebases.frontend.CBTypeExistsPass
 
runtimeLabelUtil() - Method in class fabric.visit.FabricToFabilRewriter
 
RuntimePackageName() - Method in class fabric.types.FabricTypeSystem_c
 
runtimePrincipalUtil() - Method in class fabric.visit.FabricToFabilRewriter
The full class path of the runtime principal utility.
runToCompletion() - Method in class fabil.frontend.FabILScheduler
 
runToCompletion() - Method in class fabric.FabricScheduler
 

S

SafeResolver - Class in codebases.types
This resolver preempts lookups to inner by first using the platform resolver.
SafeResolver(ExtensionInfo, NamespaceResolver) - Constructor for class codebases.types.SafeResolver
 
saveSystemResolver() - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
saveSystemResolver() - Method in class fabric.types.FabricTypeSystem_c
Deprecated.
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
 
setAccessPolicy(ConfPolicy) - Method in interface fabric.types.FabricFieldInstance
 
setAccessPolicy(ConfPolicy) - Method in class fabric.types.FabricFieldInstance_c
 
setAccessPolicy(ConfPolicy) - Method in interface fabric.types.FabricParsedClassType
 
setAccessPolicy(ConfPolicy) - Method in class fabric.types.FabricParsedClassType_c
 
setCanonicalNamespace(URI) - Method in interface fabric.types.FabricParsedClassType
 
setCanonicalNamespace(URI) - Method in class fabric.types.FabricParsedClassType_c
 
setContainer(ReferenceType) - Method in class fabric.types.AccessPolicyInstance_c
 
setFlags(Flags) - Method in class fabric.types.AccessPolicyInstance_c
 
setLocation(Location, Iterable<? extends File>) - Method in class fabric.filemanager.FabricFileManager
Associate a list of files with a location, removing any previous associations.
setLocation(Location, List<URI>) - Method in class fabric.filemanager.FabricFileManager
Associate a list of URIs with a location, removing any previous associations.
setNamespaceDependencies(Set<CodebaseClassType>) - Method in interface fabric.types.FabricParsedClassType
 
setNamespaceDependencies(Set<CodebaseClassType>) - Method in class fabric.types.FabricParsedClassType_c
 
setPublish(boolean) - Method in interface codebases.frontend.CodebaseSource
 
setPublish(boolean) - Method in class codebases.frontend.LocalSource
 
setPublish(boolean) - Method in class codebases.frontend.RemoteSource
 
setRemote() - Method in class fabric.extension.MethodDeclJifExt
 
setRemoteWrappers(List<ClassMember>) - Method in class fabric.extension.ClassBodyJifExt_c
 
setSplitClassName(FieldDecl, String) - Method in interface fabric.types.FabricClassType
Sets the class name of the split fragment in which the given field will reside after translation to FabIL.
setSplitClassName(FieldDecl, String) - Method in class fabric.types.FabricParsedClassType_c
 
setSplitClassName(FieldDecl, String) - Method in class fabric.types.FabricSubstClassType_c
 
setStaticThisExpr(Expr) - Method in class fabric.visit.FabricToFabilRewriter
Provide an expression to instantiate "this" principals with in static contexts.
setSuperClass(AmbiguityRemover, TypeNode) - Method in class fabil.ast.ClassDecl_c
Deprecated.
 
setSuperClass(AmbiguityRemover, TypeNode) - Method in class fabric.ast.ClassDecl_c
Deprecated.
 
SHORT - Static variable in class fabil.parse.sym
 
SHORT - Static variable in class fabric.parse.sym
 
shouldPublish() - Method in interface codebases.frontend.CodebaseSource
Whether a new class object should be published for this source file and associated with the codebase representing the namespace.
shouldPublish() - Method in class codebases.frontend.LocalSource
 
shouldPublish() - Method in class codebases.frontend.RemoteSource
 
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
 
sig_mode - Variable in class fabil.visit.ClassSerializer
 
sigcp - Variable in class fabil.FabILOptions
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
 
SignatureHashGenerator - Class in fabil.visit
Ensures hashes in FabILParsedClassType_c instances are computed when compiling FabIL and Fabric signatures.
SignatureHashGenerator() - Constructor for class fabil.visit.SignatureHashGenerator
 
signatureMode - Variable in class fabil.FabILOptions
Whether we're running in signature mode.
signatureMode() - Method in class fabil.FabILOptions
 
signatureMode - Variable in class fabric.FabricOptions
Whether we're running in signature mode.
signatureMode() - Method in class fabric.FabricOptions
 
signaturepath() - Method in class fabil.FabILOptions
 
signaturepath() - Method in class fabric.ExtensionInfo
 
signaturepath() - Method in class fabric.FabricOptions
 
SignaturesHashed(Job) - Method in class fabil.frontend.FabILScheduler
 
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
 
SimpleResolver - Class in codebases.types
 
SimpleResolver(ExtensionInfo, URI) - Constructor for class codebases.types.SimpleResolver
 
SimpleResolver(ExtensionInfo, URI, NamespaceResolver) - Constructor for class codebases.types.SimpleResolver
 
SimpleResolver(ExtensionInfo, URI, NamespaceResolver, Map<String, URI>) - Constructor for class codebases.types.SimpleResolver
 
solve() - Method in class fabric.types.SilenceableSolverGLB
 
sourceAccessPolicy(CodebaseSource) - Method in interface fabric.types.FabricTypeSystem
 
sourceAccessPolicy(CodebaseSource) - Method in class fabric.types.FabricTypeSystem_c
 
SourceFile(Position, PackageNode, List<CodebaseDecl>, List<Import>, List<TopLevelDecl>) - Method in interface codebases.ast.CodebaseNodeFactory
 
SourceFile(Position, PackageNode, List<Import>, List<TopLevelDecl>) - Method in class fabil.ast.FabILNodeFactory_c
 
SourceFile(Position, PackageNode, List<CodebaseDecl>, List<Import>, List<TopLevelDecl>) - Method in class fabil.ast.FabILNodeFactory_c
 
SourceFile(Position, PackageNode, List<Import>, List<TopLevelDecl>) - Method in class fabric.ast.FabricNodeFactory_c
 
SourceFile(Position, PackageNode, List<CodebaseDecl>, List<Import>, List<TopLevelDecl>) - Method in class fabric.ast.FabricNodeFactory_c
 
SourceFileToFabilExt_c - Class in fabric.translate
 
SourceFileToFabilExt_c() - Constructor for class fabric.translate.SourceFileToFabilExt_c
 
sourcepath() - Method in interface codebases.frontend.ExtensionInfo
The sourcepath used to resolve source dependencies during compilation.
sourcepath() - Method in class fabil.ExtensionInfo
 
sourcepath() - Method in class fabil.FabILOptions
 
sourcepath() - Method in class fabric.ExtensionInfo
 
sourcepath_uris - Variable in class fabil.FabILOptions
 
sourcepath_uris - Variable in class fabric.FabricOptions
 
sourcepathURIs() - Method in class fabil.FabILOptions
 
sourcepathURIs() - Method in class fabric.FabricOptions
 
sourceUpdateLabel(CodebaseSource) - Method in interface fabric.types.FabricTypeSystem
 
sourceUpdateLabel(CodebaseSource) - Method in class fabric.types.FabricTypeSystem_c
 
SpecialExt_c - Class in fabil.extension
 
SpecialExt_c() - Constructor for class fabil.extension.SpecialExt_c
 
splitClassName(String) - Method in interface fabric.types.FabricClassType
Gets the class name of the split fragment in which the field with the given name will reside after translation to FabIL, or null if the field should not be moved into a fragment.
splitClassName() - Method in interface fabric.types.FabricFieldInstance
 
splitClassName() - Method in class fabric.types.FabricFieldInstance_c
 
splitClassName(String) - Method in class fabric.types.FabricParsedClassType_c
 
splitClassName(String) - Method in class fabric.types.FabricSubstClassType_c
 
splitMap - Variable in class fabric.types.FabricParsedClassType_c
Maps the names of fields declared in this class to the name of the split fragment in which the field will reside after translation to FabIL.
SplitNameInitializer - Class in fabric.visit
Initializes the split class names for the fields of any ClassDecls being compiled.
SplitNameInitializer(Lang, FabricTypeSystem) - Constructor for class fabric.visit.SplitNameInitializer
 
SplitNamesInitialized(Job) - Method in class fabric.FabricScheduler
 
SplitNamesInitializedBarrier() - Method in class fabric.FabricScheduler
 
start(String[], ExtensionInfo) - Method in class fabric.Main
 
start(String[], ExtensionInfo, ErrorQueue) - Method in class fabric.Main
 
start(Options, Set<String>, ExtensionInfo, ErrorQueue) - Method in class fabric.Main
 
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.
State(boolean, boolean, boolean) - Constructor for class fabil.visit.ReadWriteChecker.State
 
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
 
staticThisExpr - Variable in class fabric.visit.FabricToFabilRewriter
An expression used to instantiate the 'this' principal in static contexts
staticThisExpr() - Method in class fabric.visit.FabricToFabilRewriter
 
Store() - Method in interface fabil.types.FabILTypeSystem
The ClassType of fabric.worker.Store.
Store() - Method in class fabil.types.FabILTypeSystem_c
 
Store(Position, Expr) - Method in interface fabric.ast.FabricNodeFactory
 
Store(Position, Expr) - Method in class fabric.ast.FabricNodeFactory_c
 
Store - Interface in fabric.ast
 
STORE - Static variable in class fabric.parse.sym
 
Store() - Method in interface fabric.types.FabricTypeSystem
 
Store() - Method in class fabric.types.FabricTypeSystem_c
 
Store_c - Class in fabric.ast
Deprecated.
Store_c(Position, Expr) - Constructor for class fabric.ast.Store_c
Deprecated.
Store_c(Position, Expr, Ext) - Constructor for class fabric.ast.Store_c
Deprecated.
 
storeAccessPathFor(Expr, JifContext) - Method in interface fabric.types.FabricTypeSystem
 
storeAccessPathFor(Expr, JifContext) - Method in class fabric.types.FabricTypeSystem_c
 
StoreAccessPathInstantiator(AccessPathRoot, AccessPath) - Constructor for class fabric.extension.StoreInstantiator.StoreAccessPathInstantiator
 
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
Deprecated.
StoreGetter_c(Position) - Constructor for class fabil.ast.StoreGetter_c
Deprecated.
StoreGetter_c(Position, Ext) - Constructor for class fabil.ast.StoreGetter_c
Deprecated.
 
StoreGetterRewriter - Class in fabil.visit
 
StoreGetterRewriter() - Constructor for class fabil.visit.StoreGetterRewriter
 
StoreInstantiator - Class in fabric.extension
 
StoreInstantiator(ReferenceType, Label, AccessPath, List<ArgLabel>, List<? extends Type>, List<? extends Label>, List<Expr>, List<? extends Label>, JifContext, AccessPath) - Constructor for class fabric.extension.StoreInstantiator
 
StoreInstantiator.StoreAccessPathInstantiator - Class in fabric.extension
Replaces srcRoot with trgPath in dynamic labels and principals
StoreJifExt_c - Class in fabric.extension
 
StoreJifExt_c(ToJavaExt) - Constructor for class fabric.extension.StoreJifExt_c
 
storePath - Variable in class fabric.extension.StoreInstantiator
 
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
 
storePrincipal(Store, FabricContext, Position) - Method in interface fabric.types.FabricTypeSystem
 
storePrincipal(Store, FabricContext, Position) - Method in class fabric.types.FabricTypeSystem_c
 
StoreToFabilExt_c - Class in fabric.extension
 
StoreToFabilExt_c() - Constructor for class fabric.extension.StoreToFabilExt_c
 
storeType - Variable in class fabric.types.AccessPathStore
 
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(AccessPathRoot, AccessPath) - Method in class fabric.types.AccessPathNew
 
subst(AccessPathRoot, AccessPath) - Method in class fabric.types.AccessPathStore
 
subst(AccessPathRoot, AccessPath) - Method in class fabric.types.FabricAccessPathField
 
substAccessPath(AccessPath) - Method in class fabric.extension.StoreInstantiator.StoreAccessPathInstantiator
 
substClassTypeImpl(ClassType) - Method in class fabric.types.FabricSubst_c
 
substImpl(Map<ParamInstance, ? extends Param>) - Method in class fabric.types.FabricTypeSystem_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
 
systemResolver() - Method in class fabil.types.FabILTypeSystem_c
Deprecated.
systemResolver() - Method in class fabric.types.FabricTypeSystem_c
Deprecated.

T

targetFactory() - Method in class fabil.ExtensionInfo
 
targetFactory() - Method in class fabric.ExtensionInfo
 
targetIsNeverNull() - Method in class fabric.extension.FabricCallDel
 
te - Variable in class codebases.types.NamespaceResolver_c
 
terminalNames - Static variable in class fabil.parse.sym
 
terminalNames - Static variable in class fabric.parse.sym
 
THIS - Static variable in class fabil.parse.sym
 
THIS - Static variable in class fabric.parse.sym
 
thisLabel(Position, ReferenceType) - Method in class fabric.types.FabricTypeSystem_c
 
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.ast.Store_c
Deprecated.
 
throwTypes(TypeSystem) - Method in class fabric.extension.FabricNewDel
 
throwTypes(TypeSystem) - Method in class fabric.extension.FabricNewFabricArrayDel
 
tjoin(Label, Label) - Method in interface fabric.types.FabricTypeSystem
Returns the join of L1 and L2 as per the trust ordering
tjoin(Label, Label) - Method in class fabric.types.FabricTypeSystem_c
 
tleq(LabelEnv, Label, Label) - Method in interface fabric.types.FabricTypeSystem
Compares L1 and L2 as per the trust ordering
tleq(LabelEnv, Label, Label) - Method in class fabric.types.FabricTypeSystem_c
 
tm - Variable in class fabil.visit.AtomicRewriter
 
tmeet(Label, Label) - Method in interface fabric.types.FabricTypeSystem
Returns the meet of L1 and L2 as per the trust ordering
tmeet(Label, Label) - Method in class fabric.types.FabricTypeSystem_c
 
TO - Static variable in class fabric.parse.sym
 
toExpr() - Method in class fabric.parse.AmbStore
 
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.ast.CannotAccessPolicyToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.extension.StoreToFabilExt_c
 
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.ClassBodyToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.CodebaseDeclToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.CodebaseNodeToFabilExt_c
 
toJava(Principal, JifToJavaRewriter, Expr) - Method in class fabric.translate.ConjunctivePrincipalToFabilExpr_c
 
toJava(JifToJavaRewriter, NodeVisitor) - Method in class fabric.translate.ConstructorDeclToFabilExt_c
 
toJava(Principal, JifToJavaRewriter, Expr) - Method in class fabric.translate.DisjunctivePrincipalToFabilExpr_c
 
toJava(Principal, JifToJavaRewriter, Expr) - Method in class fabric.translate.DynamicPrincipalToFabilExpr_c
 
toJava(Label, JifToJavaRewriter, Expr, boolean) - Method in class fabric.translate.FabricJoinLabelToFabilExpr_c
 
toJava(Label, JifToJavaRewriter, Expr, boolean) - Method in class fabric.translate.FabricMeetLabelToFabilExpr_c
 
toJava(Label, JifToJavaRewriter, Expr, boolean) - Method in class fabric.translate.FabricPairLabelToFabilExpr_c
 
toJava(Label, JifToJavaRewriter, Expr, boolean) - Method in class fabric.translate.FabricThisLabelToFabilExpr_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.FieldDeclToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.InstanceOfToFabilExt_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.PackageNodeToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.PrincipalExprToFabilExt_c
 
toJava(Label, JifToJavaRewriter, Expr, boolean) - Method in class fabric.translate.ProviderLabelToFabilExpr_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.RetryToFabilExt_c
 
toJava(JifToJavaRewriter) - Method in class fabric.translate.SourceFileToFabilExt_c
 
toJava(Principal, JifToJavaRewriter, Expr) - Method in class fabric.types.FabExternalPrincipalToJavaExpr_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.BinaryToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.FieldDeclToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.NewFabricArrayToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.NewLabelToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.NewToFabilExt_c
 
toJavaEnter(JifToJavaRewriter) - Method in class fabric.translate.PrincipalExprToFabilExt_c
 
toJavaImpl(JifToJavaRewriter) - Method in class fabric.translate.ClassDeclToFabilExt_c
 
toLabel(ConfPolicy) - Method in interface fabric.types.FabricTypeSystem
Returns a label with c joined with a top integrity component.
toLabel(ConfPolicy) - Method in class fabric.types.FabricTypeSystem_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
 
toPackage() - Method in class fabil.parse.Name
 
toPackage() - Method in class fabric.parse.Name
 
TOPICS - Static variable in class codebases.types.CBImportTable
 
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
 
toQualifier() - Method in class fabric.parse.Name
 
toSourceString(CodebaseSource) - Static method in class fabil.visit.ClassHashGenerator
 
toString() - Method in class codebases.ast.CodebaseNode_c
Deprecated.
 
toString() - Method in class codebases.frontend.CBTypeExists
 
toString() - Method in class codebases.frontend.RemoteSource
 
toString() - Method in class codebases.types.CBPlaceHolder_c
 
toString() - Method in class codebases.types.NamespaceResolver_c
 
toString() - Method in class fabil.ast.AbortStmt_c
Deprecated.
 
toString() - Method in class fabil.ast.FabILCall_c
Deprecated.
 
toString() - Method in class fabil.ast.RetryStmt_c
Deprecated.
 
toString() - Method in class fabil.types.JavaArrayType_c
 
toString() - Method in class fabil.Version
 
toString() - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
toString() - Method in class fabric.ast.Worker_c
Deprecated.
 
toString() - Method in class fabric.filemanager.CodebaseLocation_c
 
toString() - Method in class fabric.filemanager.FabricFileObject
 
toString() - Method in class fabric.types.AccessPathNew
 
toString() - Method in class fabric.types.AccessPathStore
 
toString() - Method in class fabric.Version
 
toType() - Method in class fabric.parse.Array
 
toType() - Method in class fabric.parse.Name
 
toUri() - Method in class codebases.frontend.DerivedLocalSource
 
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
 
translate(Resolver) - Method in class fabil.types.FabILParsedClassType_c
 
translateClass(Resolver, ClassType) - Method in class fabil.types.FabILTypeSystem_c
 
translateClass(Resolver, ClassType) - Method in class fabric.types.FabricTypeSystem_c
 
TRUST_GTEQ - Static variable in class fabric.parse.sym
 
TRY - Static variable in class fabil.parse.sym
 
TRY - Static variable in class fabric.parse.sym
 
ts - Variable in class codebases.visit.CBTypeBuilder
 
ts - Variable in class fabil.parse.Grm
 
ts - Variable in class fabil.parse.Name
 
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.ProviderRewriter
 
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.parse.Name
 
ts - Variable in class fabric.visit.ExplicitSuperclassAdder
 
ts - Variable in class fabric.visit.RemoteCallWrapperAdder
 
ts - Variable in class fabric.visit.RemoteCallWrapperUpdater
 
ts - Variable in class fabric.visit.SplitNameInitializer
 
type() - Method in class fabric.types.AccessPathNew
 
type() - Method in class fabric.types.AccessPathStore
 
typeCheck(TypeChecker) - Method in class codebases.ast.CBSourceFile_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class codebases.ast.CodebaseImportDel_c
Check that imported classes and packages exist.
typeCheck(TypeChecker) - Method in class fabil.ast.FabILCall_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabil.ast.New_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabil.ast.ProviderLabel_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabil.ast.StoreGetter_c
Deprecated.
Type check the expression.
typeCheck(TypeChecker) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabric.ast.FabricCall_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabric.ast.Store_c
Deprecated.
Type check the expression.
typeCheck(TypeChecker) - Method in class fabric.ast.Worker_c
Deprecated.
 
typeCheck(TypeChecker) - Method in class fabric.extension.FabricNewDel
 
typeCheck(TypeChecker) - Method in class fabric.extension.FabricNewFabricArrayDel
 
typeCheck(TypeChecker) - Method in class fabric.extension.FabricNewLabelDel
 
typeCheck(TypeChecker) - Method in class fabric.extension.FabricPrincipalExprDel
 
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
Deprecated.
 
typeCheckOverride(Node, TypeChecker) - Method in class fabric.extension.FabricNewDel
 
typeEncoder() - Method in interface codebases.frontend.ExtensionInfo
Return the type encoder used by this extension.
typeEncoder - Variable in class fabil.ExtensionInfo
 
typeEncoder() - Method in class fabil.ExtensionInfo
 
typeEncoder - Variable in class fabric.ExtensionInfo
 
typeEncoder() - Method in class fabric.ExtensionInfo
 
typeEqualsImpl(Type) - Method in class fabil.types.FabILParsedClassType_c
 
typeEqualsImpl(Type) - Method in class fabil.types.FabricArrayType_c
 
typeEqualsImpl(Type) - Method in class fabil.types.JavaArrayType_c
 
TypeExists(URI, String) - Method in interface codebases.frontend.CBScheduler
 
TypeExists(URI, String) - Method in class fabil.frontend.FabILScheduler
 
TypeExists(URI, String) - Method in class fabric.FabricScheduler
 
typeForClass(Class<?>) - Method in class fabric.types.FabricTypeSystem_c
 
typeForName(String) - Method in class codebases.types.CBLazyClassInitializer
 
typeName - Variable in class codebases.frontend.CBTypeExists
 
typeNode() - Method in interface fabil.ast.ProviderLabel
 
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 interface codebases.frontend.ExtensionInfo
 
typeSystem() - Method in class codebases.visit.CBTypeBuilder
 
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
 
typeSystem() - Method in class fabric.types.AccessPolicyInstance_c
 
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
 
uncachedSubstType(Type) - Method in class fabric.types.FabricSubst_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
Deprecated.
 
updatedLocals() - Method in class fabil.ast.Atomic_c
Deprecated.
 
updatedLocals(List<LocalInstance>) - Method in class fabil.ast.Atomic_c
Deprecated.
 
UpdatedVariableFinder - Class in fabil.visit
 
UpdatedVariableFinder() - Constructor for class fabil.visit.UpdatedVariableFinder
 
updateFabricExt(N, FabricExt) - Static method in class fabric.ast.FabricUtil
 
updateLabel() - Method in interface fabil.ast.FabricArrayInit
 
updateLabel(Expr) - Method in interface fabil.ast.FabricArrayInit
 
updateLabel() - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
updateLabel(Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
updateLabel(N, Expr) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
updateLabel() - Method in interface fabil.ast.NewFabricArray
 
updateLabel(Expr) - Method in interface fabil.ast.NewFabricArray
 
updateLabel() - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
updateLabel(Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
updateLabel(N, Expr) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
updateLabel() - Method in class fabric.types.FabricArrayType_c
 
updateLabel() - Method in class fabric.types.FabricParsedClassType_c
This method returns the upper bound of the labels of all the fields of this class and its superclasses.
updateLabel() - Method in interface fabric.types.FabricReferenceType
Return the update label that objects of this type are enforced at.
updateLabel() - Method in class fabric.types.FabricSubstClassType_c
 
URIsToFiles(List<URI>) - Static method in class fabil.FabILOptions
 
URIsToFiles(List<URI>) - Static method in class fabric.FabricOptions
 
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
 

V

validateArgs() - Method in class fabric.OutputExtensionInfo.FabILOutputOptions
Skip checks regarding source files.
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 codebases.ast.CBSourceFile_c
Deprecated.
Visit the children of the source file.
visitChildren(NodeVisitor) - Method in class fabil.ast.FabILCall_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabil.ast.FabricArrayInit_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabil.ast.New_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabil.ast.NewFabricArray_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.AccessPolicy_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.FabricArrayInit_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.FabricCall_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.FabricClassBody_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.FabricFieldDecl_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.RemoteWorkerGetter_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.ast.Store_c
Deprecated.
 
visitChildren(NodeVisitor) - Method in class fabric.extension.ClassBodyExt_c
 
visitChildren(NodeVisitor) - Method in class fabric.extension.FabricNewDel
 
visitChildren(NodeVisitor) - Method in class fabric.extension.FabricNewFabricArrayDel
 
visitChildren(NodeVisitor) - Method in class fabric.extension.FabricNewLabelDel
 
visitChildren(NodeVisitor) - Method in class fabric.extension.FabricPrincipalExprDel
 
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
Deprecated.
Worker_c(Position, Id) - Constructor for class fabric.ast.Worker_c
Deprecated.
Worker_c(Position, Id, Ext) - Constructor for class fabric.ast.Worker_c
Deprecated.
 
WorkerJifExt_c - Class in fabric.extension
 
WorkerJifExt_c(ToJavaExt) - Constructor for class fabric.extension.WorkerJifExt_c
 
workerLocalAccessPath(Position) - Method in interface fabric.types.FabricTypeSystem
Constructs an AccessPath for the local worker.
workerLocalAccessPath(Position) - Method in class fabric.types.FabricTypeSystem_c
 
workerLocalInstance() - Method in interface fabric.types.FabricTypeSystem
 
workerLocalInstance - Variable in class fabric.types.FabricTypeSystem_c
 
workerLocalInstance() - Method in class fabric.types.FabricTypeSystem_c
 
WorkerLocalInstance - Interface in fabric.types
There can be only one worker$.
WorkerLocalInstance_c - Class in fabric.types
There can be only one worker$.
WorkerLocalInstance_c(JifTypeSystem, Position, Flags, Type, String) - Constructor for class fabric.types.WorkerLocalInstance_c
 
workerLocalPrincipal(Position) - Method in interface fabric.types.FabricTypeSystem
Constructs a principal for the local worker.
workerLocalPrincipal - Variable in class fabric.types.FabricTypeSystem_c
 
workerLocalPrincipal(Position) - Method in class fabric.types.FabricTypeSystem_c
 
workerName - Variable in class fabil.FabILOptions
Name of worker for compiling source from Fabric.
workerName() - Method in class fabil.FabILOptions
 
workerName - Variable in class fabric.FabricOptions
Name of worker for compiling source from Fabric.
workerName() - Method in class fabric.FabricOptions
 
WorkerToFabilExt_c - Class in fabric.translate
 
WorkerToFabilExt_c() - Constructor for class fabric.translate.WorkerToFabilExt_c
 
wrap() - Method in class fabric.parse.AmbStore
 
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.
writeHeader(SourceFile, CodeWriter) - Method in class codebases.visit.CodebaseTranslator
 
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
lexical states
YYINITIAL - Static variable in class fabric.parse.Lexer_c
lexical states
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.
yypushback(int) - Method in class fabil.parse.Lexer_c
Pushes the specified amount of characters back into the input stream.
yypushback(int) - Method in class fabric.parse.Lexer_c
Pushes the specified amount of characters back into the input stream.
yyreset(Reader) - Method in class fabil.parse.Lexer_c
Resets the scanner to read from a new input stream.
yyreset(Reader) - Method in class fabric.parse.Lexer_c
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 _ 
Skip navigation links