Package pascal.taie.language.type

Interface PrimitiveType

All Superinterfaces:
Serializable, Type, ValueType
All Known Implementing Classes:
BooleanType, ByteType, CharType, DoubleType, FloatType, IntType, LongType, ShortType
public interface PrimitiveType extends ValueType

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    asInt()
    JVM Spec.
    default String
    getName()
     

  • Method Details

    • getName

      default String getName()
      Specified by:
      getName in interface Type

    • asInt

      boolean asInt()
      JVM Spec. (2.11.1): most operations on values of actual types boolean, byte, char, and short are correctly performed by instructions operating on values of computational type int.
      Returns:
      true if the values of this type are represented as integers in computation.