Package tripleo.elijah_durable_congenial.lang.i

Interface Postcondition

All Known Implementing Classes:
PostconditionImpl
public interface Postcondition

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    expr(IExpression expr)
     
    void
    id(IdentExpression id)