📄 index.java
字号:
// Autogenerated AST nodepackage org.python.parser.ast;import org.python.parser.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(47, 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 + -