Class ArrayType

java.lang.Object
org.checkerframework.afu.scenelib.type.Type
org.checkerframework.afu.scenelib.type.ArrayType

public class ArrayType extends Type
A representation of an array type.
  • Constructor Details

    • ArrayType

      public ArrayType(Type componentType)
      Constructs a new array type.
      Parameters:
      componentType - the type of elements this array holds
  • Method Details

    • getComponentType

      public Type getComponentType()
      Gets the component type.
      Returns:
      the component type
    • getKind

      public Type.Kind getKind()
      Description copied from class: Type
      Gets the Type.Kind of this Type.
      Specified by:
      getKind in class Type
      Returns:
      the kind