Interface DomainType

All Superinterfaces:
ObjectType, Type, UnqualifiedObjectType

public interface DomainType extends UnqualifiedObjectType
The CIVL-C type $domain or $domain(n).
  • Method Details

    • hasDimension

      boolean hasDimension()
      Does this domain type have a specified dimension?
      true iff the dimension is specified
    • getDimension

      int getDimension()
      Returns the dimension, or -1 if the dimension is not specified.
      dimension or -1