public final class ServerAssertCommand extends ServerBasicAssignmentCommand
Constructor and Description |
---|
ServerAssertCommand(java.lang.String targetRelvarName,
java.lang.String insert)
Creates the ServerAssertCommand
|
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 ServerAssertCommand(java.lang.String targetRelvarName, java.lang.String insert)
targetRelvarName
- The target relvar Nameinsert
- The textual representation of the RA formula defining the relation to be inserted into 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