Examples of wyc.lang.WhileyFile$Function

wyc.lang.WhileyFile

meter must be positive requires x > 0 // Return must be negative ensures y < 0: // body return -x

Here, a function f is defined which accepts only positive integers and returns only negative integers. The special variable $ is used to refer to the return value. Functions in Whiley may not have side-effects (i.e. they are pure functions).

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

NOTE see {@link FunctionOrMethod} for more information.

@see FunctionOrMethod @author David J. Pearce

    // 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) {

Examples of wyc.lang.WhileyFile$Function

Related Classes of wyc.lang.WhileyFile$Function