Examples of statechum.analysis.Erlang.Signatures.AltSignature

Package statechum.analysis.Erlang.Signatures

Examples of statechum.analysis.Erlang.Signatures.AltSignature

statechum.analysis.Erlang.Signatures.AltSignature
This represents a set of alternative signatures. This is usually the parse of a BNF signature. So [ 58 | 59 , ... ] is a ListSignature with the first elem an AltSignature with two LiteralSignature elements. @author ramsay

                if (s instanceof AltSignature) {
                  asigElems.addAll(((AltSignature) s).elems);
                } else {
                  asigElems.add(s);
                }
                sig = new AltSignature(asigElems);
            }
        }
        return sig;
    }

View Full Code Here

            }


        }
        assert !resultValue.isEmpty();
        FuncSignature result = new FuncSignature("UNKNOWN",name,argList,
            resultValue.size()>1?new AltSignature(resultValue):resultValue.get(0));
        System.out.println("Args: " + result.instantiateAllArgs().size() + " possibilities");
        
        boolean firstline = true;
        for (List<OtpErlangObject> a : result.instantiateAllArgs()) {
          if (!firstline) {

View Full Code Here

TOP

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

statechum.analysis.Erlang.TestErlangModule

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.