Class StringType

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.build.Type<StringType>

dev.gecode.iris.build.StringType

public final class StringType extends Type<StringType>

A type that reads strings.

• Method Summary

  Methods inherited from class Type

  dim, dim, dims, dims, layout, layout, offset, offset, until, until, until, untilEol

  Modifier and Type

  Method

  Description

  final StringType

  dim(long size)

  Returns this type with another dimension: x[size]: type.

  final StringType

  dim(Expr size)

  Returns this type with another dimension: x[size]: type.

  final StringType

  dims(long... sizes)

  Returns this type with several more dimensions, as many as known only at run time.

  final StringType

  dims(List<? extends Expr> sizes)

  Returns this type with several more dimensions, as many as known only at run time.

  final StringType

  layout(long layout)

  Returns this type with layout expression.

  final StringType

  layout(Expr layout)

  Returns this type with layout expression.

  final StringType

  offset(long offset)

  Returns this type with offset expression.

  final StringType

  offset(Expr offset)

  Returns this type with offset expression.

  final ListReading

  until(long end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  until(Expr end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  until(String end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  untilEol()

  Returns a list of this type that ends at the end of the line: until eol.

  Methods inherited from class Object

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