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));
}
