jtp.proof.transform
Class StubTransformer

java.lang.Object
  |
  +--jtp.proof.transform.StubTransformer

All Implemented Interfaces:

ProofTransformer

public class StubTransformer

extends Object

implements ProofTransformer

Constructor Summary

StubTransformer()

Method Summary

Proof

transform(Proof in)

Methods inherited from class java.lang.Object

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

Constructor Detail

StubTransformer

public StubTransformer()

Method Detail

transform

public Proof transform(Proof in)

Specified by:

transform in interface ProofTransformer