Package tools.refinery.language.model.problem

Interface NodeAssertionArgument

All Superinterfaces:

AssertionArgument, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

NodeAssertionArgumentImpl

public interface NodeAssertionArgument
extends AssertionArgument

A representation of the model object 'Node Assertion Argument'.

The following features are supported:

• Node

See Also:

• ProblemPackage.getNodeAssertionArgument()

Method Summary

Modifier and Type	Method	Description
VariableOrNode	getNode()	Returns the value of the 'Node' reference.
void	setNode(VariableOrNode value)	Sets the value of the 'Node' reference.

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Details

getNode

VariableOrNode getNode()

Returns the value of the 'Node' reference.

Returns:

the value of the 'Node' reference.

See Also:

• setNode(VariableOrNode)
• ProblemPackage.getNodeAssertionArgument_Node()

setNode

void setNode(VariableOrNode value)

Sets the value of the 'Node' reference.

Parameters:

value - the new value of the 'Node' reference.

See Also:

• getNode()