Examples of wyil.transforms.RuntimeAssertions

wyil.transforms.RuntimeAssertions
The purpose of this transform is two-fold:
1. To inline preconditions for method invocations.
2. To inline preconditions for division and list/dictionary access expressions
3. To inline postcondition checks. This involves generating the appropriate shadows for local variables referenced in post-conditions
4. To inline dispatch choices into call-sites. This offers a useful optimisation in situations when we can statically determine that a subset of cases is the dispatch target.
@author David J. Pearce

      WyilFile.FunctionOrMethodDeclaration method, WyilFile wyilFile,
      WyalFile wycsFile) {


    if (!RuntimeAssertions.getEnable()) {
      // inline constraints if they have not already been done.
      RuntimeAssertions rac = new RuntimeAssertions(this, filename);
      methodCase = rac.transform(methodCase, method);
    }


    Type.FunctionOrMethod fmm = method.type();
    int paramStart = 0;

View Full Code Here

TOP

Related Classes of wyil.transforms.RuntimeAssertions

wyil.builders.Wyil2WyalBuilder

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.