private State(VM vm, RantPattern derivedSource, IEnumerable <Token <R> > tokens, ChannelStack output) { Output = output; Reader = new PatternReader(new RantPattern(derivedSource, tokens)); SharesOutput = (output == vm._output && vm.PrevState != null) || (vm._stateStack.Any() && output == vm._stateStack.Peek().Output); }
private static bool DoMath(VM interpreter, Token <R> firstToken, PatternReader reader, State state) { var tokens = reader.ReadToTokenInParentScope(firstToken.ID, Delimiters.All); interpreter.PushState(State.CreateSub(reader.Source, tokens, interpreter)); state.Pre(new DelegateBlueprint(interpreter, _ => { var expression = _.PopResultString().Trim(); var v = MathParser.Calculate(_, expression); if (!expression.EndsWith(";")) { _.Print(_.FormatNumber(v)); } return(false); })); return(true); }
public State(VM vm, RantPattern source, ChannelStack output) { Output = output; Reader = new PatternReader(source); SharesOutput = (output == vm._output && vm.PrevState != null) || (vm._stateStack.Any() && output == vm._stateStack.Peek().Output); }
private static bool DoQuery(VM interpreter, Token <R> firstToken, PatternReader reader, State state) { reader.SkipSpace(); bool storeMacro = false; bool macroIsGlobal = false; string macroName = null; // Check if this is a macro if (reader.Take(R.At)) { reader.SkipSpace(); var macroNameToken = reader.Read(R.Text, "query macro name"); macroName = macroNameToken.Value; reader.SkipSpace(); // Check if the macro is a definition or a call. // A definition will start with a colon ':' or equals '=' after the name. A call will only consist of the name. switch (reader.ReadToken().ID) { case R.Colon: // Local definition { if (!ValidateName(macroNameToken.Value)) { throw Error(reader.Source, macroNameToken, "Invalid macro name: '\{macroNameToken.Value}'"); } storeMacro = true; } break; case R.Equal: // Global definition { if (!ValidateName(macroNameToken.Value)) { throw Error(reader.Source, macroNameToken, "Invalid macro name: '\{macroNameToken.Value}'"); } storeMacro = true; macroIsGlobal = true; } break; case R.RightAngle: // Call { Query q; var mNameSub = macroNameToken.Value.Split(new[] { '.' }, StringSplitOptions.None); if (!interpreter.LocalQueryMacros.TryGetValue(mNameSub[0], out q) && !interpreter.Engine.GlobalQueryMacros.TryGetValue(mNameSub[0], out q)) { throw new RantException(reader.Source, macroNameToken, "Nonexistent query macro '\{macroName}'"); } if (mNameSub.Length > 2) { throw Error(reader.Source, firstToken, "Invald subtype accessor on macro call."); } var oldSub = q.Subtype; if (mNameSub.Length == 2) { q.Subtype = mNameSub[1]; } interpreter.Print(interpreter.Engine.Dictionary?.Query(interpreter.RNG, q, interpreter.QueryState)); q.Subtype = oldSub; return(false); } } } else if (reader.Take(R.DoubleColon)) // Carrier reset { Token <R> token; while ((token = reader.ReadToken()).ID != R.RightAngle) { switch (token.ID) { case R.At: interpreter.QueryState.DeleteAssociation(reader.ReadLoose(R.Text, "associative carrier name").Value); break; case R.Exclamation: interpreter.QueryState.DeleteUnique(reader.ReadLoose(R.Text, "unique carrier name").Value); break; case R.Equal: interpreter.QueryState.DeleteMatch(reader.ReadLoose(R.Text, "match carrier name").Value); break; case R.Ampersand: interpreter.QueryState.DeleteRhyme(reader.ReadLoose(R.Text, "rhyme carrier name").Value); break; default: throw Error(reader.Source, token, "Unrecognized token in carrier reset: '\{token.Value}'"); } reader.SkipSpace(); } return(false); } reader.SkipSpace(); var namesub = reader.Read(R.Text, "dictionary name").Split(new[] { '.' }, 2).ToArray(); reader.SkipSpace(); bool exclusive = reader.Take(R.Dollar); List <Tuple <bool, string> > cfList = null; List <Tuple <bool, string>[]> classFilterList = null; List <Tuple <bool, Regex> > regList = null; Carrier carrier = null; SyllablePredicateFunc syllableRange = null; Token <R> queryToken = null; if (reader.IsNext(R.RangeLiteral)) { syllableRange = SyllablePredicate.Create(reader.ReadToken()); } // Read query arguments while (true) { reader.SkipSpace(); if (reader.Take(R.Hyphen)) { reader.SkipSpace(); // Initialize the filter list. (cfList ?? (cfList = new List <Tuple <bool, string> >())).Clear(); do { bool notin = reader.Take(R.Exclamation); reader.SkipSpace(); if (notin && exclusive) { throw new RantException(reader.Source, reader.PrevToken, "Cannot use the '!' modifier on exclusive class filters."); } cfList.Add(Tuple.Create(!notin, reader.Read(R.Text, "class identifier").Value.Trim())); reader.SkipSpace(); } while (reader.Take(R.Pipe)); (classFilterList ?? (classFilterList = new List <Tuple <bool, string>[]>())).Add(cfList.ToArray()); } else if (reader.Take(R.Question)) { reader.SkipSpace(); queryToken = reader.Read(R.Regex, "regex"); (regList ?? (regList = new List <Tuple <bool, Regex> >())).Add(Tuple.Create(true, ParseRegex(queryToken.Value))); } else if (reader.Take(R.Without)) { reader.SkipSpace(); queryToken = reader.Read(R.Regex, "regex"); (regList ?? (regList = new List <Tuple <bool, Regex> >())).Add(Tuple.Create(false, ParseRegex(queryToken.Value))); } else if (reader.Take(R.DoubleColon)) // Start of carrier { reader.SkipSpace(); carrier = new Carrier(); Token <R> typeToken; CarrierComponent comp = CarrierComponent.Match; while ((typeToken = reader.ReadToken()).ID != R.RightAngle) { switch (typeToken.ID) { case R.Exclamation: // Unique comp = reader.Take(R.Equal) ? CarrierComponent.MatchUnique : CarrierComponent.Unique; break; case R.Equal: // Match comp = CarrierComponent.Match; break; case R.Ampersand: // Rhyme comp = CarrierComponent.Rhyme; break; case R.At: // Associative/Relational/Dissociative/Divergent { if (reader.Take(R.Question)) { comp = reader.Take(R.Equal) ? CarrierComponent.MatchRelational : CarrierComponent.Relational; } else if (reader.Take(R.Exclamation)) { comp = reader.Take(R.Equal) ? CarrierComponent.MatchDissociative : CarrierComponent.Dissociative; } else if (reader.Take(R.Plus)) { comp = reader.Take(R.Equal) ? CarrierComponent.MatchDivergent : CarrierComponent.Divergent; } else { comp = reader.Take(R.Equal) ? CarrierComponent.MatchAssociative : CarrierComponent.Associative; } } break; default: throw new RantException(reader.Source, typeToken, "Unrecognized token '\{typeToken.Value}' in carrier."); } carrier.AddComponent(comp, reader.ReadLoose(R.Text, "carrier component name").Value); reader.SkipSpace(); } break; }