Class Type


  • public final class Type
    extends java.lang.Object
    • Method Detail

      • typeOf

        public static Type typeOf​(java.lang.String name,
                                  int... params)
      • def

        public static Type def​(java.lang.String name,
                               Type type)
      • INT

        public static Type INT​(int bitSize)
      • CARD

        public static Type CARD​(int bitSize)
      • BOOL

        public static Type BOOL​(int bitSize)
      • FLOAT

        public static Type FLOAT​(int fracBitSize,
                                 int expBitSize)
      • isInteger

        public boolean isInteger()
      • resize

        public Type resize​(int newBitSize)
      • castTo

        public Type castTo​(TypeId newTypeId)
      • getTypeId

        public TypeId getTypeId()
      • getBitSize

        public int getBitSize()
      • getFieldCount

        public int getFieldCount()
      • getFieldSize

        public int getFieldSize​(int index)
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object