Package hydra.lib.literals

Class BigintToUint16

java.lang.Object
hydra.tools.PrimitiveFunction
hydra.lib.literals.BigintToUint16
public class BigintToUint16 extends PrimitiveFunction
Primitive function which converts a bigint (arbitrary-precision integer) to a uint16 (16-bit unsigned integer). This conversion may result in loss of precision if the value is outside the uint16 range.

  • Constructor Details

    • BigintToUint16

      public BigintToUint16()

  • Method Details

    • name

      public Name name()
      Returns the unique name identifying this primitive function.
      Specified by:
      name in class PrimitiveFunction
      Returns:
      the function name "hydra.lib.literals.bigintToUint16"

    • type

      public TypeScheme type()
      Returns the type scheme for this function: bigint -> uint16.
      Specified by:
      type in class PrimitiveFunction
      Returns:
      the type scheme representing the function signature

    • implementation

      protected Function<List<Term>,Flow<Graph,Term>> implementation()
      Provides the implementation of this primitive function.
      Specified by:
      implementation in class PrimitiveFunction
      Returns:
      a function that converts bigint terms to uint16 terms

    • apply

      public static Character apply(BigInteger value)
      Converts a BigInteger value to a Character (16-bit unsigned integer).
      Parameters:
      value - the BigInteger value to convert
      Returns:
      the Character representation of the value