Name Rascal/Libraries/lang/java/m3/TypeSymbol/Bound

Types

data Bound 
  = \super(list[TypeSymbol] bound)
  | \extends(list[TypeSymbol] bound)
  | \unbounded()
  ;
data TypeSymbol 
  = \class(loc decl, list[TypeSymbol] typeParameters)
  | \interface(loc decl, list[TypeSymbol] typeParameters)
  | \enum(loc decl)
  | \method(loc decl, list[TypeSymbol] typeParameters, TypeSymbol returnType, list[TypeSymbol] parameters)
  | \constructor(loc decl, list[TypeSymbol] parameters)
  | \typeParameter(loc decl, Bound upperbound) 
  | \typeArgument(loc decl)
  | \wildcard(Bound bound)
  | \capture(Bound bound, TypeSymbol wildcard)
  | \intersection(list[TypeSymbol] types)
  | \union(list[TypeSymbol] types)
  | \object()
  | \int()
  | \float()
  | \double()
  | \short()
  | \boolean()
  | \char()
  | \byte()
  | \long()
  | \void()
  | \null()
  | \array(TypeSymbol component, int dimension)
  | \typeVariable(loc decl)
  | \unresolved()
  ;

Usage import lang::java::m3::TypeSymbol;

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]