be.SIRAPRISE.client
Class ServerAssertCommand

java.lang.Object
  extended by be.SIRAPRISE.client.ServerCommand
      extended by be.SIRAPRISE.client.ServerAssignmentCommand
          extended by be.SIRAPRISE.client.ServerSingleAssignmentCommand
              extended by be.SIRAPRISE.client.ServerBasicAssignmentCommand
                  extended by be.SIRAPRISE.client.ServerAssertCommand

public final class ServerAssertCommand
extends ServerBasicAssignmentCommand

A ServerAssertCommand consists of two portions :

Author:
Erwin

Constructor Summary
ServerAssertCommand(java.lang.String targetRelvarName, java.lang.String insert)
          Creates the ServerAssertCommand
 
Method Summary
 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
 void writeAssignmentTypeSpecificToStream(java.io.DataOutputStream outputStream)
           
 
Methods inherited from class be.SIRAPRISE.client.ServerBasicAssignmentCommand
getRelationExpressionText
 
Methods inherited from class be.SIRAPRISE.client.ServerSingleAssignmentCommand
getTargetRelvarName, writeToStream
 
Methods inherited from class be.SIRAPRISE.client.ServerCommand
getCommandObjectFor, getCommandObjectFrom, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ServerAssertCommand

public ServerAssertCommand(java.lang.String targetRelvarName,
                           java.lang.String insert)
Creates the ServerAssertCommand

Parameters:
targetRelvarName - The target relvar Name
insert - The textual representation of the RA formula defining the relation to be inserted into the target
Method Detail

getCommandParametersText

public java.lang.String getCommandParametersText()
Description copied from class: ServerCommand
Gets the full textual representation of the command's parameters

Specified by:
getCommandParametersText in class ServerCommand
Returns:
the full textual representation of the command's parameters

getFullCommandText

public java.lang.String getFullCommandText()
Description copied from class: ServerCommand
Gets the full textual representation of the command

Specified by:
getFullCommandText in class ServerCommand
Returns:
the full textual representation of the command

writeAssignmentTypeSpecificToStream

public void writeAssignmentTypeSpecificToStream(java.io.DataOutputStream outputStream)
                                         throws java.io.IOException
Throws:
java.io.IOException