Examples of ItemDefinition

Examples of org.mizartools.dli.ItemDefinition

294
295
296
297
298
299
300
301
302
303
    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);
    ItemId itemId = new ItemId(articleId, ItemType.exreg, rCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here

Examples of org.mizartools.dli.ItemDefinition

327
328
329
330
331
332
333
334
335
336
        argeqList.add(argeq);
      }
    Argeqs argeqs = new Argeqs(argeqList);
    Func func1 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm1(), new VariableId());
    Func func2 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm2(), new VariableId());
    ItemDefinition itemDefinition = new IdentifyRegistration(loci, func1, func2, argeqs);
    ItemId itemId = new ItemId(articleId, ItemType.idreg, identify.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here

Examples of org.mizartools.dli.ItemDefinition

342
343
344
345
346
347
348
349
350
351
352
      TheoremId theoremIdDef) throws DliException {
    String aid = theorem.getAid();
    if (aid == null) aid = abstractSignature.getArticleId();
    ArticleId articleId = new ArticleId(aid);
    Formula formula = Adapter.getFormula(abstractSignature, theorem.getFormula(), new VariableId());
    ItemDefinition itemDefinition = new Theorem(formula);
    ItemType itemType = null;
    int nr = 0;
    switch (theorem.getKind()){
    case D :
      itemType = ItemType.def;
View Full Code Here

Examples of org.mizartools.dli.ItemDefinition

385
386
387
388
389
390
391
392
393
    Premisses premisses = new Premisses(formulaList);
    LinkedList<Formula> formula2List = new LinkedList<Formula>();
    formula2List.add(Adapter.getFormula(abstractSignature, scheme.getFormula1(), new VariableId()));
    Thesis thesis = new Thesis(formula2List);
   
    ItemDefinition itemDefinition = new Scheme(itemId.toString(), parameters, premisses, thesis);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here

Examples of org.mizartools.dli.ItemDefinition

527
528
529
530
531
532
533
534
535
536
      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);
    ItemId itemId = new ItemId(articleId, ItemType.redreg, reduction.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here

Examples of org.openntf.domino.schema.impl.ItemDefinition

31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
    try {
      DatabaseSchema schema = new DatabaseSchema();
      DocumentDefinition eventDef = new DocumentDefinition();
      eventDef.setName("Events");

      ItemDefinition eventAddinNameDef = new ItemDefinition();
      eventAddinNameDef.setName("EventAddinName");
      eventAddinNameDef.setType(StringType.class);

      ItemDefinition eventListDef = new ItemDefinition();
      eventListDef.setName("EventList"); //text list
      eventListDef.setType(StringType.class);

      ItemDefinition eventSeverityDef = new ItemDefinition();
      eventSeverityDef.setName("EventSeverity"); //integer list
      eventSeverityDef.setType(IntegerType.class);

      ItemDefinition eventStatusDef = new ItemDefinition();
      eventStatusDef.setName("EventStatus"); //text list
      eventStatusDef.setType(StringType.class);

      ItemDefinition eventTimeDef = new ItemDefinition();
      eventTimeDef.setName("EventTime"); //Datetime list
      eventTimeDef.setType(DateTimeType.class);

      ItemDefinition eventTimeSizeDef = new ItemDefinition();
      eventTimeSizeDef.setName("EventTimeSize"); // integer list
      eventTimeSizeDef.setType(IntegerType.class);

      ItemDefinition eventTypeDef = new ItemDefinition();
      eventTypeDef.setName("EventType");  //integer list
      eventTypeDef.setType(IntegerType.class);

      ItemDefinition finishTimeDef = new ItemDefinition();
      finishTimeDef.setName("FinishTime");  //Datetime
      finishTimeDef.setType(DateTimeType.class);

      ItemDefinition serverDef = new ItemDefinition();
      serverDef.setName("Server");  //Name
      serverDef.setType(StringType.class);

      ItemDefinition startTimeDef = new ItemDefinition();
      startTimeDef.setName("StartTime");  //Datetime
      startTimeDef.setType(DateTimeType.class);

      ItemDefinition targetDbDef = new ItemDefinition();
      targetDbDef.setName("TargetDb");  //String list
      targetDbDef.setType(StringType.class);

      ItemDefinition targetExtraDef = new ItemDefinition();
      targetExtraDef.setName("TargetExtra");  //String list
      targetExtraDef.setType(StringType.class);

      ItemDefinition targetServerDef = new ItemDefinition();
      targetServerDef.setName("TargetServer");  //String list
      targetServerDef.setType(StringType.class);

      ItemDefinition targetUserDef = new ItemDefinition();
      targetUserDef.setName("TargetUser");  //String list
      targetUserDef.setType(StringType.class);

    } catch (Throwable t) {
      t.printStackTrace();
    }
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.