tudresden.ocl.injection.ocl
Class SortedFragments
java.lang.Object
tudresden.ocl.injection.ocl.SortedFragments
- public class SortedFragments
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
inv
ArrayList inv
post
ArrayList post
pre
ArrayList pre
transfer
ArrayList transfer
preparation
ArrayList preparation
constrainedType
private String constrainedType
SortedFragments
SortedFragments(CodeFragment firstFragment)
addFragment
void addFragment(CodeFragment fragment)
print
void print(PrintStream o)
printFragment
static void printFragment(CodeFragment f,
PrintStream o)
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.