Class Type


  • public final class Type
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      Type​(int bitSize)  
      Type​(int bitSize, ru.ispras.fortress.data.types.bitvector.BitVector defaultValue)  
      Type​(java.lang.String id, java.util.Map<java.lang.String,​Type> fields)  
    • Constructor Detail

      • Type

        public Type​(int bitSize)
      • Type

        public Type​(int bitSize,
                    ru.ispras.fortress.data.types.bitvector.BitVector defaultValue)
      • Type

        public Type​(java.lang.String id,
                    java.util.Map<java.lang.String,​Type> fields)
    • Method Detail

      • getId

        public java.lang.String getId()
      • isStruct

        public boolean isStruct()
      • getBitSize

        public int getBitSize()
      • getDataType

        public ru.ispras.fortress.data.DataType getDataType()
      • getDefaultValue

        public ru.ispras.fortress.data.types.bitvector.BitVector getDefaultValue()
      • getFields

        public java.util.Map<java.lang.String,​Type> getFields()
      • getNested

        protected Type getNested​(java.lang.String name)
      • toString

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

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

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

        public T searchNested​(java.util.List<java.lang.String> accessChain)
      • accessNested

        public T accessNested​(java.util.List<java.lang.String> accessChain)