Package hydra.lib.literals

Class BigintToInt64

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

  • Constructor Details

    • BigintToInt64

      public BigintToInt64()

  • 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.bigintToInt64"

    • type

      public TypeScheme type()
      Returns the type scheme for this function: bigint -> int64.
      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 int64 terms

    • apply

      public static Long apply(BigInteger value)
      Converts a BigInteger value to a Long (64-bit signed integer).
      Parameters:
      value - the BigInteger value to convert
      Returns:
      the Long representation of the value