OLD | NEW |
(Empty) | |
| 1 library; |
| 2 import self as self; |
| 3 import "dart:core" as core; |
| 4 |
| 5 class DeltaBlue extends core::Object { |
| 6 constructor •() → void |
| 7 ; |
| 8 method run() → void |
| 9 ; |
| 10 } |
| 11 class Strength extends core::Object { |
| 12 final field core::int value; |
| 13 final field core::String name; |
| 14 const constructor •(dynamic value, dynamic name) → void |
| 15 ; |
| 16 method nextWeaker() → self::Strength |
| 17 ; |
| 18 static method stronger(self::Strength s1, self::Strength s2) → core::bool |
| 19 ; |
| 20 static method weaker(self::Strength s1, self::Strength s2) → core::bool |
| 21 ; |
| 22 static method weakest(self::Strength s1, self::Strength s2) → self::Strength |
| 23 ; |
| 24 static method strongest(self::Strength s1, self::Strength s2) → self::Strength |
| 25 ; |
| 26 } |
| 27 abstract class Constraint extends core::Object { |
| 28 final field self::Strength strength; |
| 29 const constructor •(dynamic strength) → void |
| 30 ; |
| 31 abstract method isSatisfied() → core::bool; |
| 32 abstract method markUnsatisfied() → void; |
| 33 abstract method addToGraph() → void; |
| 34 abstract method removeFromGraph() → void; |
| 35 abstract method chooseMethod(core::int mark) → void; |
| 36 abstract method markInputs(core::int mark) → void; |
| 37 abstract method inputsKnown(core::int mark) → core::bool; |
| 38 abstract method output() → self::Variable; |
| 39 abstract method execute() → void; |
| 40 abstract method recalculate() → void; |
| 41 method addConstraint() → void |
| 42 ; |
| 43 method satisfy(dynamic mark) → self::Constraint |
| 44 ; |
| 45 method destroyConstraint() → void |
| 46 ; |
| 47 method isInput() → core::bool |
| 48 ; |
| 49 } |
| 50 abstract class UnaryConstraint extends self::Constraint { |
| 51 final field self::Variable myOutput; |
| 52 field core::bool satisfied; |
| 53 constructor •(dynamic myOutput, self::Strength strength) → void |
| 54 ; |
| 55 method addToGraph() → void |
| 56 ; |
| 57 method chooseMethod(core::int mark) → void |
| 58 ; |
| 59 method isSatisfied() → core::bool |
| 60 ; |
| 61 method markInputs(core::int mark) → void |
| 62 ; |
| 63 method output() → self::Variable |
| 64 ; |
| 65 method recalculate() → void |
| 66 ; |
| 67 method markUnsatisfied() → void |
| 68 ; |
| 69 method inputsKnown(core::int mark) → core::bool |
| 70 ; |
| 71 method removeFromGraph() → void |
| 72 ; |
| 73 } |
| 74 class StayConstraint extends self::UnaryConstraint { |
| 75 constructor •(self::Variable v, self::Strength str) → void |
| 76 ; |
| 77 method execute() → void |
| 78 ; |
| 79 } |
| 80 class EditConstraint extends self::UnaryConstraint { |
| 81 constructor •(self::Variable v, self::Strength str) → void |
| 82 ; |
| 83 method isInput() → core::bool |
| 84 ; |
| 85 method execute() → void |
| 86 ; |
| 87 } |
| 88 abstract class BinaryConstraint extends self::Constraint { |
| 89 field self::Variable v1; |
| 90 field self::Variable v2; |
| 91 field core::int direction; |
| 92 constructor •(dynamic v1, dynamic v2, self::Strength strength) → void |
| 93 ; |
| 94 method chooseMethod(core::int mark) → void |
| 95 ; |
| 96 method addToGraph() → void |
| 97 ; |
| 98 method isSatisfied() → core::bool |
| 99 ; |
| 100 method markInputs(core::int mark) → void |
| 101 ; |
| 102 method input() → self::Variable |
| 103 ; |
| 104 method output() → self::Variable |
| 105 ; |
| 106 method recalculate() → void |
| 107 ; |
| 108 method markUnsatisfied() → void |
| 109 ; |
| 110 method inputsKnown(core::int mark) → core::bool |
| 111 ; |
| 112 method removeFromGraph() → void |
| 113 ; |
| 114 } |
| 115 class ScaleConstraint extends self::BinaryConstraint { |
| 116 final field self::Variable scale; |
| 117 final field self::Variable offset; |
| 118 constructor •(self::Variable src, dynamic scale, dynamic offset, self::Variabl
e dest, self::Strength strength) → void |
| 119 ; |
| 120 method addToGraph() → void |
| 121 ; |
| 122 method removeFromGraph() → void |
| 123 ; |
| 124 method markInputs(core::int mark) → void |
| 125 ; |
| 126 method execute() → void |
| 127 ; |
| 128 method recalculate() → void |
| 129 ; |
| 130 } |
| 131 class EqualityConstraint extends self::BinaryConstraint { |
| 132 constructor •(self::Variable v1, self::Variable v2, self::Strength strength) →
void |
| 133 ; |
| 134 method execute() → void |
| 135 ; |
| 136 } |
| 137 class Variable extends core::Object { |
| 138 field core::List<self::Constraint> constraints; |
| 139 field self::Constraint determinedBy; |
| 140 field core::int mark; |
| 141 field self::Strength walkStrength; |
| 142 field core::bool stay; |
| 143 field core::int value; |
| 144 final field core::String name; |
| 145 constructor •(dynamic name, dynamic value) → void |
| 146 ; |
| 147 method addConstraint(self::Constraint c) → void |
| 148 ; |
| 149 method removeConstraint(self::Constraint c) → void |
| 150 ; |
| 151 } |
| 152 class Planner extends core::Object { |
| 153 field core::int currentMark; |
| 154 constructor •() → void |
| 155 ; |
| 156 method incrementalAdd(self::Constraint c) → void |
| 157 ; |
| 158 method incrementalRemove(self::Constraint c) → void |
| 159 ; |
| 160 method newMark() → core::int |
| 161 ; |
| 162 method makePlan(core::List<self::Constraint> sources) → self::Plan |
| 163 ; |
| 164 method extractPlanFromConstraints(core::List<self::Constraint> constraints) →
self::Plan |
| 165 ; |
| 166 method addPropagate(self::Constraint c, core::int mark) → core::bool |
| 167 ; |
| 168 method removePropagateFrom(self::Variable out) → core::List<self::Constraint> |
| 169 ; |
| 170 method addConstraintsConsumingTo(self::Variable v, core::List<self::Constraint
> coll) → void |
| 171 ; |
| 172 } |
| 173 class Plan extends core::Object { |
| 174 field core::List<self::Constraint> list; |
| 175 constructor •() → void |
| 176 ; |
| 177 method addConstraint(self::Constraint c) → void |
| 178 ; |
| 179 method size() → core::int |
| 180 ; |
| 181 method execute() → void |
| 182 ; |
| 183 } |
| 184 static const field dynamic REQUIRED; |
| 185 static const field dynamic STRONG_PREFERRED; |
| 186 static const field dynamic PREFERRED; |
| 187 static const field dynamic STRONG_DEFAULT; |
| 188 static const field dynamic NORMAL; |
| 189 static const field dynamic WEAK_DEFAULT; |
| 190 static const field dynamic WEAKEST; |
| 191 static const field core::int NONE; |
| 192 static const field core::int FORWARD; |
| 193 static const field core::int BACKWARD; |
| 194 static field self::Planner planner; |
| 195 static method main() → dynamic |
| 196 ; |
| 197 static method chainTest(core::int n) → void |
| 198 ; |
| 199 static method projectionTest(core::int n) → void |
| 200 ; |
| 201 static method change(self::Variable v, core::int newValue) → void |
| 202 ; |
OLD | NEW |