Juliano Cardoso / circusRefine

LatexToCircus.java 3.15 KB
edit raw blame history 
  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();
	}

}