operators
Class PrintlnOperator

java.lang.Object
  |
  +--dataanalysis.databases.DatabaseElement
        |
        +--operators.Operator
              |
              +--operators.PrintlnOperator

public class PrintlnOperator
extends Operator

PrintlnOperator.java Created: Sun Aug 8 11:36:27 1999

Author:
Nils Malzahn
See Also:
Serialized Form

Fields inherited from class operators.Operator
added, deleted, OPCLASSIC, OPCLASSIFIER, OPCONDITIONAL, opID, OPREACTIVE, OPTARGETMATCH, opType, postcondFullfilled, postconds, precond, predicateIndexToVerify, weight
 
Fields inherited from class dataanalysis.databases.DatabaseElement
elementname
 
Constructor Summary
PrintlnOperator()
           
 
Method Summary
 void eval()
          Dieser Operator macht nix tolles.
static void main(java.lang.String[] args)
           
 
Methods inherited from class operators.Operator
clear, clone, deepClone, deepPointerClone, equals, getAdded, getDeleted, getFullfilledPostcondition, getOpID, getOpType, getPostcond, getPostcondFullfilled, getPrecond, getUnverifiedPrecondPred, getWeight, setAdded, setDeleted, setOpID, setOpType, setPostcond, setPostcondFullfilled, setPrecond, setPredicateIndexToVerify, setVerifiedPrecondPred, setWeight, toString
 
Methods inherited from class dataanalysis.databases.DatabaseElement
getElementname, logMessage, setElementname
 
Methods inherited from class java.lang.Object
, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Constructor Detail

PrintlnOperator

public PrintlnOperator()
Method Detail

eval

public void eval()
Dieser Operator macht nix tolles. Er gibt sich nur selbst als String aus! Das sollte aber, um den Operator zu testen, ganz n?tzlich sein.
Overrides:
eval in class Operator

main

public static void main(java.lang.String[] args)
                 throws java.lang.CloneNotSupportedException