📄 codestring.java
字号:
/*
* Created on 2004-10-28
*
* TODO To change the template for this generated file go to
* Window - Preferences - Java - Code Style - Code Templates
*/
package ai.base;
/**
* @author 赵秀成
*
* TODO To change the template for this generated type comment go to
* Window - Preferences - Java - Code Style - Code Templates
*/
public class CodeString{
/*
* 每一个该类的实例都代表一个谓词中的独立单词,可以是:
* 分隔符
* 谓词
* 函词
* 变量
* 文本常量
* 量词
* 联结词
* 终结符
*/
String value;
int layer;
int type;
boolean renamed;
//用文本值和层次码构造一个CodeString实例
public CodeString(String str,int code){
str.trim();
value=str;
layer=code;
renamed=false;
type=WordType.getType(str);
}
public String getValue(){
return value;
}
public int getLayer(){
return layer;
}
public int getType(){
return type;
}
public void setValue(String changeValue){
value=changeValue;
}
//由于谓词输入的自由,对变量进行更名方便以后的推理
//这两个方法设置或获取变量是否更名的标志
public void setRename(boolean re){
renamed=re;
}
public boolean getRename(){
return renamed;
}
public void setLayer(int lay){
layer=lay;
}
public String toString(){
String str="";
str+=value;
int i=20-value.length();
for(int j=0;j<i;j++)
str+=" ";
str+=layer+"\n";
return str;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -