📄 rulehead.java
字号:
/*
* Copyright 2004-2008 H2 Group. Licensed under the H2 License, Version 1.0
* (http://h2database.com/html/license.html).
* Initial Developer: H2 Group
*/
package org.h2.bnf;
/**
* Represents the head of a BNF rule.
*/
public class RuleHead {
String section;
Rule rule;
private String topic;
RuleHead(String section, String topic, Rule rule) {
this.section = section;
this.topic = topic;
this.rule = rule;
}
public String getTopic() {
return topic;
}
public Rule getRule() {
return rule;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -