}
if (aid != null) break;
}
}
if (aid == null) aid = pattern.getAid();
Symbols symbols = VocabularyFile.getSymbols(aid);
SymbolId symbolId = null;
SymbolType symbolType = null;
ArticleId articleId = new ArticleId(aid);
String token = null;
org.mizartools.system.xml.Format.Kind kind = pattern.getFormat().getKind();
switch (kind){
case O :
symbolType = SymbolType.vocO;
token = symbols.getSymbolO(symbolNr);
break;
case R :
symbolType = SymbolType.vocR;
token = symbols.getSymbolR(symbolNr);
break;
case V :
symbolType = SymbolType.vocV;
token = symbols.getSymbolV(symbolNr);
break;
case M :
symbolType = SymbolType.vocM;
token = symbols.getSymbolM(symbolNr);
break;
case K :
symbolType = SymbolType.vocK;
token = symbols.getSymbolK(symbolNr);
break;
case L :
symbolType = SymbolType.vocG;
token = symbols.getSymbolG(symbolNr);
break;
case G :
symbolType = SymbolType.vocG;
token = symbols.getSymbolG(symbolNr);
break;
case U :
symbolType = SymbolType.vocU;
token = symbols.getSymbolU(symbolNr);
break;
case J :
symbolType = SymbolType.vocG;
token = symbols.getSymbolG(symbolNr);
break;
default :
throw new DliException();
}
symbolId = new SymbolId(articleId, symbolType, token, symbolNr);