Package org.mizartools.dli

Examples of org.mizartools.dli.DecodedLibraryItem

172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
    for (Scheme scheme : schemeList){
        progressBar.setValue(i++);
        progressBar.repaint();
      html.append("<tr>");
      try {
        DecodedLibraryItem decodedLibraryItem = ItemFactory.getItem(schemesSignature, scheme, schemeId);
        int nr = schemeId.getId();
        if (scheme.getNr() != null) nr = scheme.getNr();
        html.append("<td><b>");
        try {
          html.append(UniqueIdentifier.getInstance(article.getAid(), type, nr).toString());
          html.append("</b></td>");
          html.append("<td>");
          html.append(UniqueIdentifier.getInstance(article.getAid(), type, nr).id);
          html.append("</td>");
        } catch (UniqueIdentifierException e) {}
        html.append("<td>");
        html.append(decodedLibraryItem.toString());
        html.append("</td>");
      } catch (DliException e) {
        html.append(e.toString());
      }
View Full Code Here
262
263
264
265
266
267
268
269
270
271
272
273
274
  private boolean checkConstructors(Article articleXml, String arrayText[], boolean arrayFound[]) throws DliException {
    boolean error = false;
    if (articleXml.hasConstructors()){
      ConstructorsSignature constructorsSignature = articleXml.getConstructorsSignature();
      for (Constructor constructor : articleXml.getConstructors().getConstructorList()){
        DecodedLibraryItem decodedLibraryItem = ItemFactory.getItem(constructorsSignature, constructor);
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
353
354
355
356
357
358
359
      if (symbolId2 != null) {
        symbolIdNew2 = new SymbolId(articleId, symbolId2.getSymbolType(), symbolId2.getToken(), 1);
      }
      itemDefinition = new FunctorNotation(symbolIdNew1, symbolIdNew2, functorNotation.getLoci(), functorNotation.getFormat(), functorNotation.getVisible(), functorNotation.getConstructor(), functorNotation.getSynonym());
    }
    return new DecodedLibraryItem(decodedLibraryItem.getItemId(), itemDefinition);
  }
View Full Code Here
361
362
363
364
365
366
367
368
369
370
371
372
373
  private boolean checkNotations(Article articleXml, String arrayText[], boolean arrayFound[]) throws DliException {
    boolean error = false;
    if (articleXml.hasNotations()){
      NotationsSignature notationsSignature = articleXml.getNotationsSignature();
      for (Pattern pattern : articleXml.getNotations().getPatternList()){
        DecodedLibraryItem decodedLibraryItem = ItemFactory.getItem(notationsSignature, pattern);
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
            if (arrayText[i].contains("UNKNOWN")) {
View Full Code Here
417
418
419
420
421
422
423
424
425
426
427
428
429
      int relativeNr = 0;
      int nrDefiniens = 0;
      for (Definiens definiens : articleXml.getDefinientia().getDefiniensList()){
        nrDefiniens++;
        relativeNr = definiens.getDefnr() - nrDefiniens;
        DecodedLibraryItem decodedLibraryItem = ItemFactory.getItem(definientiaSignature, definiens, relativeNr);
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
  private boolean checkRegistrations(Article articleXml, String arrayText[], boolean arrayFound[]) throws DliException {
    boolean error = false;
    if (articleXml.hasRegistrations()){
      RegistrationsSignature registrationsSignature = articleXml.getRegistrationsSignature();
      for (IClusterRegistration iClusterRegistration : articleXml.getRegistrations().getIClusterRegistrationList()){
        DecodedLibraryItem decodedLibraryItem = null;
        decodedLibraryItem = ItemFactory.getItem(registrationsSignature, iClusterRegistration);
       
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
  private boolean checkIdentifyRegistrations(Article articleXml, String arrayText[], boolean arrayFound[]) throws DliException {
    boolean error = false;
    if (articleXml.hasIdentifyRegistrations()){
      IdentifyRegistrationsSignature identifyRegistrationsSignature = articleXml.getIdentifyRegistrationsSignature();
      for (Identify identify : articleXml.getIdentifyRegistrations().getIdentifyList()){
        DecodedLibraryItem decodedLibraryItem = null;
        decodedLibraryItem = ItemFactory.getItem(identifyRegistrationsSignature, identify);
       
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
  private boolean checkReductionRegistrations(Article articleXml, String arrayText[], boolean arrayFound[]) throws DliException {
    boolean error = false;
    if (articleXml.hasReductionRegistrations()){
      ReductionRegistrationsSignature reductionRegistrationsSignature = articleXml.getReductionRegistrationsSignature();
      for (Reduction reduction : articleXml.getReductionRegistrations().getReductionList()){
        DecodedLibraryItem decodedLibraryItem = null;
        decodedLibraryItem = ItemFactory.getItem(reductionRegistrationsSignature, reduction);
       
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
613
614
615
616
617
618
619
620
621
622
623
624
625
626
    if (articleXml.hasTheorems()){
      TheoremsSignature theoremsSignature = articleXml.getTheoremsSignature();
      TheoremId theoremId = new TheoremId();
      TheoremId theoremIdDef = new TheoremId();
      for (Theorem theorem : articleXml.getTheorems().getTheoremList()){
        DecodedLibraryItem decodedLibraryItem = null;
        decodedLibraryItem = ItemFactory.getItem(theoremsSignature, theorem, theoremId, theoremIdDef);
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
662
663
664
665
666
667
668
669
670
671
672
673
674
675
    boolean error = false;
    if (articleXml.hasSchemes()){
      SchemesSignature schemesSignature = articleXml.getSchemesSignature();
      SchemeId schemeId = new SchemeId();
      for (Scheme scheme : articleXml.getSchemes().getSchemeList()){
        DecodedLibraryItem decodedLibraryItem = null;
        decodedLibraryItem = ItemFactory.getItem(schemesSignature, scheme, schemeId);
        String dliFromXml = decodedLibraryItem.toString();
        String resourceId = decodedLibraryItem.getItemId().toString()+"=";
        boolean found = false;
          for (int i = 0 ; i<arrayText.length ; i++){
            if (arrayText[i].startsWith(resourceId)){
              found = true;
              if (!arrayText[i].equals(dliFromXml)) {
View Full Code Here
TOP

Related Classes of org.mizartools.dli.DecodedLibraryItem

  • org.mizartools.dli.utility.FormulaConverter
  • org.mizartools.dli.utility.ItemFactory
  • org.mizartools.example.ui.SchemeFrame
  • org.mizartools.example.ui.TestDLIPanel
  • org.mizartools.example.ui.TheoremFrame
    • 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.