expressir 0.2.4 → 0.2.9
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.cross_rubies +30 -0
- data/.github/workflows/rake.yml +14 -15
- data/.github/workflows/release.yml +26 -17
- data/.gitignore +3 -1
- data/Gemfile +0 -2
- data/Rakefile +2 -17
- data/expressir.gemspec +10 -5
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/CMakeLists.txt +118 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2013.vcxproj +637 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2013.vcxproj.filters +984 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2015.vcxproj +652 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2015.vcxproj.filters +990 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2017.vcxproj +652 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2017.vcxproj.filters +990 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2019.vcxproj +652 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlr4cpp-vs2019.vcxproj.filters +990 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp-ios/Info.plist +26 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp-ios/antlrcpp_ios.h +17 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp.xcodeproj/project.pbxproj +3024 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp.xcodeproj/project.xcworkspace/contents.xcworkspacedata +7 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp.xcodeproj/project.xcworkspace/xcshareddata/IDEWorkspaceChecks.plist +8 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp.xcodeproj/xcshareddata/xcschemes/antlr4.xcscheme +76 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp.xcodeproj/xcshareddata/xcschemes/antlr4_ios.xcscheme +80 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/antlrcpp.xcodeproj/xcshareddata/xcschemes/antlr4_static.xcscheme +80 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRErrorListener.cpp +10 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRErrorListener.h +167 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRErrorStrategy.cpp +10 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRErrorStrategy.h +121 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRFileStream.cpp +34 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRFileStream.h +27 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRInputStream.cpp +155 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ANTLRInputStream.h +69 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/BailErrorStrategy.cpp +61 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/BailErrorStrategy.h +59 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/BaseErrorListener.cpp +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/BaseErrorListener.h +36 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/BufferedTokenStream.cpp +414 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/BufferedTokenStream.h +200 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CharStream.cpp +11 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CharStream.h +37 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CommonToken.cpp +195 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CommonToken.h +158 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CommonTokenFactory.cpp +39 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CommonTokenFactory.h +74 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CommonTokenStream.cpp +78 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/CommonTokenStream.h +79 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ConsoleErrorListener.cpp +15 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ConsoleErrorListener.h +35 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/DefaultErrorStrategy.cpp +333 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/DefaultErrorStrategy.h +466 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/DiagnosticErrorListener.cpp +84 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/DiagnosticErrorListener.h +80 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Exceptions.cpp +64 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Exceptions.h +99 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/FailedPredicateException.cpp +51 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/FailedPredicateException.h +32 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/InputMismatchException.cpp +18 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/InputMismatchException.h +24 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/IntStream.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/IntStream.h +218 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/InterpreterRuleContext.cpp +19 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/InterpreterRuleContext.h +45 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Lexer.cpp +295 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Lexer.h +196 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/LexerInterpreter.cpp +75 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/LexerInterpreter.h +52 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/LexerNoViableAltException.cpp +36 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/LexerNoViableAltException.h +31 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ListTokenSource.cpp +92 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ListTokenSource.h +88 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/NoViableAltException.cpp +46 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/NoViableAltException.h +42 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Parser.cpp +648 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Parser.h +467 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ParserInterpreter.cpp +306 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ParserInterpreter.h +179 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ParserRuleContext.cpp +141 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ParserRuleContext.h +147 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ProxyErrorListener.cpp +53 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/ProxyErrorListener.h +38 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RecognitionException.cpp +66 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RecognitionException.h +98 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Recognizer.cpp +167 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Recognizer.h +164 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RuleContext.cpp +143 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RuleContext.h +137 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RuleContextWithAltNum.cpp +27 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RuleContextWithAltNum.h +32 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RuntimeMetaData.cpp +53 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/RuntimeMetaData.h +155 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Token.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Token.h +92 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenFactory.h +30 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenSource.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenSource.h +85 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenStream.cpp +11 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenStream.h +137 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenStreamRewriter.cpp +425 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/TokenStreamRewriter.h +293 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/UnbufferedCharStream.cpp +211 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/UnbufferedCharStream.h +123 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/UnbufferedTokenStream.cpp +270 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/UnbufferedTokenStream.h +115 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Vocabulary.cpp +104 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/Vocabulary.h +193 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/WritableToken.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/WritableToken.h +23 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/antlr4-common.h +137 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/antlr4-runtime.h +167 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATN.cpp +209 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATN.h +112 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNConfig.cpp +113 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNConfig.h +148 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNConfigSet.cpp +228 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNConfigSet.h +110 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNDeserializationOptions.cpp +64 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNDeserializationOptions.h +50 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNDeserializer.cpp +758 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNDeserializer.h +85 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNSerializer.cpp +621 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNSerializer.h +61 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNSimulator.cpp +63 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNSimulator.h +87 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNState.cpp +72 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNState.h +133 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ATNType.h +20 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/AbstractPredicateTransition.cpp +14 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/AbstractPredicateTransition.h +24 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ActionTransition.cpp +33 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ActionTransition.h +33 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/AmbiguityInfo.cpp +16 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/AmbiguityInfo.h +68 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ArrayPredictionContext.cpp +82 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ArrayPredictionContext.h +43 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/AtomTransition.cpp +31 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/AtomTransition.h +30 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BasicBlockStartState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BasicBlockStartState.h +22 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BasicState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BasicState.h +21 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BlockEndState.cpp +15 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BlockEndState.h +24 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BlockStartState.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/BlockStartState.h +21 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ContextSensitivityInfo.cpp +14 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ContextSensitivityInfo.h +47 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/DecisionEventInfo.cpp +14 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/DecisionEventInfo.h +70 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/DecisionInfo.cpp +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/DecisionInfo.h +227 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/DecisionState.cpp +17 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/DecisionState.h +30 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/EmptyPredictionContext.cpp +35 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/EmptyPredictionContext.h +27 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/EpsilonTransition.cpp +35 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/EpsilonTransition.h +39 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ErrorInfo.cpp +15 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ErrorInfo.h +43 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LL1Analyzer.cpp +158 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LL1Analyzer.h +109 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerATNConfig.cpp +84 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerATNConfig.h +44 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerATNSimulator.cpp +628 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerATNSimulator.h +210 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerAction.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerAction.h +66 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerActionExecutor.cpp +107 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerActionExecutor.h +115 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerActionType.h +55 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerChannelAction.cpp +55 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerChannelAction.h +63 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerCustomAction.cpp +62 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerCustomAction.h +87 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerIndexedCustomAction.cpp +63 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerIndexedCustomAction.h +82 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerModeAction.cpp +56 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerModeAction.h +61 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerMoreAction.cpp +47 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerMoreAction.h +57 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerPopModeAction.cpp +47 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerPopModeAction.h +57 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerPushModeAction.cpp +56 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerPushModeAction.h +61 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerSkipAction.cpp +47 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerSkipAction.h +55 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerTypeAction.cpp +56 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LexerTypeAction.h +55 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LookaheadEventInfo.cpp +16 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LookaheadEventInfo.h +42 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LoopEndState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/LoopEndState.h +22 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/Makefile +67 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/NotSetTransition.cpp +27 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/NotSetTransition.h +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/OrderedATNConfigSet.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/OrderedATNConfigSet.h +20 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ParseInfo.cpp +102 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ParseInfo.h +102 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ParserATNSimulator.cpp +1366 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ParserATNSimulator.h +904 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PlusBlockStartState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PlusBlockStartState.h +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PlusLoopbackState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PlusLoopbackState.h +22 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PrecedencePredicateTransition.cpp +32 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PrecedencePredicateTransition.h +29 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredicateEvalInfo.cpp +17 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredicateEvalInfo.h +62 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredicateTransition.cpp +34 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredicateTransition.h +39 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredictionContext.cpp +662 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredictionContext.h +254 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredictionMode.cpp +201 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/PredictionMode.h +436 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ProfilingATNSimulator.cpp +179 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/ProfilingATNSimulator.h +60 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RangeTransition.cpp +30 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RangeTransition.h +29 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RuleStartState.cpp +16 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RuleStartState.h +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RuleStopState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RuleStopState.h +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RuleTransition.cpp +37 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/RuleTransition.h +40 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/SemanticContext.cpp +377 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/SemanticContext.h +222 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/SetTransition.cpp +32 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/SetTransition.h +30 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/SingletonPredictionContext.cpp +81 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/SingletonPredictionContext.h +36 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/StarBlockStartState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/StarBlockStartState.h +21 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/StarLoopEntryState.cpp +15 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/StarLoopEntryState.h +35 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/StarLoopbackState.cpp +19 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/StarLoopbackState.h +21 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/TokensStartState.cpp +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/TokensStartState.h +21 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/Transition.cpp +44 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/Transition.h +76 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/WildcardTransition.cpp +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/atn/WildcardTransition.h +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/DFA.cpp +127 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/DFA.h +91 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/DFASerializer.cpp +67 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/DFASerializer.h +32 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/DFAState.cpp +100 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/DFAState.h +144 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/LexerDFASerializer.cpp +20 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/dfa/LexerDFASerializer.h +23 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/InterpreterDataReader.cpp +124 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/InterpreterDataReader.h +31 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/Interval.cpp +89 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/Interval.h +84 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/IntervalSet.cpp +521 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/IntervalSet.h +198 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/MurmurHash.cpp +134 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/MurmurHash.h +76 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/Predicate.cpp +4 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/misc/Predicate.h +21 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/Any.cpp +13 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/Any.h +170 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/Arrays.cpp +43 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/Arrays.h +110 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/BitSet.h +76 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/CPPUtils.cpp +248 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/CPPUtils.h +78 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/Declarations.h +163 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/StringUtils.cpp +36 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/StringUtils.h +54 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/guid.cpp +303 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/support/guid.h +112 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/AbstractParseTreeVisitor.h +128 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ErrorNode.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ErrorNode.h +19 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ErrorNodeImpl.cpp +23 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ErrorNodeImpl.h +33 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/IterativeParseTreeWalker.cpp +71 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/IterativeParseTreeWalker.h +53 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTree.cpp +15 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTree.h +102 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeListener.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeListener.h +39 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h +50 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeVisitor.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeVisitor.h +57 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeWalker.cpp +49 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/ParseTreeWalker.h +31 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/TerminalNode.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/TerminalNode.h +32 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/TerminalNodeImpl.cpp +57 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/TerminalNodeImpl.h +33 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/Trees.cpp +241 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/Trees.h +78 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/Chunk.cpp +9 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/Chunk.h +44 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/ParseTreeMatch.cpp +69 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/ParseTreeMatch.h +132 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/ParseTreePattern.cpp +64 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/ParseTreePattern.h +105 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/ParseTreePatternMatcher.cpp +371 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/ParseTreePatternMatcher.h +185 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/RuleTagToken.cpp +77 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/RuleTagToken.h +117 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/TagChunk.cpp +39 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/TagChunk.h +86 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/TextChunk.cpp +28 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/TextChunk.h +51 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/TokenTagToken.cpp +36 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/pattern/TokenTagToken.h +80 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPath.cpp +154 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPath.h +86 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathElement.cpp +31 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathElement.h +40 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathLexer.cpp +173 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathLexer.g4 +64 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathLexer.h +56 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathLexer.tokens +12 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathLexerErrorListener.cpp +13 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathLexerErrorListener.h +22 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathRuleAnywhereElement.cpp +20 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathRuleAnywhereElement.h +27 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathRuleElement.cpp +30 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathRuleElement.h +26 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathTokenAnywhereElement.cpp +20 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathTokenAnywhereElement.h +25 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathTokenElement.cpp +33 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathTokenElement.h +26 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathWildcardAnywhereElement.cpp +23 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathWildcardAnywhereElement.h +23 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathWildcardElement.cpp +24 -0
- data/ext/express-parser/antlr4-upstream/runtime/Cpp/runtime/src/tree/xpath/XPathWildcardElement.h +23 -0
- data/ext/express-parser/express_parser.cpp +12 -10
- data/ext/express-parser/extconf.rb +48 -25
- data/lib/expressir/express_exp/formatter.rb +3 -7
- data/lib/expressir/express_exp/parser.rb +20 -2
- data/lib/expressir/express_exp/visitor.rb +106 -55
- data/lib/expressir/model.rb +1 -0
- data/lib/expressir/model/entity.rb +3 -0
- data/lib/expressir/model/expressions/query_expression.rb +2 -2
- data/lib/expressir/model/identifier.rb +2 -0
- data/lib/expressir/model/informal_proposition.rb +11 -0
- data/lib/expressir/model/rule.rb +3 -0
- data/lib/expressir/model/schema.rb +2 -0
- data/lib/expressir/model/scope.rb +52 -3
- data/lib/expressir/model/type.rb +8 -0
- data/lib/expressir/version.rb +1 -1
- data/original/examples/syntax/remark.exp +64 -20
- data/original/examples/syntax/remark_formatted.exp +63 -19
- data/original/examples/syntax/source.exp +16 -0
- data/original/examples/syntax/syntax.exp +6 -1
- data/original/examples/syntax/syntax_formatted.exp +13 -0
- data/rakelib/cross-ruby.rake +308 -0
- data/spec/expressir/express_exp/head_source_spec.rb +41 -0
- data/spec/expressir/express_exp/parse_multiple_spec.rb +32 -0
- data/spec/expressir/express_exp/parse_remark_spec.rb +119 -53
- data/spec/expressir/express_exp/parse_syntax_spec.rb +47 -2
- data/spec/expressir/express_exp/source_spec.rb +32 -0
- data/spec/expressir/model/find_spec.rb +19 -6
- metadata +369 -23
@@ -0,0 +1,31 @@
|
|
1
|
+
/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
|
2
|
+
* Use of this file is governed by the BSD 3-clause license that
|
3
|
+
* can be found in the LICENSE.txt file in the project root.
|
4
|
+
*/
|
5
|
+
|
6
|
+
#pragma once
|
7
|
+
|
8
|
+
#include "antlr4-common.h"
|
9
|
+
|
10
|
+
namespace antlr4 {
|
11
|
+
namespace misc {
|
12
|
+
|
13
|
+
struct InterpreterData {
|
14
|
+
atn::ATN atn;
|
15
|
+
dfa::Vocabulary vocabulary;
|
16
|
+
std::vector<std::string> ruleNames;
|
17
|
+
std::vector<std::string> channels; // Only valid for lexer grammars.
|
18
|
+
std::vector<std::string> modes; // ditto
|
19
|
+
|
20
|
+
InterpreterData() {}; // For invalid content.
|
21
|
+
InterpreterData(std::vector<std::string> const& literalNames, std::vector<std::string> const& symbolicNames);
|
22
|
+
};
|
23
|
+
|
24
|
+
// A class to read plain text interpreter data produced by ANTLR.
|
25
|
+
class ANTLR4CPP_PUBLIC InterpreterDataReader {
|
26
|
+
public:
|
27
|
+
static InterpreterData parseFile(std::string const& fileName);
|
28
|
+
};
|
29
|
+
|
30
|
+
} // namespace atn
|
31
|
+
} // namespace antlr4
|
@@ -0,0 +1,89 @@
|
|
1
|
+
/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
|
2
|
+
* Use of this file is governed by the BSD 3-clause license that
|
3
|
+
* can be found in the LICENSE.txt file in the project root.
|
4
|
+
*/
|
5
|
+
|
6
|
+
#include "misc/Interval.h"
|
7
|
+
|
8
|
+
using namespace antlr4::misc;
|
9
|
+
|
10
|
+
size_t antlr4::misc::numericToSymbol(ssize_t v) {
|
11
|
+
return static_cast<size_t>(v);
|
12
|
+
}
|
13
|
+
|
14
|
+
ssize_t antlr4::misc::symbolToNumeric(size_t v) {
|
15
|
+
return static_cast<ssize_t>(v);
|
16
|
+
}
|
17
|
+
|
18
|
+
Interval const Interval::INVALID;
|
19
|
+
|
20
|
+
Interval::Interval() : Interval(static_cast<ssize_t>(-1), -2) { // Need an explicit cast here for VS.
|
21
|
+
}
|
22
|
+
|
23
|
+
Interval::Interval(size_t a_, size_t b_) : Interval(symbolToNumeric(a_), symbolToNumeric(b_)) {
|
24
|
+
}
|
25
|
+
|
26
|
+
Interval::Interval(ssize_t a_, ssize_t b_) : a(a_), b(b_) {
|
27
|
+
}
|
28
|
+
|
29
|
+
size_t Interval::length() const {
|
30
|
+
if (b < a) {
|
31
|
+
return 0;
|
32
|
+
}
|
33
|
+
return size_t(b - a + 1);
|
34
|
+
}
|
35
|
+
|
36
|
+
bool Interval::operator == (const Interval &other) const {
|
37
|
+
return a == other.a && b == other.b;
|
38
|
+
}
|
39
|
+
|
40
|
+
size_t Interval::hashCode() const {
|
41
|
+
size_t hash = 23;
|
42
|
+
hash = hash * 31 + static_cast<size_t>(a);
|
43
|
+
hash = hash * 31 + static_cast<size_t>(b);
|
44
|
+
return hash;
|
45
|
+
}
|
46
|
+
|
47
|
+
bool Interval::startsBeforeDisjoint(const Interval &other) const {
|
48
|
+
return a < other.a && b < other.a;
|
49
|
+
}
|
50
|
+
|
51
|
+
bool Interval::startsBeforeNonDisjoint(const Interval &other) const {
|
52
|
+
return a <= other.a && b >= other.a;
|
53
|
+
}
|
54
|
+
|
55
|
+
bool Interval::startsAfter(const Interval &other) const {
|
56
|
+
return a > other.a;
|
57
|
+
}
|
58
|
+
|
59
|
+
bool Interval::startsAfterDisjoint(const Interval &other) const {
|
60
|
+
return a > other.b;
|
61
|
+
}
|
62
|
+
|
63
|
+
bool Interval::startsAfterNonDisjoint(const Interval &other) const {
|
64
|
+
return a > other.a && a <= other.b; // b >= other.b implied
|
65
|
+
}
|
66
|
+
|
67
|
+
bool Interval::disjoint(const Interval &other) const {
|
68
|
+
return startsBeforeDisjoint(other) || startsAfterDisjoint(other);
|
69
|
+
}
|
70
|
+
|
71
|
+
bool Interval::adjacent(const Interval &other) const {
|
72
|
+
return a == other.b + 1 || b == other.a - 1;
|
73
|
+
}
|
74
|
+
|
75
|
+
bool Interval::properlyContains(const Interval &other) const {
|
76
|
+
return other.a >= a && other.b <= b;
|
77
|
+
}
|
78
|
+
|
79
|
+
Interval Interval::Union(const Interval &other) const {
|
80
|
+
return Interval(std::min(a, other.a), std::max(b, other.b));
|
81
|
+
}
|
82
|
+
|
83
|
+
Interval Interval::intersection(const Interval &other) const {
|
84
|
+
return Interval(std::max(a, other.a), std::min(b, other.b));
|
85
|
+
}
|
86
|
+
|
87
|
+
std::string Interval::toString() const {
|
88
|
+
return std::to_string(a) + ".." + std::to_string(b);
|
89
|
+
}
|
@@ -0,0 +1,84 @@
|
|
1
|
+
/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
|
2
|
+
* Use of this file is governed by the BSD 3-clause license that
|
3
|
+
* can be found in the LICENSE.txt file in the project root.
|
4
|
+
*/
|
5
|
+
|
6
|
+
#pragma once
|
7
|
+
|
8
|
+
#include "antlr4-common.h"
|
9
|
+
|
10
|
+
namespace antlr4 {
|
11
|
+
namespace misc {
|
12
|
+
|
13
|
+
// Helpers to convert certain unsigned symbols (e.g. Token::EOF) to their original numeric value (e.g. -1)
|
14
|
+
// and vice versa. This is needed mostly for intervals to keep their original order and for toString()
|
15
|
+
// methods to print the original numeric value (e.g. for tests).
|
16
|
+
size_t numericToSymbol(ssize_t v);
|
17
|
+
ssize_t symbolToNumeric(size_t v);
|
18
|
+
|
19
|
+
/// An immutable inclusive interval a..b
|
20
|
+
class ANTLR4CPP_PUBLIC Interval {
|
21
|
+
public:
|
22
|
+
static const Interval INVALID;
|
23
|
+
|
24
|
+
// Must stay signed to guarantee the correct sort order.
|
25
|
+
ssize_t a;
|
26
|
+
ssize_t b;
|
27
|
+
|
28
|
+
Interval();
|
29
|
+
explicit Interval(size_t a_, size_t b_); // For unsigned -> signed mappings.
|
30
|
+
Interval(ssize_t a_, ssize_t b_);
|
31
|
+
|
32
|
+
/// return number of elements between a and b inclusively. x..x is length 1.
|
33
|
+
/// if b < a, then length is 0. 9..10 has length 2.
|
34
|
+
size_t length() const;
|
35
|
+
|
36
|
+
bool operator == (const Interval &other) const;
|
37
|
+
|
38
|
+
size_t hashCode() const;
|
39
|
+
|
40
|
+
/// <summary>
|
41
|
+
/// Does this start completely before other? Disjoint </summary>
|
42
|
+
bool startsBeforeDisjoint(const Interval &other) const;
|
43
|
+
|
44
|
+
/// <summary>
|
45
|
+
/// Does this start at or before other? Nondisjoint </summary>
|
46
|
+
bool startsBeforeNonDisjoint(const Interval &other) const;
|
47
|
+
|
48
|
+
/// <summary>
|
49
|
+
/// Does this.a start after other.b? May or may not be disjoint </summary>
|
50
|
+
bool startsAfter(const Interval &other) const;
|
51
|
+
|
52
|
+
/// <summary>
|
53
|
+
/// Does this start completely after other? Disjoint </summary>
|
54
|
+
bool startsAfterDisjoint(const Interval &other) const;
|
55
|
+
|
56
|
+
/// <summary>
|
57
|
+
/// Does this start after other? NonDisjoint </summary>
|
58
|
+
bool startsAfterNonDisjoint(const Interval &other) const;
|
59
|
+
|
60
|
+
/// <summary>
|
61
|
+
/// Are both ranges disjoint? I.e., no overlap? </summary>
|
62
|
+
bool disjoint(const Interval &other) const;
|
63
|
+
|
64
|
+
/// <summary>
|
65
|
+
/// Are two intervals adjacent such as 0..41 and 42..42? </summary>
|
66
|
+
bool adjacent(const Interval &other) const;
|
67
|
+
|
68
|
+
bool properlyContains(const Interval &other) const;
|
69
|
+
|
70
|
+
/// <summary>
|
71
|
+
/// Return the interval computed from combining this and other </summary>
|
72
|
+
Interval Union(const Interval &other) const;
|
73
|
+
|
74
|
+
/// <summary>
|
75
|
+
/// Return the interval in common between this and o </summary>
|
76
|
+
Interval intersection(const Interval &other) const;
|
77
|
+
|
78
|
+
std::string toString() const;
|
79
|
+
|
80
|
+
private:
|
81
|
+
};
|
82
|
+
|
83
|
+
} // namespace atn
|
84
|
+
} // namespace antlr4
|
@@ -0,0 +1,521 @@
|
|
1
|
+
/* Copyright (c) 2012-2017 The ANTLR Project. All rights reserved.
|
2
|
+
* Use of this file is governed by the BSD 3-clause license that
|
3
|
+
* can be found in the LICENSE.txt file in the project root.
|
4
|
+
*/
|
5
|
+
|
6
|
+
#include "misc/MurmurHash.h"
|
7
|
+
#include "Lexer.h"
|
8
|
+
#include "Exceptions.h"
|
9
|
+
#include "Vocabulary.h"
|
10
|
+
|
11
|
+
#include "misc/IntervalSet.h"
|
12
|
+
|
13
|
+
using namespace antlr4;
|
14
|
+
using namespace antlr4::misc;
|
15
|
+
|
16
|
+
IntervalSet const IntervalSet::COMPLETE_CHAR_SET =
|
17
|
+
IntervalSet::of(Lexer::MIN_CHAR_VALUE, Lexer::MAX_CHAR_VALUE);
|
18
|
+
|
19
|
+
IntervalSet const IntervalSet::EMPTY_SET;
|
20
|
+
|
21
|
+
IntervalSet::IntervalSet() : _intervals() {
|
22
|
+
}
|
23
|
+
|
24
|
+
IntervalSet::IntervalSet(const IntervalSet &set) : IntervalSet() {
|
25
|
+
_intervals = set._intervals;
|
26
|
+
}
|
27
|
+
|
28
|
+
IntervalSet::IntervalSet(IntervalSet&& set) : IntervalSet(std::move(set._intervals)) {
|
29
|
+
}
|
30
|
+
|
31
|
+
IntervalSet::IntervalSet(std::vector<Interval>&& intervals) : _intervals(std::move(intervals)) {
|
32
|
+
}
|
33
|
+
|
34
|
+
IntervalSet& IntervalSet::operator=(const IntervalSet& other) {
|
35
|
+
_intervals = other._intervals;
|
36
|
+
return *this;
|
37
|
+
}
|
38
|
+
|
39
|
+
IntervalSet& IntervalSet::operator=(IntervalSet&& other) {
|
40
|
+
_intervals = move(other._intervals);
|
41
|
+
return *this;
|
42
|
+
}
|
43
|
+
|
44
|
+
IntervalSet IntervalSet::of(ssize_t a) {
|
45
|
+
return IntervalSet({ Interval(a, a) });
|
46
|
+
}
|
47
|
+
|
48
|
+
IntervalSet IntervalSet::of(ssize_t a, ssize_t b) {
|
49
|
+
return IntervalSet({ Interval(a, b) });
|
50
|
+
}
|
51
|
+
|
52
|
+
void IntervalSet::clear() {
|
53
|
+
_intervals.clear();
|
54
|
+
}
|
55
|
+
|
56
|
+
void IntervalSet::add(ssize_t el) {
|
57
|
+
add(el, el);
|
58
|
+
}
|
59
|
+
|
60
|
+
void IntervalSet::add(ssize_t a, ssize_t b) {
|
61
|
+
add(Interval(a, b));
|
62
|
+
}
|
63
|
+
|
64
|
+
void IntervalSet::add(const Interval &addition) {
|
65
|
+
if (addition.b < addition.a) {
|
66
|
+
return;
|
67
|
+
}
|
68
|
+
|
69
|
+
// find position in list
|
70
|
+
for (auto iterator = _intervals.begin(); iterator != _intervals.end(); ++iterator) {
|
71
|
+
Interval r = *iterator;
|
72
|
+
if (addition == r) {
|
73
|
+
return;
|
74
|
+
}
|
75
|
+
|
76
|
+
if (addition.adjacent(r) || !addition.disjoint(r)) {
|
77
|
+
// next to each other, make a single larger interval
|
78
|
+
Interval bigger = addition.Union(r);
|
79
|
+
*iterator = bigger;
|
80
|
+
|
81
|
+
// make sure we didn't just create an interval that
|
82
|
+
// should be merged with next interval in list
|
83
|
+
while (iterator + 1 != _intervals.end()) {
|
84
|
+
Interval next = *++iterator;
|
85
|
+
if (!bigger.adjacent(next) && bigger.disjoint(next)) {
|
86
|
+
break;
|
87
|
+
}
|
88
|
+
|
89
|
+
// if we bump up against or overlap next, merge
|
90
|
+
iterator = _intervals.erase(iterator);// remove this one
|
91
|
+
--iterator; // move backwards to what we just set
|
92
|
+
*iterator = bigger.Union(next); // set to 3 merged ones
|
93
|
+
// ml: no need to advance iterator, we do that in the next round anyway. ++iterator; // first call to next after previous duplicates the result
|
94
|
+
}
|
95
|
+
return;
|
96
|
+
}
|
97
|
+
|
98
|
+
if (addition.startsBeforeDisjoint(r)) {
|
99
|
+
// insert before r
|
100
|
+
//--iterator;
|
101
|
+
_intervals.insert(iterator, addition);
|
102
|
+
return;
|
103
|
+
}
|
104
|
+
|
105
|
+
// if disjoint and after r, a future iteration will handle it
|
106
|
+
}
|
107
|
+
|
108
|
+
// ok, must be after last interval (and disjoint from last interval)
|
109
|
+
// just add it
|
110
|
+
_intervals.push_back(addition);
|
111
|
+
}
|
112
|
+
|
113
|
+
IntervalSet IntervalSet::Or(const std::vector<IntervalSet> &sets) {
|
114
|
+
IntervalSet result;
|
115
|
+
for (auto &s : sets) {
|
116
|
+
result.addAll(s);
|
117
|
+
}
|
118
|
+
return result;
|
119
|
+
}
|
120
|
+
|
121
|
+
IntervalSet& IntervalSet::addAll(const IntervalSet &set) {
|
122
|
+
// walk set and add each interval
|
123
|
+
for (auto const& interval : set._intervals) {
|
124
|
+
add(interval);
|
125
|
+
}
|
126
|
+
return *this;
|
127
|
+
}
|
128
|
+
|
129
|
+
IntervalSet IntervalSet::complement(ssize_t minElement, ssize_t maxElement) const {
|
130
|
+
return complement(IntervalSet::of(minElement, maxElement));
|
131
|
+
}
|
132
|
+
|
133
|
+
IntervalSet IntervalSet::complement(const IntervalSet &vocabulary) const {
|
134
|
+
return vocabulary.subtract(*this);
|
135
|
+
}
|
136
|
+
|
137
|
+
IntervalSet IntervalSet::subtract(const IntervalSet &other) const {
|
138
|
+
return subtract(*this, other);
|
139
|
+
}
|
140
|
+
|
141
|
+
IntervalSet IntervalSet::subtract(const IntervalSet &left, const IntervalSet &right) {
|
142
|
+
if (left.isEmpty()) {
|
143
|
+
return IntervalSet();
|
144
|
+
}
|
145
|
+
|
146
|
+
if (right.isEmpty()) {
|
147
|
+
// right set has no elements; just return the copy of the current set
|
148
|
+
return left;
|
149
|
+
}
|
150
|
+
|
151
|
+
IntervalSet result(left);
|
152
|
+
size_t resultI = 0;
|
153
|
+
size_t rightI = 0;
|
154
|
+
while (resultI < result._intervals.size() && rightI < right._intervals.size()) {
|
155
|
+
Interval &resultInterval = result._intervals[resultI];
|
156
|
+
const Interval &rightInterval = right._intervals[rightI];
|
157
|
+
|
158
|
+
// operation: (resultInterval - rightInterval) and update indexes
|
159
|
+
|
160
|
+
if (rightInterval.b < resultInterval.a) {
|
161
|
+
rightI++;
|
162
|
+
continue;
|
163
|
+
}
|
164
|
+
|
165
|
+
if (rightInterval.a > resultInterval.b) {
|
166
|
+
resultI++;
|
167
|
+
continue;
|
168
|
+
}
|
169
|
+
|
170
|
+
Interval beforeCurrent;
|
171
|
+
Interval afterCurrent;
|
172
|
+
if (rightInterval.a > resultInterval.a) {
|
173
|
+
beforeCurrent = Interval(resultInterval.a, rightInterval.a - 1);
|
174
|
+
}
|
175
|
+
|
176
|
+
if (rightInterval.b < resultInterval.b) {
|
177
|
+
afterCurrent = Interval(rightInterval.b + 1, resultInterval.b);
|
178
|
+
}
|
179
|
+
|
180
|
+
if (beforeCurrent.a > -1) { // -1 is the default value
|
181
|
+
if (afterCurrent.a > -1) {
|
182
|
+
// split the current interval into two
|
183
|
+
result._intervals[resultI] = beforeCurrent;
|
184
|
+
result._intervals.insert(result._intervals.begin() + resultI + 1, afterCurrent);
|
185
|
+
resultI++;
|
186
|
+
rightI++;
|
187
|
+
} else {
|
188
|
+
// replace the current interval
|
189
|
+
result._intervals[resultI] = beforeCurrent;
|
190
|
+
resultI++;
|
191
|
+
}
|
192
|
+
} else {
|
193
|
+
if (afterCurrent.a > -1) {
|
194
|
+
// replace the current interval
|
195
|
+
result._intervals[resultI] = afterCurrent;
|
196
|
+
rightI++;
|
197
|
+
} else {
|
198
|
+
// remove the current interval (thus no need to increment resultI)
|
199
|
+
result._intervals.erase(result._intervals.begin() + resultI);
|
200
|
+
}
|
201
|
+
}
|
202
|
+
}
|
203
|
+
|
204
|
+
// If rightI reached right.intervals.size(), no more intervals to subtract from result.
|
205
|
+
// If resultI reached result.intervals.size(), we would be subtracting from an empty set.
|
206
|
+
// Either way, we are done.
|
207
|
+
return result;
|
208
|
+
}
|
209
|
+
|
210
|
+
IntervalSet IntervalSet::Or(const IntervalSet &a) const {
|
211
|
+
IntervalSet result;
|
212
|
+
result.addAll(*this);
|
213
|
+
result.addAll(a);
|
214
|
+
return result;
|
215
|
+
}
|
216
|
+
|
217
|
+
IntervalSet IntervalSet::And(const IntervalSet &other) const {
|
218
|
+
IntervalSet intersection;
|
219
|
+
size_t i = 0;
|
220
|
+
size_t j = 0;
|
221
|
+
|
222
|
+
// iterate down both interval lists looking for nondisjoint intervals
|
223
|
+
while (i < _intervals.size() && j < other._intervals.size()) {
|
224
|
+
Interval mine = _intervals[i];
|
225
|
+
Interval theirs = other._intervals[j];
|
226
|
+
|
227
|
+
if (mine.startsBeforeDisjoint(theirs)) {
|
228
|
+
// move this iterator looking for interval that might overlap
|
229
|
+
i++;
|
230
|
+
} else if (theirs.startsBeforeDisjoint(mine)) {
|
231
|
+
// move other iterator looking for interval that might overlap
|
232
|
+
j++;
|
233
|
+
} else if (mine.properlyContains(theirs)) {
|
234
|
+
// overlap, add intersection, get next theirs
|
235
|
+
intersection.add(mine.intersection(theirs));
|
236
|
+
j++;
|
237
|
+
} else if (theirs.properlyContains(mine)) {
|
238
|
+
// overlap, add intersection, get next mine
|
239
|
+
intersection.add(mine.intersection(theirs));
|
240
|
+
i++;
|
241
|
+
} else if (!mine.disjoint(theirs)) {
|
242
|
+
// overlap, add intersection
|
243
|
+
intersection.add(mine.intersection(theirs));
|
244
|
+
|
245
|
+
// Move the iterator of lower range [a..b], but not
|
246
|
+
// the upper range as it may contain elements that will collide
|
247
|
+
// with the next iterator. So, if mine=[0..115] and
|
248
|
+
// theirs=[115..200], then intersection is 115 and move mine
|
249
|
+
// but not theirs as theirs may collide with the next range
|
250
|
+
// in thisIter.
|
251
|
+
// move both iterators to next ranges
|
252
|
+
if (mine.startsAfterNonDisjoint(theirs)) {
|
253
|
+
j++;
|
254
|
+
} else if (theirs.startsAfterNonDisjoint(mine)) {
|
255
|
+
i++;
|
256
|
+
}
|
257
|
+
}
|
258
|
+
}
|
259
|
+
|
260
|
+
return intersection;
|
261
|
+
}
|
262
|
+
|
263
|
+
bool IntervalSet::contains(size_t el) const {
|
264
|
+
return contains(symbolToNumeric(el));
|
265
|
+
}
|
266
|
+
|
267
|
+
bool IntervalSet::contains(ssize_t el) const {
|
268
|
+
if (_intervals.empty())
|
269
|
+
return false;
|
270
|
+
|
271
|
+
if (el < _intervals[0].a) // list is sorted and el is before first interval; not here
|
272
|
+
return false;
|
273
|
+
|
274
|
+
for (auto &interval : _intervals) {
|
275
|
+
if (el >= interval.a && el <= interval.b) {
|
276
|
+
return true; // found in this interval
|
277
|
+
}
|
278
|
+
}
|
279
|
+
return false;
|
280
|
+
}
|
281
|
+
|
282
|
+
bool IntervalSet::isEmpty() const {
|
283
|
+
return _intervals.empty();
|
284
|
+
}
|
285
|
+
|
286
|
+
ssize_t IntervalSet::getSingleElement() const {
|
287
|
+
if (_intervals.size() == 1) {
|
288
|
+
if (_intervals[0].a == _intervals[0].b) {
|
289
|
+
return _intervals[0].a;
|
290
|
+
}
|
291
|
+
}
|
292
|
+
|
293
|
+
return Token::INVALID_TYPE; // XXX: this value is 0, but 0 is a valid interval range, how can that work?
|
294
|
+
}
|
295
|
+
|
296
|
+
ssize_t IntervalSet::getMaxElement() const {
|
297
|
+
if (_intervals.empty()) {
|
298
|
+
return Token::INVALID_TYPE;
|
299
|
+
}
|
300
|
+
|
301
|
+
return _intervals.back().b;
|
302
|
+
}
|
303
|
+
|
304
|
+
ssize_t IntervalSet::getMinElement() const {
|
305
|
+
if (_intervals.empty()) {
|
306
|
+
return Token::INVALID_TYPE;
|
307
|
+
}
|
308
|
+
|
309
|
+
return _intervals[0].a;
|
310
|
+
}
|
311
|
+
|
312
|
+
std::vector<Interval> const& IntervalSet::getIntervals() const {
|
313
|
+
return _intervals;
|
314
|
+
}
|
315
|
+
|
316
|
+
size_t IntervalSet::hashCode() const {
|
317
|
+
size_t hash = MurmurHash::initialize();
|
318
|
+
for (auto &interval : _intervals) {
|
319
|
+
hash = MurmurHash::update(hash, interval.a);
|
320
|
+
hash = MurmurHash::update(hash, interval.b);
|
321
|
+
}
|
322
|
+
|
323
|
+
return MurmurHash::finish(hash, _intervals.size() * 2);
|
324
|
+
}
|
325
|
+
|
326
|
+
bool IntervalSet::operator == (const IntervalSet &other) const {
|
327
|
+
if (_intervals.empty() && other._intervals.empty())
|
328
|
+
return true;
|
329
|
+
|
330
|
+
if (_intervals.size() != other._intervals.size())
|
331
|
+
return false;
|
332
|
+
|
333
|
+
return std::equal(_intervals.begin(), _intervals.end(), other._intervals.begin());
|
334
|
+
}
|
335
|
+
|
336
|
+
std::string IntervalSet::toString() const {
|
337
|
+
return toString(false);
|
338
|
+
}
|
339
|
+
|
340
|
+
std::string IntervalSet::toString(bool elemAreChar) const {
|
341
|
+
if (_intervals.empty()) {
|
342
|
+
return "{}";
|
343
|
+
}
|
344
|
+
|
345
|
+
std::stringstream ss;
|
346
|
+
size_t effectiveSize = size();
|
347
|
+
if (effectiveSize > 1) {
|
348
|
+
ss << "{";
|
349
|
+
}
|
350
|
+
|
351
|
+
bool firstEntry = true;
|
352
|
+
for (auto &interval : _intervals) {
|
353
|
+
if (!firstEntry)
|
354
|
+
ss << ", ";
|
355
|
+
firstEntry = false;
|
356
|
+
|
357
|
+
ssize_t a = interval.a;
|
358
|
+
ssize_t b = interval.b;
|
359
|
+
if (a == b) {
|
360
|
+
if (a == -1) {
|
361
|
+
ss << "<EOF>";
|
362
|
+
} else if (elemAreChar) {
|
363
|
+
ss << "'" << static_cast<char>(a) << "'";
|
364
|
+
} else {
|
365
|
+
ss << a;
|
366
|
+
}
|
367
|
+
} else {
|
368
|
+
if (elemAreChar) {
|
369
|
+
ss << "'" << static_cast<char>(a) << "'..'" << static_cast<char>(b) << "'";
|
370
|
+
} else {
|
371
|
+
ss << a << ".." << b;
|
372
|
+
}
|
373
|
+
}
|
374
|
+
}
|
375
|
+
if (effectiveSize > 1) {
|
376
|
+
ss << "}";
|
377
|
+
}
|
378
|
+
|
379
|
+
return ss.str();
|
380
|
+
}
|
381
|
+
|
382
|
+
std::string IntervalSet::toString(const std::vector<std::string> &tokenNames) const {
|
383
|
+
return toString(dfa::Vocabulary::fromTokenNames(tokenNames));
|
384
|
+
}
|
385
|
+
|
386
|
+
std::string IntervalSet::toString(const dfa::Vocabulary &vocabulary) const {
|
387
|
+
if (_intervals.empty()) {
|
388
|
+
return "{}";
|
389
|
+
}
|
390
|
+
|
391
|
+
std::stringstream ss;
|
392
|
+
size_t effectiveSize = size();
|
393
|
+
if (effectiveSize > 1) {
|
394
|
+
ss << "{";
|
395
|
+
}
|
396
|
+
|
397
|
+
bool firstEntry = true;
|
398
|
+
for (auto &interval : _intervals) {
|
399
|
+
if (!firstEntry)
|
400
|
+
ss << ", ";
|
401
|
+
firstEntry = false;
|
402
|
+
|
403
|
+
ssize_t a = interval.a;
|
404
|
+
ssize_t b = interval.b;
|
405
|
+
if (a == b) {
|
406
|
+
ss << elementName(vocabulary, a);
|
407
|
+
} else {
|
408
|
+
for (ssize_t i = a; i <= b; i++) {
|
409
|
+
if (i > a) {
|
410
|
+
ss << ", ";
|
411
|
+
}
|
412
|
+
ss << elementName(vocabulary, i);
|
413
|
+
}
|
414
|
+
}
|
415
|
+
}
|
416
|
+
if (effectiveSize > 1) {
|
417
|
+
ss << "}";
|
418
|
+
}
|
419
|
+
|
420
|
+
return ss.str();
|
421
|
+
}
|
422
|
+
|
423
|
+
std::string IntervalSet::elementName(const std::vector<std::string> &tokenNames, ssize_t a) const {
|
424
|
+
return elementName(dfa::Vocabulary::fromTokenNames(tokenNames), a);
|
425
|
+
}
|
426
|
+
|
427
|
+
std::string IntervalSet::elementName(const dfa::Vocabulary &vocabulary, ssize_t a) const {
|
428
|
+
if (a == -1) {
|
429
|
+
return "<EOF>";
|
430
|
+
} else if (a == -2) {
|
431
|
+
return "<EPSILON>";
|
432
|
+
} else {
|
433
|
+
return vocabulary.getDisplayName(a);
|
434
|
+
}
|
435
|
+
}
|
436
|
+
|
437
|
+
size_t IntervalSet::size() const {
|
438
|
+
size_t result = 0;
|
439
|
+
for (auto &interval : _intervals) {
|
440
|
+
result += size_t(interval.b - interval.a + 1);
|
441
|
+
}
|
442
|
+
return result;
|
443
|
+
}
|
444
|
+
|
445
|
+
std::vector<ssize_t> IntervalSet::toList() const {
|
446
|
+
std::vector<ssize_t> result;
|
447
|
+
for (auto &interval : _intervals) {
|
448
|
+
ssize_t a = interval.a;
|
449
|
+
ssize_t b = interval.b;
|
450
|
+
for (ssize_t v = a; v <= b; v++) {
|
451
|
+
result.push_back(v);
|
452
|
+
}
|
453
|
+
}
|
454
|
+
return result;
|
455
|
+
}
|
456
|
+
|
457
|
+
std::set<ssize_t> IntervalSet::toSet() const {
|
458
|
+
std::set<ssize_t> result;
|
459
|
+
for (auto &interval : _intervals) {
|
460
|
+
ssize_t a = interval.a;
|
461
|
+
ssize_t b = interval.b;
|
462
|
+
for (ssize_t v = a; v <= b; v++) {
|
463
|
+
result.insert(v);
|
464
|
+
}
|
465
|
+
}
|
466
|
+
return result;
|
467
|
+
}
|
468
|
+
|
469
|
+
ssize_t IntervalSet::get(size_t i) const {
|
470
|
+
size_t index = 0;
|
471
|
+
for (auto &interval : _intervals) {
|
472
|
+
ssize_t a = interval.a;
|
473
|
+
ssize_t b = interval.b;
|
474
|
+
for (ssize_t v = a; v <= b; v++) {
|
475
|
+
if (index == i) {
|
476
|
+
return v;
|
477
|
+
}
|
478
|
+
index++;
|
479
|
+
}
|
480
|
+
}
|
481
|
+
return -1;
|
482
|
+
}
|
483
|
+
|
484
|
+
void IntervalSet::remove(size_t el) {
|
485
|
+
remove(symbolToNumeric(el));
|
486
|
+
}
|
487
|
+
|
488
|
+
void IntervalSet::remove(ssize_t el) {
|
489
|
+
for (size_t i = 0; i < _intervals.size(); ++i) {
|
490
|
+
Interval &interval = _intervals[i];
|
491
|
+
ssize_t a = interval.a;
|
492
|
+
ssize_t b = interval.b;
|
493
|
+
if (el < a) {
|
494
|
+
break; // list is sorted and el is before this interval; not here
|
495
|
+
}
|
496
|
+
|
497
|
+
// if whole interval x..x, rm
|
498
|
+
if (el == a && el == b) {
|
499
|
+
_intervals.erase(_intervals.begin() + (long)i);
|
500
|
+
break;
|
501
|
+
}
|
502
|
+
// if on left edge x..b, adjust left
|
503
|
+
if (el == a) {
|
504
|
+
interval.a++;
|
505
|
+
break;
|
506
|
+
}
|
507
|
+
// if on right edge a..x, adjust right
|
508
|
+
if (el == b) {
|
509
|
+
interval.b--;
|
510
|
+
break;
|
511
|
+
}
|
512
|
+
// if in middle a..x..b, split interval
|
513
|
+
if (el > a && el < b) { // found in this interval
|
514
|
+
ssize_t oldb = interval.b;
|
515
|
+
interval.b = el - 1; // [a..x-1]
|
516
|
+
add(el + 1, oldb); // add [x+1..b]
|
517
|
+
|
518
|
+
break; // ml: not in the Java code but I believe we also should stop searching here, as we found x.
|
519
|
+
}
|
520
|
+
}
|
521
|
+
}
|