Package fabric.types

Type system for the Fabric language extension.

See:
          Description

Interface Summary
FabricArrayType Unlike FabIL, we follow the jif const array design here.
FabricClassType  
FabricParsedClassType  
FabricSubstType  
FabricTypeSystem  
 

Class Summary
FabricArrayType_c The only ArrayType class created by the FabricTypeSystem.
FabricContext_c  
FabricDynamicPrincipal_c  
FabricFlags  
FabricParsedClassType_c  
FabricSubst_c  
FabricSubstClassType_c  
FabricTypeSystem_c  
SilenceableSolverGLB SilenceableSolverGLB can be muted, that is, not reporting any error.
 

Package fabric.types Description

Type system for the Fabric language extension.