wyal.lang

Interface Domain.Value.Record

Enclosing interface:

Domain.Value

public static interface Domain.Value.Record

Represents an abstract record value which has a potentially infinite number of record values.

Author:

David J. Pearce

Method Summary

Modifier and Type	Method and Description
Domain.Value	getField(wybs.util.AbstractCompilationUnit.Identifier fieldName)
Domain.Value.Record	setField(wybs.util.AbstractCompilationUnit.Identifier fieldName, Domain.Value value)

Method Detail

getField

Domain.Value getField(wybs.util.AbstractCompilationUnit.Identifier fieldName)

setField

Domain.Value.Record setField(wybs.util.AbstractCompilationUnit.Identifier fieldName,
                             Domain.Value value)