Juliano Cardoso / circusRefine

testeZSymbols.java 7.51 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
  82
  83
  84
  85
  86
  87
  88
  89
  90
  91
  92
  93
  94
  95
  96
  97
  98
  99
 100
 101
 102
 103
 104
 105
 106
 107
 108
 109
 110
 111
 112
 113
 114
 115
 116
 117
 118
 119
 120
 121
 122
 123
 124
 125
 126
 127
 128
 129
 130
 131
 132
 133
 134
 135
 136
 137
 138
 139
 140
 141
 142
 143
 144
 145
 146
 147
 148
 149
 150
 151
 152
 153
 154
 155
 156
 157
 158
 159
 160
 161
 162
 163
 164
 165
 166
 167
 168
 169
 170
import java.awt.Font;

import javax.swing.JFrame;
import javax.swing.JScrollPane;
import javax.swing.JTextArea;

import net.sourceforge.czt.circus.util.CircusString;
import net.sourceforge.czt.z.util.ZString;


public class testeZSymbols {
	static String BRANCO = "     ";
	public static void main(String[] args) {
		JFrame a  = new JFrame();
		a.setTitle("Z");
		a.setSize(500,500);
		JTextArea area = new JTextArea();
		area.setEditable(false);
		String str = "";
		area.setFont(new Font("CZT",Font.PLAIN,12));
		 
		str += "Z \n";
		
		str+= "ALL" + BRANCO + ZString.ALL + "\n";
		str+= "AMP" + BRANCO + ZString.AMP + "\n";
		str+= "AND" + BRANCO + ZString.AND + "\n";
		str+= "ANDALSO" + BRANCO + ZString.ANDALSO + "\n";
		str+= "ARG" + BRANCO + ZString.ARG + "\n";
		str+= "ARG_TOK" + BRANCO + ZString.ARG_TOK + "\n";
		str+= "ARITHMOS" + BRANCO + ZString.ARITHMOS + "\n";
		str+= "AX" + BRANCO + ZString.AX + "\n";
		str+= "AXCHAR" + BRANCO + ZString.AXCHAR + "\n";
		str+= "BAR" + BRANCO + ZString.BAR + "\n";
		str+= "BIGCAP" + BRANCO + ZString.BIGCAP + "\n";
		str+= "BIJ" + BRANCO + ZString.BIJ + "\n";
		str+= "CAP" + BRANCO + ZString.CAP + "\n";
		str+= "CAT" + BRANCO + ZString.CAT + "\n";
		str+= "CIRC" + BRANCO + ZString.CIRC + "\n";
		str+= "COLON" + BRANCO + ZString.COLON + "\n";
		str+= "COMP" + BRANCO + ZString.COMP + "\n";
		str+= "CONJECTURE" + BRANCO + ZString.CONJECTURE + "\n";
		str+= "CROSS" + BRANCO + ZString.CROSS + "\n";
		str+= "CUP" + BRANCO + ZString.CUP + "\n";
		str+= "DEFEQUAL" + BRANCO + ZString.DEFEQUAL + "\n";
		str+= "DEFFREE" + BRANCO + ZString.DEFFREE + "\n";
		str+= "DELTA" + BRANCO + ZString.DELTA + "\n";
		str+= "DOT" + BRANCO + ZString.DOT + "\n";
		str+= "DRES" + BRANCO + ZString.DRES + "\n";
		str+= "ELSE" + BRANCO + ZString.ELSE + "\n";
		str+= "EMPTYSET" + BRANCO + ZString.EMPTYSET + "\n";
		str+= "END" + BRANCO + ZString.END + "\n";
		str+= "ENDCHAR" + BRANCO + ZString.ENDCHAR + "\n";
		str+= "EQUALS" + BRANCO + ZString.EQUALS + "\n";
		str+= "EXI" + BRANCO + ZString.EXI + "\n";
		str+= "EXIONE" + BRANCO + ZString.EXIONE + "\n";
		str+= "EXTRACT" + BRANCO + ZString.EXTRACT + "\n";
		str+= "FALSE" + BRANCO + ZString.FALSE + "\n";
		str+= "FFUN" + BRANCO + ZString.FFUN + "\n";
		str+= "FILTER" + BRANCO + ZString.FILTER + "\n";
		str+= "FINJ" + BRANCO + ZString.FINJ + "\n";
		str+= "FINSET" + BRANCO + ZString.FINSET + "\n";
		str+= "FUN" + BRANCO + ZString.	FUN + "\n";
		str+= "FUNCTION" + BRANCO + ZString.FUNCTION + "\n";
		str+= "GENAX" + BRANCO + ZString.GENAX + "\n";
		str+= "GENCHAR" + BRANCO + ZString.GENCHAR + "\n";
		str+= "GENERIC" + BRANCO + ZString.GENERIC + "\n";
		str+= "GENSCH" + BRANCO + ZString.GENSCH + "\n";
		str+= "GEQ" + BRANCO + ZString.GEQ + "\n";
		str+= "GREATER" + BRANCO + ZString.GREATER + "\n";
		str+= "IF" + BRANCO + ZString.IF + "\n";
		str+= "IFF" + BRANCO + ZString.IFF + "\n";
		str+= "INJ" + BRANCO + ZString.INJ + "\n";
		str+= "INSTROKE" + BRANCO + ZString.INSTROKE + "\n";
		str+= "LAMBDA" + BRANCO + ZString.LAMBDA + "\n";
		str+= "LANGLE" + BRANCO + ZString.LANGLE + "\n";
		str+= "LBIND" + BRANCO + ZString.LBIND + "\n";
		str+= "LBRACE" + BRANCO + ZString.LBRACE + "\n";
		str+= "LDATA" + BRANCO + ZString.LDATA + "\n";
		str+= "LEFTASSOC" + BRANCO + ZString.LEFTASSOC + "\n";
		str+= "LEQ" + BRANCO + ZString.LEQ + "\n";
		str+= "LESS" + BRANCO + ZString.LESS + "\n";
		str+= "LET" + BRANCO + ZString.LET + "\n";
		str+= "LIMG" + BRANCO + ZString.LIMG + "\n";
		str+= "LISTARG" + BRANCO + ZString.LISTARG + "\n";
		str+= "LISTARG_TOK" + BRANCO + ZString.LISTARG_TOK + "\n";
		str+= "LL" + BRANCO + ZString.LL + "\n";
		str+= "LPAREN" + BRANCO + ZString.LPAREN + "\n";
		str+= "LSQUARE" + BRANCO + ZString.LSQUARE + "\n";
		str+= "MAPSTO" + BRANCO + ZString.MAPSTO + "\n";
		str+= "MEM" + BRANCO + ZString.MEM + "\n";
		str+= "MINUS" + BRANCO + ZString.MINUS + "\n";
		str+= "MU" + BRANCO + ZString.MU + "\n";
		str+= "MULT" + BRANCO + ZString.MULT + "\n";
		str+= "NAT" + BRANCO + ZString.NAT + "\n";
		str+= "NDRES" + BRANCO + ZString.NDRES + "\n";
		str+= "NE" + BRANCO + ZString.NE + "\n";
		str+= "NEG" + BRANCO + ZString.NEG + "\n";
		str+= "NEQ" + BRANCO + ZString.NEQ + "\n";
		str+= "NL" + BRANCO + ZString.NL + "\n";
		str+= "NLCHAR" + BRANCO + ZString.NLCHAR + "\n";
		str+= "NOT" + BRANCO + ZString.NOT + "\n";
		str+= "NOTMEM" + BRANCO + ZString.NOTMEM + "\n";
		str+= "NRRES" + BRANCO + ZString.NRRES + "\n";
		str+= "NUM" + BRANCO + ZString.NUM + "\n";
		str+= "NUMBER" + BRANCO + ZString.NUMBER + "\n";
		str+= "NW" + BRANCO + ZString.NW + "\n";
		str+= "OP_SEPARATOR" + BRANCO + ZString.OP_SEPARATOR + "\n";
		str+= "OPLUS" + BRANCO + ZString.OPLUS + "\n";
		str+= "OR" + BRANCO + ZString.OR + "\n";
		str+= "OUTSTROKE" + BRANCO + ZString.OUTSTROKE + "\n";
		str+= "PARENTS" + BRANCO + ZString.PARENTS + "\n";
		str+= "PFUN" + BRANCO + ZString.PFUN + "\n";
		str+= "PINJ" + BRANCO + ZString.PINJ + "\n";
		str+= "PLUS" + BRANCO + ZString.PLUS + "\n";
		str+= "POWER" + BRANCO + ZString.POWER + "\n";
		str+= "PRE" + BRANCO + ZString.PRE + "\n";
		str+= "PRIME" + BRANCO + ZString.PRIME + "\n";
		str+= "PSURJ" + BRANCO + ZString.PSURJ + "\n";
		str+= "RANGLE " + BRANCO + ZString.RANGLE+ "\n";
		str+= "RBIND" + BRANCO + ZString.RBIND + "\n";
		str+= "RBRACE" + BRANCO + ZString.RBRACE + "\n";
		str+= "RDATA" + BRANCO + ZString.RDATA + "\n";
		str+= "REL" + BRANCO + ZString.REL + "\n";
		str+= "RELATION" + BRANCO + ZString.RELATION + "\n";
		str+= "RIGHTASSOC" + BRANCO + ZString.RIGHTASSOC + "\n";
		str+= "RIMG" + BRANCO + ZString.RIMG + "\n";
		str+= "RPAREN" + BRANCO + ZString.RPAREN + "\n";
		str+= "RRES" + BRANCO + ZString.RRES + "\n";
		str+= "RSQUARE" + BRANCO + ZString.RSQUARE + "\n";
		str+= "SCH" + BRANCO + ZString.SCH	 + "\n";
		str+= "SCHCHAR" + BRANCO + ZString.SCHCHAR + "\n";
		str+= "SE" + BRANCO + ZString.SE + "\n";
		str+= "SECTION " + BRANCO + ZString.SECTION  + "\n";
		str+= "SEMI" + BRANCO + ZString.SEMI + "\n";
		str+= "SEMICOLON" + BRANCO + ZString.SEMICOLON + "\n";
		str+= "SETMINUS" + BRANCO + ZString.SETMINUS + "\n";
		str+= "SLASH" + BRANCO + ZString.SLASH + "\n";
		str+= "SOLIDUS" + BRANCO + ZString.SOLIDUS + "\n";
		str+= "SPACE" + BRANCO + ZString.SPACE + "\n";
		str+= "SPOT" + BRANCO + ZString.SPOT + "\n";
		str+= "SUB1" + BRANCO + ZString.SUB1 + "\n";
		str+= "SUBSET" + BRANCO + ZString.SUBSET + "\n";
		str+= "SUBSETEQ" + BRANCO + ZString.SUBSETEQ + "\n";
		str+= "SUB1" + BRANCO + ZString.SUB1 + "\n";
		str+= "SURJ" + BRANCO + ZString.SURJ + "\n";
		str+= "SUP1" + BRANCO + ZString.SUP1 + "\n";
		str+= "SW" + BRANCO + ZString.SW + "\n";
		str+= "SYMDIFF" + BRANCO + ZString.SYMDIFF + "\n";
		str+= "THEN" + BRANCO + ZString.THEN + "\n";
		str+= "THETA" + BRANCO + ZString.THETA + "\n";
		str+= "TILDE" + BRANCO + ZString.TILDE + "\n";
		str+= "TRUE" + BRANCO + ZString.TRUE + "\n";
		str+= "TYPECOLON" + BRANCO + ZString.TYPECOLON + "\n";
		str+= "VDASH" + BRANCO + ZString.VDASH + "\n";
		str+= "VL" + BRANCO + ZString.VL + "\n";
		str+= "XI" + BRANCO + ZString.XI + "\n";
		str+= "ZCOMP" + BRANCO + ZString.ZCOMP + "\n";
		str+= "ZED" + BRANCO + ZString.ZED + "\n";
		str+= "ZEDCHAR" + BRANCO + ZString.ZEDCHAR + "\n";
		str+= "ZHIDE" + BRANCO + ZString.ZHIDE + "\n";
		str+= "ZPIPE" + BRANCO + ZString.ZPIPE + "\n";
		str+= "ZPROJ" + BRANCO + ZString.ZPROJ + "\n";
		
		area.setText(str);
		JScrollPane barra = new JScrollPane(area);
		a.add(barra);
		a.setVisible(true);
		a.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
	}
}