Package org.mizartools.dli

Examples of org.mizartools.dli.Type

270
271
272
273
274
275
276
277
278
279
280
      org.mizartools.system.xml.FCluster fCluster)
    throws DliException {
    ArticleId articleId = new ArticleId(fCluster.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, fCluster.getArgTypes());
    Term term = Adapter.getTerm(abstractSignature, fCluster.getTerm(), new VariableId());
    Type type = null;
    if (fCluster.getTyp() != null) type = Adapter.getType(abstractSignature, fCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> clusterList = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (fCluster.getCluster1() != null) clusterList.add(fCluster.getCluster1());
    if (fCluster.getCluster2() != null) clusterList.add(fCluster.getCluster2());
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList));
View Full Code Here
289
290
291
292
293
294
295
296
297
298
299
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.RCluster rCluster)
  throws DliException {
    ArticleId articleId = new ArticleId(rCluster.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, rCluster.getArgTypes());
    Type type = Adapter.getType(abstractSignature, rCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> clusterList = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (rCluster.getCluster1() != null) clusterList.add(rCluster.getCluster1());
    if (rCluster.getCluster2() != null) clusterList.add(rCluster.getCluster2());
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList));
    ItemDefinition itemDefinition = new ExistentialRegistration(loci, cluster, type);
View Full Code Here
522
523
524
525
526
527
528
529
530
531
532
      org.mizartools.system.xml.Reduction reduction) throws DliException {
    ArticleId articleId = new ArticleId(reduction.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, reduction.getTypList());
      LinkedList<Type> typeList = new LinkedList<Type>();
      for (org.mizartools.system.xml.Typ typ : reduction.getTypList()) {
      Type type = Adapter.getType(abstractSignature, typ);
        typeList.add(type);
      }
    Term term1 = Adapter.getTerm(abstractSignature, reduction.getTerm1(), new VariableId());
    Term term2 = Adapter.getTerm(abstractSignature, reduction.getTerm2(), new VariableId());
    ItemDefinition itemDefinition = new ReductionRegistration(loci, typeList, term1, term2);
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
  static Prefices getPrefices(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      LinkedList<org.mizartools.system.xml.Typ> typList) throws DliException {
    LinkedList<Type> typeList = new LinkedList<Type>();
    for (org.mizartools.system.xml.Typ typ : typList) {
      Type type = getType(abstractSignature, typ);
      typeList.add(type);
    }
    Prefices prefices = new Prefices(typeList);
    return prefices;
  }
View Full Code Here
137
138
139
140
141
142
143
144
145
    case pred : itemType = ItemType.pred; break;
    case attr : itemType = ItemType.attr; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    Type type = new Type(adjectiveList, itemId, termList, false);
    Redefinition redefinition = new Redefinition(type);
    return redefinition;
  }
View Full Code Here
148
149
150
151
152
153
154
155
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Typ typ) throws DliException{
        LinkedList<Adjective> adjectiveList = getAdjectiveList(abstractSignature, typ.getClusterList());
      ItemId itemId = getItemId(abstractSignature, typ); 
        LinkedList<Term> termList = getTermList(abstractSignature, typ.getTermList());
      Type type = new Type(adjectiveList, itemId, termList, true);
      return type;
    }
View Full Code Here
173
174
175
176
177
178
179
180
181
182
    LinkedList<Locus> locusList = new LinkedList<Locus>();
    int nr = 0;
    for (org.mizartools.system.xml.Typ typ : argTypes.getTypList()) {
      nr++;
      LocusVar locusVar = new LocusVar(nr);
      Type type = getType(abstractSignature, typ);
      locusList.add(new Locus(locusVar, type));
    }
    return locusList;
  }
View Full Code Here
297
298
299
300
301
302
303
304
305
  static Abbreviation getAbbreviation(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Expansion expansion) throws DliException {
    if (expansion == null) return null;
    Type type = getType(abstractSignature, expansion.getTyp());
    Abbreviation abbreviation = new Abbreviation(type);
    return abbreviation;
  }
View Full Code Here
557
558
559
560
561
562
563
564
565
566
567
      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));
    } else throw new DliException();
View Full Code Here
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
      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);
    } else if (formula instanceof org.mizartools.system.xml.And){
        LinkedList<Formula> formulaList = new LinkedList<Formula>();
      for (org.mizartools.system.xml.Formula formula1 : ((org.mizartools.system.xml.And) formula).getFormulaList()) {
        VariableId vid2 = new VariableId();
        vid2.setId(vid.getId());
        formulaList.add(getFormula(abstractSignature, formula1, vid2));
      }
      formulaDli = new And(formulaList);
    } else if (formula instanceof org.mizartools.system.xml.Not){
      formulaDli = new Not(getFormula(abstractSignature, ((org.mizartools.system.xml.Not) formula).getFormula(), vid));
    } else if (formula instanceof org.mizartools.system.xml.Pred){
      org.mizartools.system.xml.Pred pred = (org.mizartools.system.xml.Pred) formula;
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term : pred.getTermList()) {
        termList.add(getTerm(abstractSignature, term, vid));
      }
      if (pred.getKind() == Kind.P) {
        if (pred.getNr() == null) throw new DliException();
        formulaDli = new PrivateFormula(pred.getNr(), termList);
      }
      else {
        ItemId itemId = getItemId(abstractSignature, pred.getKind(), pred.getNr());
        switch (pred.getKind()){
        case V :
          LinkedList<Adjective> adjectiveList = new LinkedList<Adjective>();
          Type type = new Type(adjectiveList, itemId, termList, false);
          formulaDli = new Is(termList, type);
          break;
        default :
          formulaDli = new Pred(itemId, termList);
        }
      }
    } else if (formula instanceof org.mizartools.system.xml.Is){
      org.mizartools.system.xml.Is is = (org.mizartools.system.xml.Is) formula;
      Type type = getType(abstractSignature, is.getTyp());
      LinkedList<Term> termList = new LinkedList<Term>();
      termList.add(getTerm(abstractSignature, is.getTerm(), vid));
      formulaDli = new Is(termList, type);
    } else if (formula instanceof org.mizartools.system.xml.Verum){
      formulaDli = new Verum();
View Full Code Here
TOP

Related Classes of org.mizartools.dli.Type

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