| Index: pkg/front_end/testcases/DeltaBlue.dart.outline.expect
|
| diff --git a/pkg/front_end/testcases/DeltaBlue.dart.outline.expect b/pkg/front_end/testcases/DeltaBlue.dart.outline.expect
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..a850da395fe286cca349da6cb7115a5e818f781c
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/DeltaBlue.dart.outline.expect
|
| @@ -0,0 +1,202 @@
|
| +library;
|
| +import self as self;
|
| +import "dart:core" as core;
|
| +
|
| +class DeltaBlue extends core::Object {
|
| + constructor •() → void
|
| + ;
|
| + method run() → void
|
| + ;
|
| +}
|
| +class Strength extends core::Object {
|
| + final field core::int value;
|
| + final field core::String name;
|
| + const constructor •(dynamic value, dynamic name) → void
|
| + ;
|
| + method nextWeaker() → self::Strength
|
| + ;
|
| + static method stronger(self::Strength s1, self::Strength s2) → core::bool
|
| + ;
|
| + static method weaker(self::Strength s1, self::Strength s2) → core::bool
|
| + ;
|
| + static method weakest(self::Strength s1, self::Strength s2) → self::Strength
|
| + ;
|
| + static method strongest(self::Strength s1, self::Strength s2) → self::Strength
|
| + ;
|
| +}
|
| +abstract class Constraint extends core::Object {
|
| + final field self::Strength strength;
|
| + const constructor •(dynamic strength) → void
|
| + ;
|
| + abstract method isSatisfied() → core::bool;
|
| + abstract method markUnsatisfied() → void;
|
| + abstract method addToGraph() → void;
|
| + abstract method removeFromGraph() → void;
|
| + abstract method chooseMethod(core::int mark) → void;
|
| + abstract method markInputs(core::int mark) → void;
|
| + abstract method inputsKnown(core::int mark) → core::bool;
|
| + abstract method output() → self::Variable;
|
| + abstract method execute() → void;
|
| + abstract method recalculate() → void;
|
| + method addConstraint() → void
|
| + ;
|
| + method satisfy(dynamic mark) → self::Constraint
|
| + ;
|
| + method destroyConstraint() → void
|
| + ;
|
| + method isInput() → core::bool
|
| + ;
|
| +}
|
| +abstract class UnaryConstraint extends self::Constraint {
|
| + final field self::Variable myOutput;
|
| + field core::bool satisfied;
|
| + constructor •(dynamic myOutput, self::Strength strength) → void
|
| + ;
|
| + method addToGraph() → void
|
| + ;
|
| + method chooseMethod(core::int mark) → void
|
| + ;
|
| + method isSatisfied() → core::bool
|
| + ;
|
| + method markInputs(core::int mark) → void
|
| + ;
|
| + method output() → self::Variable
|
| + ;
|
| + method recalculate() → void
|
| + ;
|
| + method markUnsatisfied() → void
|
| + ;
|
| + method inputsKnown(core::int mark) → core::bool
|
| + ;
|
| + method removeFromGraph() → void
|
| + ;
|
| +}
|
| +class StayConstraint extends self::UnaryConstraint {
|
| + constructor •(self::Variable v, self::Strength str) → void
|
| + ;
|
| + method execute() → void
|
| + ;
|
| +}
|
| +class EditConstraint extends self::UnaryConstraint {
|
| + constructor •(self::Variable v, self::Strength str) → void
|
| + ;
|
| + method isInput() → core::bool
|
| + ;
|
| + method execute() → void
|
| + ;
|
| +}
|
| +abstract class BinaryConstraint extends self::Constraint {
|
| + field self::Variable v1;
|
| + field self::Variable v2;
|
| + field core::int direction;
|
| + constructor •(dynamic v1, dynamic v2, self::Strength strength) → void
|
| + ;
|
| + method chooseMethod(core::int mark) → void
|
| + ;
|
| + method addToGraph() → void
|
| + ;
|
| + method isSatisfied() → core::bool
|
| + ;
|
| + method markInputs(core::int mark) → void
|
| + ;
|
| + method input() → self::Variable
|
| + ;
|
| + method output() → self::Variable
|
| + ;
|
| + method recalculate() → void
|
| + ;
|
| + method markUnsatisfied() → void
|
| + ;
|
| + method inputsKnown(core::int mark) → core::bool
|
| + ;
|
| + method removeFromGraph() → void
|
| + ;
|
| +}
|
| +class ScaleConstraint extends self::BinaryConstraint {
|
| + final field self::Variable scale;
|
| + final field self::Variable offset;
|
| + constructor •(self::Variable src, dynamic scale, dynamic offset, self::Variable dest, self::Strength strength) → void
|
| + ;
|
| + method addToGraph() → void
|
| + ;
|
| + method removeFromGraph() → void
|
| + ;
|
| + method markInputs(core::int mark) → void
|
| + ;
|
| + method execute() → void
|
| + ;
|
| + method recalculate() → void
|
| + ;
|
| +}
|
| +class EqualityConstraint extends self::BinaryConstraint {
|
| + constructor •(self::Variable v1, self::Variable v2, self::Strength strength) → void
|
| + ;
|
| + method execute() → void
|
| + ;
|
| +}
|
| +class Variable extends core::Object {
|
| + field core::List<self::Constraint> constraints;
|
| + field self::Constraint determinedBy;
|
| + field core::int mark;
|
| + field self::Strength walkStrength;
|
| + field core::bool stay;
|
| + field core::int value;
|
| + final field core::String name;
|
| + constructor •(dynamic name, dynamic value) → void
|
| + ;
|
| + method addConstraint(self::Constraint c) → void
|
| + ;
|
| + method removeConstraint(self::Constraint c) → void
|
| + ;
|
| +}
|
| +class Planner extends core::Object {
|
| + field core::int currentMark;
|
| + constructor •() → void
|
| + ;
|
| + method incrementalAdd(self::Constraint c) → void
|
| + ;
|
| + method incrementalRemove(self::Constraint c) → void
|
| + ;
|
| + method newMark() → core::int
|
| + ;
|
| + method makePlan(core::List<self::Constraint> sources) → self::Plan
|
| + ;
|
| + method extractPlanFromConstraints(core::List<self::Constraint> constraints) → self::Plan
|
| + ;
|
| + method addPropagate(self::Constraint c, core::int mark) → core::bool
|
| + ;
|
| + method removePropagateFrom(self::Variable out) → core::List<self::Constraint>
|
| + ;
|
| + method addConstraintsConsumingTo(self::Variable v, core::List<self::Constraint> coll) → void
|
| + ;
|
| +}
|
| +class Plan extends core::Object {
|
| + field core::List<self::Constraint> list;
|
| + constructor •() → void
|
| + ;
|
| + method addConstraint(self::Constraint c) → void
|
| + ;
|
| + method size() → core::int
|
| + ;
|
| + method execute() → void
|
| + ;
|
| +}
|
| +static const field dynamic REQUIRED;
|
| +static const field dynamic STRONG_PREFERRED;
|
| +static const field dynamic PREFERRED;
|
| +static const field dynamic STRONG_DEFAULT;
|
| +static const field dynamic NORMAL;
|
| +static const field dynamic WEAK_DEFAULT;
|
| +static const field dynamic WEAKEST;
|
| +static const field core::int NONE;
|
| +static const field core::int FORWARD;
|
| +static const field core::int BACKWARD;
|
| +static field self::Planner planner;
|
| +static method main() → dynamic
|
| + ;
|
| +static method chainTest(core::int n) → void
|
| + ;
|
| +static method projectionTest(core::int n) → void
|
| + ;
|
| +static method change(self::Variable v, core::int newValue) → void
|
| + ;
|
|
|