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
|
getRelationExpressionText
getTargetRelvarIdentifier, getTargetRelvarName
reconstituteAssignmentCommand, reconstituteAssignmentCommand
getCommandObjectFor, getCommandObjectFrom, toString
public 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()
ServerCommand
getCommandParametersText
in class ServerCommand
public java.lang.String getFullCommandText()
ServerCommand
getFullCommandText
in class ServerCommand
public ServerCommandDataWrapper[] getCmdDataWrappers()
ServerAssignmentCommand
getCmdDataWrappers
in class ServerAssignmentCommand