Examples of wyc.lang.WhileyFile$FunctionOrMethod

wyc.lang.WhileyFile
rn must be greater than either parameter ensures x <= z && y <= z // return must equal one of the parmaeters ensures x == z || y == z: ...
Here, we see the specification for the well-known max() function which returns the largest of its parameters. This does not throw any exceptions, and does not enforce any preconditions on its parameters.

Function and method declarations may also have modifiers, such as public and private.

    // Now, figure out module name from filename
    // FIXME: this is a hack!
    String name = filename.substring(
        filename.lastIndexOf(File.separatorChar) + 1,
        filename.length() - 7);
    WhileyFile wf = new WhileyFile(pkg.append(name), filename);


    skipWhiteSpace();
    while (index < tokens.size()) {
      Token lookahead = tokens.get(index);
      if (lookahead.kind == Import) {

View Full Code Here

TOP

Related Classes of wyc.lang.WhileyFile$FunctionOrMethod

wyc.io.WhileyFileParser

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.