Package com.ericsson.otp.erlang

Examples of com.ericsson.otp.erlang.OtpErlangTuple.arity()

83
84
85
86
87
88
89
90
91
92
93
     */
    public static ChangesToGraph load(OtpErlangObject obj)
    {
      ChangesToGraph recorder = new ChangesToGraph();
      OtpErlangTuple difference = (OtpErlangTuple)obj;
      if (difference.arity() != 7)
        throw new IllegalArgumentException("expected 7 components in diff");
      if (!((OtpErlangAtom)difference.elementAt(0)).atomValue().equals("statemachinedifference"))
        throw new IllegalArgumentException("first element of a record should be \"statemachinedifference\"");
      OtpErlangList addedTransitions = (OtpErlangList)difference.elementAt(1),removedTransitions = (OtpErlangList)difference.elementAt(2),addedStates = (OtpErlangList)difference.elementAt(3);
      OtpErlangAtom initial_state = (OtpErlangAtom)difference.elementAt(6);     
View Full Code Here
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
    if (!(obj instanceof OtpErlangTuple))
      throw new IllegalArgumentException("expected a tuple, parsed "+ obj);
    OtpErlangTuple tuple = (OtpErlangTuple) obj;

    ErlangLabel outcome = null;
    switch (tuple.arity()) {
    case 2:
      if (!(tuple.elementAt(0) instanceof OtpErlangAtom))
        throw new IllegalArgumentException(
            "function name should be an atom, got "
                + tuple.elementAt(0));
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
    try
    {
      if (elementAt instanceof OtpErlangTuple)
      {// multi-arg constructor, turn elements of the tuple into arguments for the constructor.
        OtpErlangTuple argTuple = (OtpErlangTuple)elementAt;
        if (argTuple.arity() < 2) throw new IllegalArgumentException("invalid type argument: a list with arity of less than two");
        final int argumentNumber = argTuple.arity()-1;
        Class<OtpErlangList> []argTypes = new Class[argumentNumber];
        for(int i=0;i<argumentNumber;++i) argTypes[i]=OtpErlangList.class;
        @SuppressWarnings("unchecked")
        Class<Signature> sigClass = (Class<Signature>)Class.forName("statechum.analysis.Erlang.Signatures."+((OtpErlangAtom)argTuple.elementAt(0)).atomValue()+"Signature");
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
    {
      if (elementAt instanceof OtpErlangTuple)
      {// multi-arg constructor, turn elements of the tuple into arguments for the constructor.
        OtpErlangTuple argTuple = (OtpErlangTuple)elementAt;
        if (argTuple.arity() < 2) throw new IllegalArgumentException("invalid type argument: a list with arity of less than two");
        final int argumentNumber = argTuple.arity()-1;
        Class<OtpErlangList> []argTypes = new Class[argumentNumber];
        for(int i=0;i<argumentNumber;++i) argTypes[i]=OtpErlangList.class;
        @SuppressWarnings("unchecked")
        Class<Signature> sigClass = (Class<Signature>)Class.forName("statechum.analysis.Erlang.Signatures."+((OtpErlangAtom)argTuple.elementAt(0)).atomValue()+"Signature");
        Constructor<Signature> constructor = sigClass.getConstructor(argTypes);
View Full Code Here
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
          tuple.elementAt(2), tuple.elementAt(3));
      break;
    default:
      throw new IllegalArgumentException(
          "expected Erlang label, got tuple of arity "
              + tuple.arity() + " in " + tuple);
    }

    // now assign a function name
    ErlangModule mod = ErlangModule
        .findModule(config.getErlangModuleName());
View Full Code Here
580
581
582
583
584
585
586
587
588
589
590
    }
    OtpErlangList trace = (OtpErlangList) result.elementAt(2);
    ErlangLabel[] answerDetails = new ErlangLabel[trace.arity()];
    for (int i = 0; i < trace.arity(); ++i) {
      OtpErlangTuple elemAti = (OtpErlangTuple) trace.elementAt(i);
      if (elemAti.arity() < 2 || elemAti.arity() > 3)
        throw new IllegalArgumentException("received tuple " + elemAti
            + " of invalid arity");
      if (elemAti.arity() == 3) {
        if (config.getUseErlangOutputs()) {
          answerDetails[i] = new ErlangLabel(
View Full Code Here
580
581
582
583
584
585
586
587
588
589
590
    }
    OtpErlangList trace = (OtpErlangList) result.elementAt(2);
    ErlangLabel[] answerDetails = new ErlangLabel[trace.arity()];
    for (int i = 0; i < trace.arity(); ++i) {
      OtpErlangTuple elemAti = (OtpErlangTuple) trace.elementAt(i);
      if (elemAti.arity() < 2 || elemAti.arity() > 3)
        throw new IllegalArgumentException("received tuple " + elemAti
            + " of invalid arity");
      if (elemAti.arity() == 3) {
        if (config.getUseErlangOutputs()) {
          answerDetails[i] = new ErlangLabel(
View Full Code Here
583
584
585
586
587
588
589
590
591
592
593
    for (int i = 0; i < trace.arity(); ++i) {
      OtpErlangTuple elemAti = (OtpErlangTuple) trace.elementAt(i);
      if (elemAti.arity() < 2 || elemAti.arity() > 3)
        throw new IllegalArgumentException("received tuple " + elemAti
            + " of invalid arity");
      if (elemAti.arity() == 3) {
        if (config.getUseErlangOutputs()) {
          answerDetails[i] = new ErlangLabel(
              questionDetails[i].function,
              questionDetails[i].callName,
              questionDetails[i].input, elemAti.elementAt(2));
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
      name = nameTag.atomValue();
        fields = new TreeMap<String, Signature>();
        for(OtpErlangObject obj:fieldDetails)
        {
          OtpErlangTuple nameValue = (OtpErlangTuple)obj;
          if (nameValue.arity() != 2) throw new IllegalArgumentException("Invalid name-type field "+obj+" passed to RecordSignature");
          Signature sig = Signature.buildFromType(nameValue.elementAt(1));
          orderedSignatures.add(sig);
          fields.put(((OtpErlangAtom)nameValue.elementAt(0)).atomValue(),sig);
        }
    }
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    OtpErlangTuple fileDetails = (OtpErlangTuple) analysisResults.elementAt(0);
    OtpErlangList typeInformation = (OtpErlangList) fileDetails.elementAt(3);
    for (int i = 0; i < typeInformation.arity(); ++i) {
      //System.out.print("\n" + typeInformation.elementAt(i).toString());
      OtpErlangTuple functionDescr = (OtpErlangTuple) typeInformation.elementAt(i);
      if (functionDescr.arity() > 3)
      {
        FuncSignature s = new FuncSignature(config,typeInformation.elementAt(i), null);
        sigs.put(s.getQualifiedName(), s);
      }
      else
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.