fabil.types
Interface FabILTypeSystem

All Known Implementing Classes:
FabILTypeSystem_c

public interface FabILTypeSystem


Method Summary
 ClassType AbortException()
           
 ClassType DelegatingPrincipal()
           
 FabricArrayType fabricArrayOf(Position pos, Type type)
           
 FabricArrayType fabricArrayOf(Type baseType)
          Returns the compile-time representation of a Fabric array type.
 FabricArrayType fabricArrayOf(Type type, int dims)
           
 ClassType fabricRuntimeArrayImplOf(Type type)
           
 ClassType fabricRuntimeArrayOf(Type type)
           
 ClassType FabricThread()
          The ClassType of fabric.common.FabricThread.
 ClassType FObject()
          The ClassType of fabric.lang.Object.
 ClassType InternalError()
           
 boolean isCompiledByFabc(ClassType ct)
          Determines whether the given ClassType was compiled with fabc.
 boolean isFabricArray(ArrayType type)
           
 boolean isFabricArray(Type type)
           
 boolean isFabricArray(TypeNode type)
           
 boolean isFabricClass(ClassType type)
           
 boolean isFabricClass(Type type)
           
 boolean isFabricClass(TypeNode type)
           
 boolean isFabricReference(Type type)
           
 boolean isFabricReference(TypeNode type)
           
 boolean isFabricType(Type type)
           
 boolean isFabricType(TypeNode type)
           
 boolean isJavaInlineable(Type type)
          Determines whether the given type is a subtype of fabric.lang.JavaInlineable.
 boolean isJavaInlineable(TypeNode type)
           
 boolean isPrincipalClass(ClassType type)
           
 boolean isPrincipalClass(Type type)
           
 boolean isPrincipalClass(TypeNode type)
           
 boolean isPureFabricType(Type type)
          Determines whether the given type is a "pure" Fabric type.
 boolean isPureFabricType(TypeNode type)
          Determines whether the given type is a "pure" Fabric type.
 boolean isThread(Type type)
           
 boolean isThread(TypeNode type)
           
 ClassType JavaInlineable()
          The ClassType of fabric.lang.JavaInlineable.
 Type Label()
          The ClassType of fabric.lang.security.Label.
 ClassType Principal()
           
 ClassType RemoteCallException()
           
 ClassType RemoteWorker()
          The ClassType of fabric.worker.remote.RemoteWorker.
 void setRuntimeClassResolver(LoadedClassResolver lcr)
          Sets the LoadedClassResolver to use when looking for Fabric runtime classes.
 Type Store()
          The ClassType of fabric.worker.Store.
 ClassType Thread()
          The ClassType of java.lang.Thread.
 ClassType toFabricRuntimeArray(ArrayType type)
           
 ClassType TransactionManager()
          return the ClassType corresponding to fabric.worker.transaction.TransactionManager
 ClassType Worker()
           
 ClassType WrappedJavaInlineable()
          The ClassType of fabric.lang.WrappedJavaInlineable.
 

Method Detail

TransactionManager

ClassType TransactionManager()
return the ClassType corresponding to fabric.worker.transaction.TransactionManager


FObject

ClassType FObject()
The ClassType of fabric.lang.Object.


JavaInlineable

ClassType JavaInlineable()
The ClassType of fabric.lang.JavaInlineable.


WrappedJavaInlineable

ClassType WrappedJavaInlineable()
The ClassType of fabric.lang.WrappedJavaInlineable.


FabricThread

ClassType FabricThread()
The ClassType of fabric.common.FabricThread.


Thread

ClassType Thread()
The ClassType of java.lang.Thread.


AbortException

ClassType AbortException()

RemoteWorker

ClassType RemoteWorker()
The ClassType of fabric.worker.remote.RemoteWorker.


RemoteCallException

ClassType RemoteCallException()

Worker

ClassType Worker()

Principal

ClassType Principal()

DelegatingPrincipal

ClassType DelegatingPrincipal()

Store

Type Store()
The ClassType of fabric.worker.Store.


Label

Type Label()
The ClassType of fabric.lang.security.Label.


InternalError

ClassType InternalError()

fabricRuntimeArrayOf

ClassType fabricRuntimeArrayOf(Type type)

fabricRuntimeArrayImplOf

ClassType fabricRuntimeArrayImplOf(Type type)

toFabricRuntimeArray

ClassType toFabricRuntimeArray(ArrayType type)

fabricArrayOf

FabricArrayType fabricArrayOf(Type baseType)
Returns the compile-time representation of a Fabric array type.


fabricArrayOf

FabricArrayType fabricArrayOf(Position pos,
                              Type type)

fabricArrayOf

FabricArrayType fabricArrayOf(Type type,
                              int dims)

isFabricType

boolean isFabricType(Type type)
Returns:
true iff the given type is a primitive, an array of Fabric types, or is a class type that is a subtype of fabric.lang.Object.

isFabricType

boolean isFabricType(TypeNode type)
Returns:
true iff the given type is a primitive, an array of Fabric types, or is a class type that is a subtype of fabric.lang.Object.

isThread

boolean isThread(Type type)
Returns:
true iff the given type is a subtype of java.lang.Thread.

isThread

boolean isThread(TypeNode type)
Returns:
true iff the given type is a subtype of java.lang.Thread.

isPureFabricType

boolean isPureFabricType(Type type)
Determines whether the given type is a "pure" Fabric type. Fabric types are pure if they are not subtypes of fabric.lang.JavaInlineable.


isPureFabricType

boolean isPureFabricType(TypeNode type)
Determines whether the given type is a "pure" Fabric type. Fabric types are pure if they are not subtypes of fabric.lang.JavaInlineable.


isFabricReference

boolean isFabricReference(Type type)
Returns:
true iff the given type is a subtype of fabric.lang.Object.

isFabricReference

boolean isFabricReference(TypeNode type)
Returns:
true iff the given type is a subtype of fabric.lang.Object.

isFabricClass

boolean isFabricClass(ClassType type)
Returns:
true iff the given class type is a subtype of fabric.lang.Object.

isFabricClass

boolean isFabricClass(Type type)
Returns:
true iff the given type is a class type that is a subtype of fabric.lang.Object.

isFabricClass

boolean isFabricClass(TypeNode type)
Returns:
true iff the given type is a class type that is a subtype of fabric.lang.Object.

isPrincipalClass

boolean isPrincipalClass(ClassType type)
Returns:
true iff the given class type is a subtype of fabric.lang.security.Principal.

isPrincipalClass

boolean isPrincipalClass(Type type)
Returns:
true iff the given type is a class type that is a subtype of fabric.lang.security.Principal.

isPrincipalClass

boolean isPrincipalClass(TypeNode type)
Returns:
true iff the given type is a class type that is a subtype of fabric.lang.security.Principal.

isFabricArray

boolean isFabricArray(ArrayType type)
Returns:
true iff the given type is an array of Fabric types.

isFabricArray

boolean isFabricArray(Type type)
Returns:
true iff the given type is an array of Fabric types.

isFabricArray

boolean isFabricArray(TypeNode type)
Returns:
true iff the given type is an array of Fabric types.

isJavaInlineable

boolean isJavaInlineable(Type type)
Determines whether the given type is a subtype of fabric.lang.JavaInlineable.


isJavaInlineable

boolean isJavaInlineable(TypeNode type)

isCompiledByFabc

boolean isCompiledByFabc(ClassType ct)
Determines whether the given ClassType was compiled with fabc.


setRuntimeClassResolver

void setRuntimeClassResolver(LoadedClassResolver lcr)
Sets the LoadedClassResolver to use when looking for Fabric runtime classes.