edu.mit.csail.sdg.squander.spec.JType Interface Reference
[Specification]

Inherited by edu.mit.csail.sdg.squander.spec.JType.AbstractJType.

List of all members.

Classes

class  AbstractJType
class  Factory
class  Tuple
class  Unary

Public Member Functions

boolean isUnary ()
int arity ()
String name ()
String simpleName ()
JType.Unary domain ()
JType.Unary range ()
List< JType.Unary > tuple ()
JType projection (int...columns)
JType.Unary projection (int column)
JType projectionFrom (int start)
JType projectionFromTo (int start, int end)
JType transpose ()
JType union (JType type)
JType difference (JType type)
JType intersection (JType type)
JType product (JType that)
JType join (JType type)
boolean isInteger ()
boolean isBoolean ()
boolean isSubtypeOf (JType that)

Detailed Description

Definition at line 18 of file JType.java.

Member Function Documentation

int edu.mit.csail.sdg.squander.spec.JType.arity (  ) 

Arity of a type

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.convertToForgeType(), edu.mit.csail.sdg.squander.spec.JField.getTypeParams(), edu.mit.csail.sdg.squander.spec.TypeChecker.resolveType(), edu.mit.csail.sdg.squander.spec.TypeChecker.setTypeParams(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitBracket(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitFrame(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoinReflexive().

JType edu.mit.csail.sdg.squander.spec.JType.difference ( JType  type  ) 

x :- (A_j), y :- (B_j) => x - y :- (A_j)

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitBinary().

JType.Unary edu.mit.csail.sdg.squander.spec.JType.domain (  ) 

Domain of a type is its leftmost type in the tuple

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayElems(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayLength(), edu.mit.csail.sdg.squander.spec.ForgeScene.convertToForgeType(), edu.mit.csail.sdg.squander.spec.TypeChecker.resolveType(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitArrayType(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitBracket(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitFrame(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitQuantification().

JType edu.mit.csail.sdg.squander.spec.JType.intersection ( JType  type  ) 

x :- (A_1, , A_i), y :- (B_1, , B_i) => x - y :- (A_j)

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitBinary().

boolean edu.mit.csail.sdg.squander.spec.JType.isBoolean (  ) 
boolean edu.mit.csail.sdg.squander.spec.JType.isInteger (  ) 

Common types

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitBinary(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitUnary().

boolean edu.mit.csail.sdg.squander.spec.JType.isSubtypeOf ( JType  that  ) 

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitFrame().

boolean edu.mit.csail.sdg.squander.spec.JType.isUnary (  ) 

A unary type has arity 1

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitName().

JType edu.mit.csail.sdg.squander.spec.JType.join ( JType  type  ) 

x :- (A_1, A_2, , A_i), y :- (B_1, B_2, , B_j) => x.y :- (A_1, A_2, , A_{i-1}, B_2, , B_j)

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitAmbiguous(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitBracket(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoin(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoinReflexive().

String edu.mit.csail.sdg.squander.spec.JType.name (  ) 

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.replaceParamTypes().

JType edu.mit.csail.sdg.squander.spec.JType.product ( JType  that  ) 

x :- (A_1, A_2, , A_i), y :- (B_1, B_2, , B_j) => x -> y :- (A_1, A_2, , A_i, B_1, , B_j)

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.resolveField(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitBinary(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitQuantification().

JType.Unary edu.mit.csail.sdg.squander.spec.JType.projection ( int  column  ) 

Projection of a type onto its columns

JType edu.mit.csail.sdg.squander.spec.JType.projection ( int...  columns  ) 

Projection of a type onto its columns

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.convertToForgeType(), edu.mit.csail.sdg.squander.spec.JField.getTypeParams(), and edu.mit.csail.sdg.squander.spec.TypeChecker.setTypeParams().

JType edu.mit.csail.sdg.squander.spec.JType.projectionFrom ( int  start  ) 
JType edu.mit.csail.sdg.squander.spec.JType.projectionFromTo ( int  start,
int  end 
)

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitFrame().

JType.Unary edu.mit.csail.sdg.squander.spec.JType.range (  ) 

Range of a type is its rightmost type in the tuple

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.getRangeForField(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitAmbiguous(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitBracket(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitFieldRelation(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitFrame(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoin(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoinReflexive(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitName(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitRefType().

String edu.mit.csail.sdg.squander.spec.JType.simpleName (  ) 

Referenced by edu.mit.csail.sdg.squander.spec.JField.fullName().

JType edu.mit.csail.sdg.squander.spec.JType.transpose (  ) 

Transpose of a tuple type

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitUnary().

List<JType.Unary> edu.mit.csail.sdg.squander.spec.JType.tuple (  ) 

All atoms in the tuple

JType edu.mit.csail.sdg.squander.spec.JType.union ( JType  type  ) 

x :- (A_1, , A_i), y :- (B_1, , B_i) => x + y :- (LCA(A_j,B_j)) (j=1,,i)

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitBinary(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitConditional(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoinReflexive().

The documentation for this interface was generated from the following file:
Generated by  doxygen 1.6.2-20100208