📄 index.java
字号:
// Autogenerated AST node
package org.python.pydev.parser.jython.ast;
import org.python.pydev.parser.jython.SimpleNode;
import java.io.DataOutputStream;
import java.io.IOException;
public class Index extends sliceType {
public exprType value;
public Index(exprType value) {
this.value = value;
}
public Index(exprType value, SimpleNode parent) {
this(value);
this.beginLine = parent.beginLine;
this.beginColumn = parent.beginColumn;
}
public String toString() {
StringBuffer sb = new StringBuffer("Index[");
sb.append("value=");
sb.append(dumpThis(this.value));
sb.append("]");
return sb.toString();
}
public void pickle(DataOutputStream ostream) throws IOException {
pickleThis(53, ostream);
pickleThis(this.value, ostream);
}
public Object accept(VisitorIF visitor) throws Exception {
return visitor.visitIndex(this);
}
public void traverse(VisitorIF visitor) throws Exception {
if (value != null)
value.accept(visitor);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -