Index

h8io.cfg.Id.Index
final case class Index(index: Int, parent: Id) extends Branch

A positional element inside a sequence node.

Value parameters

index

zero-based position

parent

the parent path

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Branch
trait Id
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def fits(n: Int): Boolean

Returns true if this index is within [0, n).

Returns true if this index is within [0, n).

Attributes

def path: String

Inherited methods

def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product