de.cau.cs.kieler.esterel.esterel
Interface ConstantRenaming

All Superinterfaces:
EObject, Notifier
All Known Implementing Classes:
ConstantRenamingImpl

public interface ConstantRenaming
extends EObject

A representation of the model object 'Constant Renaming'.

The following features are supported:

See Also:
EsterelPackage.getConstantRenaming()
Rating red
Generated:
This code was automatically generated.
Model element

Method Summary
 String getNewName()
          Returns the value of the 'New Name' attribute.
 String getValue()
          Returns the value of the 'Value' attribute.
 void setNewName(String value)
          Sets the value of the 'New Name' attribute.
 void setValue(String value)
          Sets the value of the 'Value' attribute.
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 

Method Detail

getValue

String getValue()
Returns the value of the 'Value' attribute.

If the meaning of the 'Value' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Value' attribute.
See Also:
setValue(String), EsterelPackage.getConstantRenaming_Value()
Generated:
This code was automatically generated.
Model element

setValue

void setValue(String value)
Sets the value of the 'Value' attribute.

Parameters:
value - the new value of the 'Value' attribute.
See Also:
getValue()
Generated:
This code was automatically generated.

getNewName

String getNewName()
Returns the value of the 'New Name' attribute.

If the meaning of the 'New Name' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'New Name' attribute.
See Also:
setNewName(String), EsterelPackage.getConstantRenaming_NewName()
Generated:
This code was automatically generated.
Model element

setNewName

void setNewName(String value)
Sets the value of the 'New Name' attribute.

Parameters:
value - the new value of the 'New Name' attribute.
See Also:
getNewName()
Generated:
This code was automatically generated.