Package hydra

Interface Reflect

  • public interface Reflect
    Reflection functions for working with term, type, and literal type variants, as well as numeric precision.

    • Method Detail

      • floatTypePrecision

        static Precision floatTypePrecision​(FloatType v1)
        Find the precision of a given floating-point type

      • floatTypes

        static java.util.List<FloatType> floatTypes()
        All floating-point types in a canonical order

      • floatValueType

        static FloatType floatValueType​(FloatValue v1)
        Find the float type for a given floating-point value

      • integerTypeIsSigned

        static java.lang.Boolean integerTypeIsSigned​(IntegerType v1)
        Find whether a given integer type is signed (true) or unsigned (false)

      • integerTypePrecision

        static Precision integerTypePrecision​(IntegerType v1)
        Find the precision of a given integer type

      • integerTypes

        static java.util.List<IntegerType> integerTypes()
        All integer types, in a canonical order

      • integerValueType

        static IntegerType integerValueType​(IntegerValue v1)
        Find the integer type for a given integer value

      • literalType

        static LiteralType literalType​(Literal v1)
        Find the literal type for a given literal value

      • literalTypeVariant

        static LiteralVariant literalTypeVariant​(LiteralType v1)
        Find the literal type inject (constructor) for a given literal value

      • literalTypes

        static java.util.List<LiteralType> literalTypes()
        All literal types, in a canonical order

      • literalVariant

        static LiteralVariant literalVariant​(Literal arg_)
        Find the literal inject (constructor) for a given literal value

      • literalVariants

        static java.util.List<LiteralVariant> literalVariants()
        All literal variants, in a canonical order

      • termVariant

        static TermVariant termVariant​(Term v1)
        Find the term inject (constructor) for a given term

      • termVariants

        static java.util.List<TermVariant> termVariants()
        All term (expression) variants, in a canonical order

      • typeVariant

        static TypeVariant typeVariant​(Type v1)
        Find the type inject (constructor) for a given type

      • typeVariants

        static java.util.List<TypeVariant> typeVariants()
        All type variants, in a canonical order