Examples of FuncSignature

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

330
331
332
333
334
335
336
337
338
339
340
   
    Iterator<Label> lblIter = gr.pathroutines.computeAlphabet().iterator();
    ErlangLabel lbl1 = (ErlangLabel)lblIter.next(),lbl2 = (ErlangLabel)lblIter.next();
   
    // now mess up the name of the function,
    FuncSignature fun2 = mod.sigs.get(lbl2.callName);
    mod.sigs.put(lbl1.callName,fun2);// mess up behaviour
    checkForCorrectException(new whatToRun() { public @Override void run() {
      gr.transform.interpretLabelsOnGraph(mod.behaviour.new ConverterErlToMod());
    }},IllegalArgumentException.class,"label already has a function assigned");
  }
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

342
343
344
345
346
347
348
349
350
351
      ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(file));
      Assert.assertTrue(mod.behaviour instanceof OTPGenServerBehaviour);
      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
              resultValue.add(a);
            }

        }
        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) {
          System.out.println("|");
          } else {
          firstline = false;
          }
          System.out.println(a);
        }
        System.out.println();
        System.out.println("Result: " + result.instantiateAllResults().size() + " possibilities");

        return result;
    }
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
    {
      String buf = bufArg;
      Map<String,FuncSignature> sigs=  new TreeMap<String,FuncSignature>();
        String spec = getFirstSpec(buf);
        while (spec != null) {
            FuncSignature sig;
            try {
                sig = parseSignatureSpec(spec);
                //sig.argInstances.addAll(seekUsages(sig.funcName, f));
                sigs.put(sig.getName(), sig);
            } catch (FailedToParseException e) {
                sig = null;
            }
            buf = buf.substring(spec.length());
            spec = getFirstSpec(buf);
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

84
85
86
87
88
89
90
91
92
93
94
95
        Assert.assertEquals(1,analysisResults.arity());
        OtpErlangTuple fileDetails = (OtpErlangTuple)analysisResults.elementAt(0);
        OtpErlangList typeInformation = (OtpErlangList) fileDetails.elementAt(3);
        for(int i=0;i<typeInformation.arity();++i)
        {
          FuncSignature s = new FuncSignature(typeInformation.elementAt(i));
          sigs.put(s.toString(), s);
        }

        BufferedReader input = new BufferedReader(new FileReader(f));
        String line = input.readLine();
        while (line != null && !line.startsWith(behaviourToken)) {
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

100
101
102
103
104
105
106
107
108
109
110
111
112
      }
    }

    public void loadInitArgs() {
        initArgs = new LinkedList<List<OtpErlangObject>>();
        FuncSignature initSig = parent.sigs.get(parent.getName()+":init/1");
        if (initSig != null) // stopgap solution
          initArgs.addAll(initSig.instantiateAllArgs());
        /*
        if (initSig != null) {
            for (String a : initSig.instantiateAllArgs()) {
                // Skip values with variables since we can't instantiate them...
                if ((!(a.matches("^[_A-Z].*") || a.matches(".* [_A-Z].*")))&&(a.length() > 0)) {
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

336
337
338
339
340
341
342
343
344
345
346
   
    Iterator<Label> lblIter = gr.pathroutines.computeAlphabet().iterator();
    ErlangLabel lbl1 = (ErlangLabel)lblIter.next(),lbl2 = (ErlangLabel)lblIter.next();
   
    // now mess up the name of the function,
    FuncSignature fun2 = mod.sigs.get(lbl2.callName);
    mod.sigs.put(lbl1.callName,fun2);// mess up behaviour
    final LearnerGraph outcome = new LearnerGraph(gr.config);
    checkForCorrectException(new whatToRun() { public @Override void run() {
      AbstractLearnerGraph.interpretLabelsOnGraph(gr,outcome,mod.behaviour.new ConverterErlToMod());
    }},IllegalArgumentException.class,"label already has a function assigned");
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

300
301
302
303
304
305
306
307
308
309
      ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(file));
      Assert.assertTrue(mod.behaviour instanceof OTPGenServerBehaviour);
      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

316
317
318
319
320
321
322
323
324
325
      ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(file));
      Assert.assertTrue(mod.behaviour instanceof OTPGenServerBehaviour);
      Assert.assertTrue(mod.behaviour.dependencies.isEmpty());
      for(FuncSignature s:mod.sigs.values())
      {
           FuncSignature newSig = new FuncSignature(defaultConfig, ErlangLabel.parseText(s.toErlangTerm()),null);
           Assert.assertEquals(s, newSig);
           Assert.assertEquals(s, new FuncSignature(defaultConfig, ErlangLabel.parseText(newSig.toErlangTerm()),null));
      }
    }
View Full Code Here

Examples of statechum.analysis.Erlang.Signatures.FuncSignature

339
340
341
342
343
344
345
346
347
348
349
   
    Iterator<Label> lblIter = gr.pathroutines.computeAlphabet().iterator();
    ErlangLabel lbl1 = (ErlangLabel)lblIter.next(),lbl2 = (ErlangLabel)lblIter.next();
   
    // now mess up the name of the function,
    FuncSignature fun2 = mod.sigs.get(lbl2.callName);
    mod.sigs.put(lbl1.callName,fun2);// mess up behaviour
    final LearnerGraph outcome = new LearnerGraph(gr.config);
    checkForCorrectException(new whatToRun() { public @Override void run() {
      AbstractLearnerGraph.interpretLabelsOnGraph(gr,outcome,mod.behaviour.new ConverterErlToMod());
    }},IllegalArgumentException.class,"label already has a function assigned");
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.