Class DynField

Javadoc 27 generates this reference during each site build from the exported packages and the annotation processor. The Java guide shows the API in use.

java.lang.Object

dev.gecode.iris.Field<@Nullable Value>

dev.gecode.iris.build.DynField

All Implemented Interfaces:

Domain<DynExpr>, DynExpr, Expr, IntegralExpr, NumericExpr, TextualExpr

public final class DynField extends Field<@Nullable Value> implements DynExpr

A handle whose value type or depth is open: data.get(handle) returns the Value, or null if the entry is absent.

Iris.dynamic(String) declares one, Iris.undefined(String) names an entry that nothing may define, and every definition returns one for the name as it stands afterwards.

• Method Summary

  Modifier and Type

  Method

  Description

  protected @Nullable Value

  readFrom(Data data)

  Reads the entry of this handle from data.

  String

  toString()

   

  Methods inherited from class Field

  name

  Modifier and Type

  Method

  Description

  final String

  name()

  Returns the name of the entry.

  Methods inherited from class Object

  clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  Methods inherited from interface DynExpr

  at, at, eq, ne, neg

  Modifier and Type

  Method

  Description

  default DynExpr

  at(long index)

  Returns this[index].

  default DynExpr

  at(IntegralExpr index)

  Returns this[index].

  default IntExpr

  eq(DynExpr other)

  Returns this == other.

  default IntExpr

  ne(DynExpr other)

  Returns this != other.

  default DynExpr

  neg()

  Returns -this.

  Methods inherited from interface Expr

  dynamic, get, get, get, get, get

  Modifier and Type

  Method

  Description

  default DynExpr

  dynamic()

  Returns this expression with no static type, which every method accepts.

  default DynExpr

  get(DynField field)

  Returns this.name, the field of the record this selects.

  default FloatExpr

  get(FloatField<?> field)

  Returns this.name, the field of the record this selects.

  default IntExpr

  get(IntField<?> field)

  Returns this.name, the field of the record this selects.

  default NumExpr

  get(NumField<?> field)

  Returns this.name, the field of the record this selects.

  default StringExpr

  get(StringField<?> field)

  Returns this.name, the field of the record this selects.

  Methods inherited from interface IntegralExpr

  and, and, div, div, minus, minus, mod, mod, not, or, or, plus, plus, pow, pow, times, times

  Modifier and Type

  Method

  Description

  default IntExpr

  and(long other)

  Returns this && other.

  default IntExpr

  and(IntegralExpr other)

  Returns this && other.

  default IntExpr

  div(long other)

  Returns this / other, rounding toward zero.

  default IntExpr

  div(IntegralExpr other)

  Returns this / other, rounding toward zero.

  default IntExpr

  minus(long other)

  Returns this - other.

  default IntExpr

  minus(IntegralExpr other)

  Returns this - other.

  default IntExpr

  mod(long other)

  Returns this % other, which has the sign of this.

  default IntExpr

  mod(IntegralExpr other)

  Returns this % other, which has the sign of this.

  default IntExpr

  not()

  Returns !this.

  default IntExpr

  or(long other)

  Returns this || other.

  default IntExpr

  or(IntegralExpr other)

  Returns this || other.

  default IntExpr

  plus(long other)

  Returns this + other.

  default IntExpr

  plus(IntegralExpr other)

  Returns this + other.

  default IntExpr

  pow(long other)

  Returns this ^ other.

  default IntExpr

  pow(IntegralExpr other)

  Returns this ^ other.

  default IntExpr

  times(long other)

  Returns this * other.

  default IntExpr

  times(IntegralExpr other)

  Returns this * other.

  Methods inherited from interface NumericExpr

  eq, eq, eq, ge, ge, ge, gt, gt, gt, le, le, le, lt, lt, lt, ne, ne, ne

  Modifier and Type

  Method

  Description

  default IntExpr

  eq(double other)

  Returns this == other.

  default IntExpr

  eq(long other)

  Returns this == other.

  default IntExpr

  eq(NumericExpr other)

  Returns this == other.

  default IntExpr

  ge(double other)

  Returns this >= other.

  default IntExpr

  ge(long other)

  Returns this >= other.

  default IntExpr

  ge(NumericExpr other)

  Returns this >= other.

  default IntExpr

  gt(double other)

  Returns this > other.

  default IntExpr

  gt(long other)

  Returns this > other.

  default IntExpr

  gt(NumericExpr other)

  Returns this > other.

  default IntExpr

  le(double other)

  Returns this <= other.

  default IntExpr

  le(long other)

  Returns this <= other.

  default IntExpr

  le(NumericExpr other)

  Returns this <= other.

  default IntExpr

  lt(double other)

  Returns this < other.

  default IntExpr

  lt(long other)

  Returns this < other.

  default IntExpr

  lt(NumericExpr other)

  Returns this < other.

  default IntExpr

  ne(double other)

  Returns this != other.

  default IntExpr

  ne(long other)

  Returns this != other.

  default IntExpr

  ne(NumericExpr other)

  Returns this != other.

  Methods inherited from interface TextualExpr

  eq, eq, ne, ne

  Modifier and Type

  Method

  Description

  default IntExpr

  eq(TextualExpr other)

  Returns this == other.

  default IntExpr

  eq(String other)

  Returns this == other.

  default IntExpr

  ne(TextualExpr other)

  Returns this != other.

  default IntExpr

  ne(String other)

  Returns this != other.

• Method Details

  • readFrom

    protected @Nullable Value readFrom(Data data)

    Description copied from class: Field

    Reads the entry of this handle from data.

    Specified by:

    readFrom in class Field<@Nullable Value>

    Parameters:

    data - the data that a read produced

    Returns:

    the value of the entry, or null for an absent entry of an optional handle

  • toString

    public String toString()

    Overrides:

    toString in class Object