Blame view
circus/src/circusRefine/util/circusstring/LatexToCircus.java
3.15 KB
8d0dc533f
first
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 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 |
package circusRefine.util.circusstring;
import circusRefine.util.zstring.ZtoLatex;
import net.sourceforge.czt.circus.util.CircusString;
import java.util.Hashtable;
import java.util.Map;
import java.util.Set;
public class LatexToCircus {
private Hashtable<String, String> table;
public LatexToCircus() {
table = new Hashtable<String, String>();
//CIRCUS
table.put("\\boolean", CircusString.BOOLEAN);
table.put("\\circassertref", CircusString.CIRCASSERTREF);
table.put("\\circassign",CircusString.CIRCASSIGN);
table.put("\\circbegin", CircusString.CIRCBEGIN);
table.put("\\circchannel" , CircusString.CIRCCHAN);
table.put("\\circchannelfrom",CircusString.CIRCCHANFROM);
table.put("\\circchannelset" , CircusString.CIRCCHANSET);
table.put("\\Chaos",CircusString.CIRCCHAOS);
table.put("\\Skip",CircusString.CIRCSKIP);
table.put("\\Stop",CircusString.CIRCSTOP);
table.put("\\circdef" , CircusString.CIRCDEF);
table.put("\\circdo",CircusString.CIRCDO);
table.put("\\circod",CircusString.CIRCOD);
table.put("\\circend" , CircusString.CIRCEND);
table.put("\\circhide" , CircusString.ZHIDE);
table.put("\\circhiding",CircusString.CIRCHIDING);
table.put("\\circprocess", CircusString.CIRCPROC);
table.put("\\circbegin",CircusString.CIRCBEGIN);
table.put("\\circrefines", CircusString.CIRCREFINES);
table.put("\\circsimulates",CircusString.CIRCSIMULATES);
table.put("\\circindex" , CircusString.CIRCINDEX);
table.put("\\circstate" , CircusString.CIRCSTATE);
table.put( "\\circnameset",CircusString.CIRCNAMESET);
table.put("\\Extchoice" , CircusString.REPEXTCHOICE);
table.put("\\Intchoice" , CircusString.REPINTCHOICE);
table.put("\\circseq" , CircusString.SEMI);
table.put("\\Parallel" , CircusString.REPPARALLEL);
table.put("\\rpar" , CircusString.RPAR);
table.put("\\lpar" , CircusString.LPAR);
table.put("\\Interleave" , CircusString.REPINTERLEAVE);
table.put("\\circmu" , CircusString.CIRCMU);
table.put("\\extchoice" , CircusString.EXTCHOICE);
table.put("\\intchoice" , CircusString.INTCHOICE);
table.put("\\interleave" , CircusString.INTERLEAVE);
table.put("\\circval" , CircusString.CIRCVAL);
table.put("\\circres" , CircusString.CIRCRES);
table.put("\\circvalres" , CircusString.CIRCVRES);
table.put("\\circthen" , CircusString.CIRCTHEN);
table.put("\\circfi" , CircusString.CIRCFI);
table.put("\\circvar" , CircusString.CIRCVAR);
table.put("\\circelse" , CircusString.CIRCELSE);
table.put("\\linter" , CircusString.LINTER);
table.put("\\rinter" , CircusString.RINTER);
table.put("\\lchanset" , CircusString.LCIRCCHANSET);
table.put("\\rchanset" , CircusString.RCIRCCHANSET);
table.put("\\lcircrename",CircusString.LCIRCRENAME);
table.put("\\rcircrename",CircusString.RCIRCRENAME);
table.put("\\circguard", "&" );
table.put("\\lcircguard", CircusString.LCIRCGUARD);
table.put("\\rcircguard", CircusString.RCIRCGUARD);
}
public String get(String key) {
return table.get(key);
}
public Set keySet(){
return table.keySet();
}
public Set<Map.Entry<String, String>> entradas() {
return this.table.entrySet();
}
}
|