Examples of wyc.lang.WhileyFile$Method

wyc.lang.WhileyFile
meter must be positive requires x > 0 // Return must be negative ensures $ < 0: // body return -x
Here, a method m is defined which accepts only positive integers and returns only negative integers. The special variable $ is used to refer to the return value. Unlike functions, methods in Whiley may have side-effects.

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

NOTE see {@link FunctionOrMethod} for more information.
@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) {

View Full Code Here

TOP

Related Classes of wyc.lang.WhileyFile$Method

com.sun.javadoc.Type

com.sun.tools.javac.code.Types.UniqueType

juzu.impl.common.MethodHandle

juzu.impl.common.Name

nexj.core.scripting.Pair

org.apache.hadoop.fs.Path

org.apache.hadoop.mapreduce.lib.output.FileOutputCommitter

org.apache.http.client.methods.CloseableHttpResponse

org.apache.http.HttpEntity

org.bioversityinternational.model.germplasm.CropDescriptorQuery.Trait.Method.Scale

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.