Package org.mizartools.dli

Examples of org.mizartools.dli.Variable

197
198
199
200
201
202
203
204
205
206
207
        } else {
            ItemId itemId = getItemId(abstractSignature, ((org.mizartools.system.xml.Func)term)); 
              termDli = new Func(itemId, term2List);
        }
          } else if (term instanceof org.mizartools.system.xml.Var) {
            termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
          } else if (term instanceof org.mizartools.system.xml.LocusVar) {
            termDli = new LocusVar(((org.mizartools.system.xml.LocusVar)term).getNr());
          } else if (term instanceof org.mizartools.system.xml.Num) {
            termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
          } else {
View Full Code Here
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
      org.mizartools.system.xml.Term term,
      VariableId vid) throws DliException {
    if (term == null) return null;
    Term termDli = null;
    if (term instanceof org.mizartools.system.xml.Var) {
      termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.LocusVar) {
      termDli = new LocusVar(((org.mizartools.system.xml.LocusVar)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.Func) {
      org.mizartools.system.xml.Func func = (org.mizartools.system.xml.Func) term;
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term1 : func.getTermList()) {
        termList.add(getTerm(abstractSignature, term1, vid));
      }
      if (func.getKind() == org.mizartools.system.xml.Func.Kind.F){
        if (func.getNr() == null) throw new DliException();
        termDli = new PrivateFunctor(func.getNr(), termList);
      } else {
        ItemId itemId = getItemId(abstractSignature, func.getKind(), func.getNr());
        termDli = new Func(itemId, termList);
      }
    } else if (term instanceof org.mizartools.system.xml.Choice) {
      termDli = new The(getType(abstractSignature, ((org.mizartools.system.xml.Choice)term).getTyp()));
    } else if (term instanceof org.mizartools.system.xml.Num) {
      termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.Fraenkel) {
      org.mizartools.system.xml.Fraenkel fraenkel = (org.mizartools.system.xml.Fraenkel)term;
      LinkedList<Var> varList = new LinkedList<Var>();
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      for (org.mizartools.system.xml.Typ typ : fraenkel.getTypList()) {
        vid2.increment();
        Variable variable = new Variable(vid2.getId());
        Type type = getType(abstractSignature, typ);
        varList.add(new Var(variable, type));
      }
      Term term1 = getTerm(abstractSignature, fraenkel.getTerm(), vid2);
      termDli = new Fraenkel(varList, term1, getFormula(abstractSignature, fraenkel.getFormula(), vid2));
View Full Code Here
599
600
601
602
603
604
605
606
607
608
609
      Integer vid1 = ((org.mizartools.system.xml.For) formula).getVid();
      if (vid1 == null) {
        vid.increment();
        vid1 = vid.getId();
      }
      Variable variable = new Variable(vid1);
      Type type = getType(abstractSignature, ((org.mizartools.system.xml.For) formula).getTyp());
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      Formula formula1 = getFormula(abstractSignature, ((org.mizartools.system.xml.For) formula).getFormula(), vid2);
      formulaDli = new For(variable, type, formula1);
View Full Code Here
197
198
199
200
201
202
203
204
205
206
207
        } else {
            ItemId itemId = getItemId(abstractSignature, ((org.mizartools.system.xml.Func)term)); 
              termDli = new Func(itemId, term2List);
        }
          } else if (term instanceof org.mizartools.system.xml.Var) {
            termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
          } else if (term instanceof org.mizartools.system.xml.LocusVar) {
            termDli = new LocusVar(((org.mizartools.system.xml.LocusVar)term).getNr());
          } else if (term instanceof org.mizartools.system.xml.Num) {
            termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
          } else {
View Full Code Here
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
      org.mizartools.system.xml.Term term,
      VariableId vid) throws DliException {
    if (term == null) return null;
    Term termDli = null;
    if (term instanceof org.mizartools.system.xml.Var) {
      termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.LocusVar) {
      termDli = new LocusVar(((org.mizartools.system.xml.LocusVar)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.Func) {
      org.mizartools.system.xml.Func func = (org.mizartools.system.xml.Func) term;
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term1 : func.getTermList()) {
        termList.add(getTerm(abstractSignature, term1, vid));
      }
      if (func.getKind() == org.mizartools.system.xml.Func.Kind.F){
        if (func.getNr() == null) throw new DliException();
        termDli = new PrivateFunctor(func.getNr(), termList);
      } else {
        ItemId itemId = getItemId(abstractSignature, func.getKind(), func.getNr());
        termDli = new Func(itemId, termList);
      }
    } else if (term instanceof org.mizartools.system.xml.Choice) {
      termDli = new The(getType(abstractSignature, ((org.mizartools.system.xml.Choice)term).getTyp()));
    } else if (term instanceof org.mizartools.system.xml.Num) {
      termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.Fraenkel) {
      org.mizartools.system.xml.Fraenkel fraenkel = (org.mizartools.system.xml.Fraenkel)term;
      LinkedList<Var> varList = new LinkedList<Var>();
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      for (org.mizartools.system.xml.Typ typ : fraenkel.getTypList()) {
        vid2.increment();
        Variable variable = new Variable(vid2.getId());
        Type type = getType(abstractSignature, typ);
        varList.add(new Var(variable, type));
      }
      Term term1 = getTerm(abstractSignature, fraenkel.getTerm(), vid2);
      termDli = new Fraenkel(varList, term1, getFormula(abstractSignature, fraenkel.getFormula(), vid2));
View Full Code Here
599
600
601
602
603
604
605
606
607
608
609
      Integer vid1 = ((org.mizartools.system.xml.For) formula).getVid();
      if (vid1 == null) {
        vid.increment();
        vid1 = vid.getId();
      }
      Variable variable = new Variable(vid1);
      Type type = getType(abstractSignature, ((org.mizartools.system.xml.For) formula).getTyp());
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      Formula formula1 = getFormula(abstractSignature, ((org.mizartools.system.xml.For) formula).getFormula(), vid2);
      formulaDli = new For(variable, type, formula1);
View Full Code Here
TOP

Related Classes of org.mizartools.dli.Variable

  • org.mizartools.dli.utility.Adapter
    • 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.