📄 stringconnectionid.java
字号:
package com.sri.oaa2.simplefac;
import com.sri.oaa2.icl.*;
public class StringConnectionId implements ConnectionId
{
private String id;
private IclTerm asTerm;
public StringConnectionId(String i)
{
setId(i);
setAsTerm(IclTerm.fromString(true, i));
}
protected IclTerm getAsTerm()
{
return asTerm;
}
protected void setAsTerm(IclTerm t)
{
asTerm = t;
}
protected String getId()
{
return id;
}
protected void setId(String i)
{
id = i;
}
public IclTerm toIclTerm()
{
return getAsTerm();
}
public String toString()
{
return getId();
}
public boolean equals(Object o)
{
if(o == null) {
return false;
}
try {
StringConnectionId oid = (StringConnectionId)o;
if(oid.getId().equals(getId())) {
return true;
}
}
catch(Exception e) {
}
return false;
}
public int hashCode()
{
return id.hashCode();
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -