org.jmlspecs.jml4.esc.gc.lang.sugared.expr
Class SugaredMethodSpecification

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredMethodSpecification

public class SugaredMethodSpecification
extends java.lang.Object

Field Summary

static SugaredMethodSpecification	DEFAULT
SugaredExpression	post
SugaredExpression	pre

Constructor Summary

SugaredMethodSpecification(SugaredExpression pre, SugaredExpression post, java.lang.Object modifies)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

DEFAULT

public static final SugaredMethodSpecification DEFAULT

pre

public final SugaredExpression pre

post

public final SugaredExpression post

Constructor Detail

SugaredMethodSpecification

public SugaredMethodSpecification(SugaredExpression pre,
                                  SugaredExpression post,
                                  java.lang.Object modifies)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object