Uses of Interface
wyal.lang.Domain.Value

Packages that use Domain.Value

Package	Description
wyal.lang

Uses of Domain.Value in wyal.lang

Methods in wyal.lang that return Domain.Value

Modifier and Type	Method and Description
Domain.Value	Domain.Value.Record.getField(wybs.util.AbstractCompilationUnit.Identifier fieldName)
Domain.Value	Domain.Value.Array.getIndex(Domain.Value.Integer index)

Methods in wyal.lang with parameters of type Domain.Value

Modifier and Type	Method and Description
Domain.Value.Boolean	Domain.Value.equal(Domain.Value value) Determine whether or not two abstract values are equal.
Domain.Value.Record	Domain.Value.Record.setField(wybs.util.AbstractCompilationUnit.Identifier fieldName, Domain.Value value)
Domain.Value.Array	Domain.Value.Array.setIndex(Domain.Value.Integer index, Domain.Value value)