Examples of ArticleId

Examples of org.mizartools.dli.ArticleId

340
341
342
343
344
345
346
347
348
349
350
      org.mizartools.system.xml.Theorem theorem,
      TheoremId theoremId,
      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()){
View Full Code Here

Examples of org.mizartools.dli.ArticleId

370
371
372
373
374
375
376
377
378
379
380
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Scheme scheme,
      SchemeId schemeId) throws DliException {
    String aid = scheme.getAid();
    if (aid == null) aid = abstractSignature.getArticleId();
    ArticleId articleId = new ArticleId(aid);
    ItemType itemType = ItemType.sch;
    int nr = 0;
    schemeId.increment();
    nr = schemeId.getId();
    if (scheme.getNr() != null) nr = scheme.getNr();
View Full Code Here

Examples of org.mizartools.dli.ArticleId

518
519
520
521
522
523
524
525
526
527
528
  }

  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      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);
View Full Code Here

Examples of org.nightlabs.jfire.trade.id.ArticleID

140
141
142
143
144
145
146
147
148
149
150
      for (ArticleContainerDeliveryDateDTO dto : dtos) {
        ArticleContainer ac = getArticleContainer(dto.getArticleContainerID(), fetchGroups, maxFetchDepth, new SubProgressMonitor(monitor, 100 / dtos.size()));
        dto.setArticleContainer(ac);
        Collection<Article> articles = ArticleDAO.sharedInstance().getArticles(dto.getArticleIDs(), fetchGroups, maxFetchDepth, new SubProgressMonitor(monitor, 300 / dtos.size()));
        for (Article article : articles) {
          ArticleID articleID = (ArticleID) JDOHelper.getObjectId(article);
          dto.addArticle(articleID, article);
        }
      }
      monitor.worked(100);
      monitor.done();
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.