Dresden OCL Toolkit

tudresden.ocl.injection.ocl
Class SortedFragments

java.lang.Object
  extended bytudresden.ocl.injection.ocl.SortedFragments

public class SortedFragments
extends Object


Field Summary
private  String constrainedType
           
(package private)  ArrayList inv
           
(package private)  ArrayList post
           
(package private)  ArrayList pre
           
(package private)  ArrayList preparation
           
(package private)  ArrayList transfer
           
 
Constructor Summary
(package private) SortedFragments(CodeFragment firstFragment)
           
 
Method Summary
(package private)  void addFragment(CodeFragment fragment)
           
(package private)  void print(PrintStream o)
           
(package private) static void printFragment(CodeFragment f, PrintStream o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

inv

ArrayList inv

post

ArrayList post

pre

ArrayList pre

transfer

ArrayList transfer

preparation

ArrayList preparation

constrainedType

private String constrainedType
Constructor Detail

SortedFragments

SortedFragments(CodeFragment firstFragment)
Method Detail

addFragment

void addFragment(CodeFragment fragment)

print

void print(PrintStream o)

printFragment

static void printFragment(CodeFragment f,
                          PrintStream o)

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.