public final class ServerUnassertCommand extends ServerBasicAssignmentCommand
| Constructor and Description |
|---|
ServerUnassertCommand(java.lang.String targetRelvarName,
java.lang.String delete)
Creates the ServerUnassertCommand
|
| Modifier and Type | Method and Description |
|---|---|
ServerCommandDataWrapper[] |
getCmdDataWrappers()
Gets The commands represented in CommandDataWrappers
|
java.lang.String |
getCommandParametersText()
Gets the full textual representation of the command's parameters
|
java.lang.String |
getFullCommandText()
Gets the full textual representation of the command
|
getRelationExpressionTextgetTargetRelvarIdentifier, getTargetRelvarNamereconstituteAssignmentCommand, reconstituteAssignmentCommandgetCommandObjectFor, getCommandObjectFrom, toStringpublic ServerUnassertCommand(java.lang.String targetRelvarName,
java.lang.String delete)
targetRelvarName - The target relvar Namedelete - The textual representation of the RA formula defining the relation to be deleted from the targetpublic java.lang.String getCommandParametersText()
ServerCommandgetCommandParametersText in class ServerCommandpublic java.lang.String getFullCommandText()
ServerCommandgetFullCommandText in class ServerCommandpublic ServerCommandDataWrapper[] getCmdDataWrappers()
ServerAssignmentCommandgetCmdDataWrappers in class ServerAssignmentCommand