public NarrowSynthesisRewriteSubruleSpec(MatcherSettings <ShapeNode> matcherSettings, bool isIterative, int targetCount, RewriteSubrule subrule, int index) : base(matcherSettings, isIterative, subrule, index) { _rhs = subrule.Rhs; _targetCount = targetCount; }
protected SynthesisRewriteSubruleSpec(MatcherSettings <ShapeNode> matcherSettings, bool isIterative, RewriteSubrule subrule, int index) : base(matcherSettings, subrule.LeftEnvironment, subrule.RightEnvironment) { _isIterative = isIterative; _subrule = subrule; _index = index; }
public FeatureAnalysisRewriteRuleSpec(MatcherSettings <ShapeNode> matcherSettings, Pattern <Word, ShapeNode> lhs, RewriteSubrule subrule) : base(false) { var rhsAntiFSs = new List <FeatureStruct>(); foreach (Constraint <Word, ShapeNode> constraint in subrule.Rhs.Children .OfType <Constraint <Word, ShapeNode> >().Where(c => c.Type() == HCFeatureSystem.Segment)) { rhsAntiFSs.Add(constraint.FeatureStruct.AntiFeatureStruct()); } Pattern.Acceptable = match => IsUnapplicationNonvacuous(match, rhsAntiFSs); _analysisRhs = new Pattern <Word, ShapeNode>(); int i = 0; foreach (Tuple <PatternNode <Word, ShapeNode>, PatternNode <Word, ShapeNode> > tuple in lhs.Children .Zip(subrule.Rhs.Children)) { var lhsConstraint = (Constraint <Word, ShapeNode>)tuple.Item1; var rhsConstraint = (Constraint <Word, ShapeNode>)tuple.Item2; if (lhsConstraint.Type() == HCFeatureSystem.Segment && rhsConstraint.Type() == HCFeatureSystem.Segment) { Constraint <Word, ShapeNode> targetConstraint = lhsConstraint.Clone(); targetConstraint.FeatureStruct.PriorityUnion(rhsConstraint.FeatureStruct); targetConstraint.FeatureStruct.AddValue(HCFeatureSystem.Modified, HCFeatureSystem.Clean); Pattern.Children.Add(new Group <Word, ShapeNode>("target" + i) { Children = { targetConstraint } }); FeatureStruct fs = rhsConstraint.FeatureStruct.AntiFeatureStruct(); fs.Subtract(lhsConstraint.FeatureStruct.AntiFeatureStruct()); fs.AddValue(HCFeatureSystem.Type, HCFeatureSystem.Segment); _analysisRhs.Children.Add(new Constraint <Word, ShapeNode>(fs)); i++; } } Pattern.Freeze(); SubruleSpecs.Add(new AnalysisRewriteSubruleSpec(matcherSettings, subrule, Unapply)); }
public NarrowAnalysisRewriteRuleSpec(MatcherSettings <ShapeNode> matcherSettings, Pattern <Word, ShapeNode> lhs, RewriteSubrule subrule) : base(subrule.Rhs.IsEmpty) { _analysisRhs = lhs; _targetCount = subrule.Rhs.Children.Count; if (subrule.Rhs.IsEmpty) { Pattern.Children.Add(new Constraint <Word, ShapeNode>(FeatureStruct.New() .Symbol(HCFeatureSystem.Segment, HCFeatureSystem.Anchor).Value)); } else { Pattern.Children.AddRange(subrule.Rhs.Children.CloneItems()); } Pattern.Freeze(); SubruleSpecs.Add(new AnalysisRewriteSubruleSpec(matcherSettings, subrule, Unapply)); }
public FeatureSynthesisRewriteSubruleSpec(MatcherSettings <ShapeNode> matcherSettings, bool isIterative, RewriteSubrule subrule, int index) : base(matcherSettings, isIterative, subrule, index) { _rhs = subrule.Rhs; }
public AnalysisRewriteSubruleSpec(MatcherSettings <ShapeNode> matcherSettings, RewriteSubrule subrule, Action <Match <Word, ShapeNode>, Range <ShapeNode>, VariableBindings> applyAction) : base(matcherSettings, CreateEnvironmentPattern(subrule.LeftEnvironment), CreateEnvironmentPattern(subrule.RightEnvironment)) { _applyAction = applyAction; }
public EpenthesisAnalysisRewriteRuleSpec(MatcherSettings <ShapeNode> matcherSettings, RewriteSubrule subrule) : base(false) { Pattern.Acceptable = IsUnapplicationNonvacuous; _targetCount = subrule.Rhs.Children.Count; foreach (Constraint <Word, ShapeNode> constraint in subrule.Rhs.Children.Cast <Constraint <Word, ShapeNode> >()) { Constraint <Word, ShapeNode> newConstraint = constraint.Clone(); newConstraint.FeatureStruct.AddValue(HCFeatureSystem.Modified, HCFeatureSystem.Clean); Pattern.Children.Add(newConstraint); } Pattern.Freeze(); SubruleSpecs.Add(new AnalysisRewriteSubruleSpec(matcherSettings, subrule, Unapply)); }