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
|
getRelationExpressionTextgetTargetRelvarIdentifier, getTargetRelvarNamereconstituteAssignmentCommand, reconstituteAssignmentCommandgetCommandObjectFor, getCommandObjectFrom, toStringpublic 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()
ServerCommandgetCommandParametersText in class ServerCommandpublic java.lang.String getFullCommandText()
ServerCommandgetFullCommandText in class ServerCommandpublic ServerCommandDataWrapper[] getCmdDataWrappers()
ServerAssignmentCommandgetCmdDataWrappers in class ServerAssignmentCommand