uk.ac.ic.doc.automed.tml
Class TML

java.lang.Object
  |
  +--uk.ac.ic.doc.automed.tml.TML

public class TML

extends java.lang.Object

This class represents a Transformation in TML notation.

Author:

Nerissa Tong (nnyt98@doc.ic.ac.uk)

Constructor Summary

protected

TML(int a, Schema fs, Schema ts, SchemaObject fo, SchemaObject to, java.lang.String f, java.lang.String c)

Method Summary

int	getAction()
java.util.HashSet	getNegativePostconditions()
java.util.HashSet	getNegativePreconditions()
java.util.HashSet	getPositivePostconditions()
java.util.HashSet	getPositivePreconditions()
static TML	getTML(Schema fs, Schema ts)
java.lang.String	toPrintString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TML

protected TML(int a,
              Schema fs,
              Schema ts,
              SchemaObject fo,
              SchemaObject to,
              java.lang.String f,
              java.lang.String c)
       throws IntegrityException,
              InconsistentException

Method Detail

getTML

public static TML getTML(Schema fs,
                         Schema ts)
                  throws IntegrityException,
                         InconsistentException

IntegrityException

InconsistentException

getAction

public int getAction()

getPositivePreconditions

public java.util.HashSet getPositivePreconditions()

getNegativePreconditions

public java.util.HashSet getNegativePreconditions()

getPositivePostconditions

public java.util.HashSet getPositivePostconditions()

getNegativePostconditions

public java.util.HashSet getNegativePostconditions()

toPrintString

public java.lang.String toPrintString()
                               throws IntegrityException

IntegrityException