Uses of Class

Packages that use Type.ProductType This package contains the definition of AST nodes. 

Uses of Type.ProductType in

Methods in that return types with arguments of type Type.ProductType
 java.util.Iterator<Type.ProductType> Type.iterator()
          Returns an iterator that iterates over the ProductType entries in this type.

Methods in with parameters of type Type.ProductType
 Type Type.intersect(Type.ProductType that)
          Returns a new type { A&that | A is in this }
 Type Type.merge(Type.ProductType that)
          Returns a new type { A | A is in this, or A == that }
 Type Type.merge(Type.ProductType that, int begin, int end)
          Returns a new type { A | A is in this, or A == that.subList(begin,end) }