| java.lang.Object de.uka.ilkd.key.ocl.gf.ConstraintCallback de.uka.ilkd.key.ocl.gf.CallbackPrePost
CallbackPrePost | public class CallbackPrePost extends ConstraintCallback (Code) | | the GF editor uses this class as an interface for sending
pre-/postconditions to Together
author: Kristofer Johannisson & Hans-Joachim Daniels |
Method Summary | |
public void | sendAbstract(String abs) | public void | sendConstraint(String ocl) saves the given OCL constraint in the Java file as a JavaDoc comment.
Parameters: ocl - assumption: ocl constraint has form ... |
CallbackPrePost | public CallbackPrePost(ModelMethod rmm)(Code) | | just sets the field rmm
Parameters: rmm - A representation of the method in the model,used to create the initial stub for GF and to save the constraint there. |
sendAbstract | public void sendAbstract(String abs)(Code) | | saves the given OCL constraint in the Java file as a JavaDoc comment
in the GF tree syntax
Parameters: abs - GF abstract syntax tree |
sendConstraint | public void sendConstraint(String ocl)(Code) | | saves the given OCL constraint in the Java file as a JavaDoc comment.
Parameters: ocl - assumption: ocl constraint has form ... .. pre: .... ... post: ...Only one pre- and one postcondition is supported by TogetherCC! |
|
|