Package statechum.analysis.Erlang.Signatures

Examples of statechum.analysis.Erlang.Signatures.PortSignature

289
290
291
292
293
294
295
296
297
298
299
        } else if (spec.startsWith("pid()")) {
            specbuf.delete(0, 5);
            sig = new PidSignature();
        } else if (spec.startsWith("port()")) {
            specbuf.delete(0, 6);
            sig = new PortSignature();
        } else if (spec.startsWith("'")) {
            String lit = "";
            specbuf.delete(0, 1);
            while (specbuf.charAt(0) != '\'') {
                lit += specbuf.charAt(0);
View Full Code Here
TOP

Related Classes of statechum.analysis.Erlang.Signatures.PortSignature

  • com.ericsson.otp.erlang.OtpErlangPort
  • statechum.analysis.Erlang.TestErlangModule
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.