TML
Keywords: uk.ac.ic.doc.automed.tml.TML,TML class

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD