Package statechum.analysis.Erlang.Signatures

Examples of statechum.analysis.Erlang.Signatures.StringSignature

274
275
276
277
278
279
280
281
282
283
284
        } else if (spec.startsWith("atom()")) {
            specbuf.delete(0, 6);
            sig = new AtomSignature(new OtpErlangList());
        } else if (spec.startsWith("string()")) {
            specbuf.delete(0, 8);
            sig = new StringSignature(new OtpErlangList());
        } else if (spec.startsWith("tuple()")) {
            specbuf.delete(0, 7);
            sig = new TupleSignature(new OtpErlangList());
        } else if (spec.startsWith("char()")) {
            specbuf.delete(0, 6);
View Full Code Here
TOP

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

  • com.ericsson.otp.erlang.OtpErlangString
  • 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.