net.siisise.bnf.BNF Maven / Gradle / Ivy
The newest version!
/*
* Copyright 2021 Siisise Net.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package net.siisise.bnf;
import java.nio.charset.Charset;
import java.nio.charset.StandardCharsets;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.Set;
import net.siisise.block.ReadableBlock;
import net.siisise.bnf.parser.BNFParser;
import net.siisise.io.FrontPacket;
import net.siisise.io.Packet;
import net.siisise.lang.CodePoint;
/**
* 抽象的なBNF全般
* @param
*/
public interface BNF {
static final Charset UTF8 = StandardCharsets.UTF_8;
/**
* 名付ける。
*
* @param name この構文に付与する名前
* @return 名前付きABNF構文
*/
B name(String name);
/**
* 名前または構文っぽいものの取得。
* 名前がない場合に完全ではないので注意。
* @return rule name or syntax 名前または構文らしきもの
*/
String getName();
/**
* 先頭一致でパースする。
* findとどちらかの実装が必要、片方は省略可能
* @param src source 解析対象
* @param ns user name space 名前空間
* @return 一致した範囲
*/
Packet is(FrontPacket src, Object ns);
/**
* 先頭一致でパースする。
*
* @param src source 解析対象
* @param ns user name space 名前空間
* @return 一致した範囲
*/
ReadableBlock is(ReadableBlock src, Object ns);
/**
* 先頭一致でパースする。
*
* @param src source 解析対象
* @return 一致した範囲
*/
Packet is(FrontPacket src);
/**
* 先頭一致でパースする。
*
* @param src source 解析対象
* @return 一致した範囲
*/
ReadableBlock is(ReadableBlock src);
/**
* 先頭一致でパースする。
*
* @param val 比較文字列
* @param ns user name space
* @return 一致ありなし
*/
boolean is(String val, Object ns);
boolean is(String val);
/**
* サブ要素含んで抽出するパーサな機能.
* @param 返し型
* @param pac 元データ
* @param ns user name space
* @param parsers おまけで検索するサブ要素
* @return 検索結果
*/
Match find(FrontPacket pac, Object ns, BNFParser... parsers);
Match find(ReadableBlock pac, Object ns, BNFParser... parsers);
Match find(FrontPacket pac, BNFParser... parsers);
Match find(ReadableBlock pac, BNFParser... parsers);
/**
* 検索結果用構造.
* Matcher っぽいらしいのでそういう名にする
* あと1回書き直したい.
* end()で閉じるとsubが使える
* @param データ型
*/
public static class Match {
/**
* メインの戻り値
*/
public ReadableBlock sub;
/**
* position のメモ あとでsubを作るときに使う
*/
public long st;
public final Map> subs = new HashMap<>();
public Match(ReadableBlock rb) {
st = rb.backLength();
}
public Match end(ReadableBlock rb) {
sub = rb.sub(st, rb.backLength() - st);
return this;
}
public void add(String name, X r) {
List l;
l = subs.get(name);
if (l == null) {
l = new ArrayList();
subs.put(name, l);
}
l.add(r);
}
public Set keySet() {
return subs.keySet();
}
public List get(String name) {
return subs.get(name);
}
public List get(BNF bnf) {
return get(bnf.getName());
}
}
/**
* 完全一致の判定
* valの最後まで一致するかどうか判定する
*
* @param pac 比較対象データ
* @return 判定結果
*/
boolean eq(ReadableBlock pac);
boolean eq(FrontPacket pac);
/**
* 完全一致の判定
*
* @param val 比較対象文字列
* @return 判定結果
*/
boolean eq(String val);
B pl(BNF... val);
/**
* Concatenation に翻訳されるABNF。
* 難しい繰り返しにも対応する最長一致。
* バイト列単位で厳密に比較する.
*
* @param vals 接続したいABNF構文の列挙
* @return 繋がったABNF構文
*/
B plm(BNF... vals);
/**
* Concatenation に翻訳されるABNF。
* 難しい繰り返しにも対応する最長一致。
* utf-8の単位で厳密に比較する. plmよりは速い?
*
* @param vals 接続したいABNF構文の列挙
* @return 繋がったABNF構文
*/
B plu(BNF... vals);
/**
* Alternation に翻訳される ABNF / 的な構文の生成装置。
* 最大一致で検索されるので誤読もある。
*
* @param vals 接続したいABNF構文の列挙
* @return Alternationに結合されたABNF構文
*/
B or(BNF... vals);
/**
* Alternation に翻訳される ABNF / 的な構文の生成装置。
* 初期一致で高速化を計ってみる。
*
* @param vals 候補
* @return 最初に一致するものを返すBNF
*/
B or1(BNF... vals);
/**
* min*maxXXX.
*
* @param min 指定しない場合は 0
* @param max 指定しない場合は -1
* @return 繰り返しのABNF
*/
B x(int min, int max);
/**
* numXXX.
* 指定回繰り返し
*
* @param num 指定回
* @return 繰り返しのABNF
*/
B x(int num);
/**
* *XXX 繰り返し
*
* @return 繰り返しABNF
*/
B x();
/**
* 1回以上ループ
* 1*XXX
*
* @return 1回以上繰り返しのABNF
*/
B ix();
/**
* [XXX] 省略可能
*
* @return ABNF構文
*/
B c();
/**
* マイナス演算
* ABNFにはないので仮
*
* @deprecated 未定
* @param val 引かれるABNF
* @return 引き算できるABNF
*/
@Deprecated
B mn(BNF val);
/**
* 複製可能な構造を推奨(ループがあると複製は難しい)
*
* @param reg 複製先
* @return ABNFの複製
*/
B copy(BNFReg reg);
/**
* java source code
* @return ソースっぽいもの
*/
String toJava();
/**
* テキスト
* @param ch 文字
* @return 文字用BNF
*/
static BNFtext text(char ch) {
return new BNFtext(ch);
}
static BNFtext text(String txt) {
return new BNFtext(txt);
}
static BNF list(String chlist) {
ReadableBlock src = ReadableBlock.wrap(chlist);
List abnfs = new ArrayList<>();
while (src.length() > 0) {
int c = CodePoint.utf8(src);
abnfs.add(new BNFtext(c));
}
return new BNFor1(abnfs.toArray(new BNF[abnfs.size()]));
}
/**
*
* @param ch 文字
* @return 文字と一致するABNF
*/
static BNFbin bin(int ch) {
return new BNFbin(ch);
}
/**
* 文字列/文字との比較
*
* @param str utf-8で一致文字列
* @return 一致するABNF
*/
static BNFbin bin(String str) {
return new BNFbin(str);
}
static BNFbin bin(byte b) {
return new BNFbin(new byte[] {b});
}
static BNFbin bin(byte[] src) {
return new BNFbin(src);
}
static BNFrange range(int min, int max) {
return new BNFrange(min, max);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy