Examples of org.mizartools.dli.FunctorNotation

      StructureNotation structureNotation = (StructureNotation)itemDefinition;
      SymbolId symbolId = structureNotation.getSymbolId();
      SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
      itemDefinition = new StructureNotation(symbolIdNew, structureNotation.getLoci(), structureNotation.getFormat(), structureNotation.getVisible(), structureNotation.getConstructor(), structureNotation.getSynonym());
    } else if (itemDefinition instanceof org.mizartools.dli.FunctorNotation) {
      FunctorNotation functorNotation = (FunctorNotation)itemDefinition;
      SymbolId symbolId1 = functorNotation.getSymbolId1();
      SymbolId symbolIdNew1 = new SymbolId(articleId, symbolId1.getSymbolType(), symbolId1.getToken(), 1);
      SymbolId symbolId2 = functorNotation.getSymbolId2();
      SymbolId symbolIdNew2 = null;
      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); 
  }

      itemType = ItemType.prednot; 
      break;
    case K :
      if (pattern.getRedefnr() != null) synonym = new Synonym();
      SymbolId symbolId2 = Adapter.getSymbolId2(pattern);
      itemDefinition = new FunctorNotation(symbolId1, symbolId2, loci, format, visible, constructor, synonym);
      itemType = ItemType.funcnot; 
      break;
    case V :
      if (pattern.getAntonymic() != null)  antonym = new Antonym();
      if (antonym == null && pattern.getRedefnr() != null) synonym = new Synonym();

Examples of org.mizartools.dli.FunctorNotation

Related Classes of org.mizartools.dli.FunctorNotation