| OLD | NEW | 
|---|
| 1 // dynamic is not a subtype of dart.core::int (DeltaBlue.dart:139:16) | 1 // dynamic is not a subtype of dart.core::int (DeltaBlue.dart:139:16) | 
| 2 library; | 2 library; | 
| 3 import self as self; | 3 import self as self; | 
| 4 import "dart:core" as core; | 4 import "dart:core" as core; | 
| 5 | 5 | 
| 6 class DeltaBlue extends core::Object { | 6 class DeltaBlue extends core::Object { | 
| 7   constructor •() → void | 7   constructor •() → void | 
| 8     : super core::Object::•() | 8     : super core::Object::•() | 
| 9     ; | 9     ; | 
| 10   method run() → void { | 10   method run() → void { | 
| (...skipping 11 matching lines...) Expand all  Loading... | 
| 22     return const <self::Strength>[self::STRONG_PREFERRED, self::PREFERRED, self:
     :STRONG_DEFAULT, self::NORMAL, self::WEAK_DEFAULT, self::WEAKEST].{core::List::[
     ]}(this.{self::Strength::value}); | 22     return const <self::Strength>[self::STRONG_PREFERRED, self::PREFERRED, self:
     :STRONG_DEFAULT, self::NORMAL, self::WEAK_DEFAULT, self::WEAKEST].{core::List::[
     ]}(this.{self::Strength::value}); | 
| 23   static method stronger(self::Strength s1, self::Strength s2) → core::bool { | 23   static method stronger(self::Strength s1, self::Strength s2) → core::bool { | 
| 24     return s1.{self::Strength::value}.{core::num::<}(s2.{self::Strength::value})
     ; | 24     return s1.{self::Strength::value}.{core::num::<}(s2.{self::Strength::value})
     ; | 
| 25   } | 25   } | 
| 26   static method weaker(self::Strength s1, self::Strength s2) → core::bool { | 26   static method weaker(self::Strength s1, self::Strength s2) → core::bool { | 
| 27     return s1.{self::Strength::value}.{core::num::>}(s2.{self::Strength::value})
     ; | 27     return s1.{self::Strength::value}.{core::num::>}(s2.{self::Strength::value})
     ; | 
| 28   } | 28   } | 
| 29   static method weakest(self::Strength s1, self::Strength s2) → self::Strength { | 29   static method weakest(self::Strength s1, self::Strength s2) → self::Strength { | 
| 30     return self::Strength::weaker(s1, s2) ? s1 : s2; | 30     return self::Strength::weaker(s1, s2) ? s1 : s2; | 
| 31   } | 31   } | 
| 32   static method strongest(self::Strength s1, self::Strength s2) → self::Strength
      { |  | 
| 33     return self::Strength::stronger(s1, s2) ? s1 : s2; |  | 
| 34   } |  | 
| 35 } | 32 } | 
| 36 abstract class Constraint extends core::Object { | 33 abstract class Constraint extends core::Object { | 
| 37   final field self::Strength strength; | 34   final field self::Strength strength; | 
| 38   const constructor •(self::Strength strength) → void | 35   const constructor •(self::Strength strength) → void | 
| 39     : self::Constraint::strength = strength, super core::Object::•() | 36     : self::Constraint::strength = strength, super core::Object::•() | 
| 40     ; | 37     ; | 
| 41   abstract method isSatisfied() → core::bool; | 38   abstract method isSatisfied() → core::bool; | 
| 42   abstract method markUnsatisfied() → void; | 39   abstract method markUnsatisfied() → void; | 
| 43   abstract method addToGraph() → void; | 40   abstract method addToGraph() → void; | 
| 44   abstract method removeFromGraph() → void; | 41   abstract method removeFromGraph() → void; | 
| (...skipping 308 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 353   } | 350   } | 
| 354 } | 351 } | 
| 355 class Plan extends core::Object { | 352 class Plan extends core::Object { | 
| 356   field core::List<self::Constraint> list = <self::Constraint>[]; | 353   field core::List<self::Constraint> list = <self::Constraint>[]; | 
| 357   constructor •() → void | 354   constructor •() → void | 
| 358     : super core::Object::•() | 355     : super core::Object::•() | 
| 359     ; | 356     ; | 
| 360   method addConstraint(self::Constraint c) → void { | 357   method addConstraint(self::Constraint c) → void { | 
| 361     this.{self::Plan::list}.{core::List::add$cc}(c); | 358     this.{self::Plan::list}.{core::List::add$cc}(c); | 
| 362   } | 359   } | 
| 363   method size() → core::int |  | 
| 364     return this.{self::Plan::list}.{core::List::length}; |  | 
| 365   method execute() → void { | 360   method execute() → void { | 
| 366     for (core::int i = 0; i.{core::num::<}(this.{self::Plan::list}.{core::List::
     length}); i = i.{core::num::+}(1)) { | 361     for (core::int i = 0; i.{core::num::<}(this.{self::Plan::list}.{core::List::
     length}); i = i.{core::num::+}(1)) { | 
| 367       this.{self::Plan::list}.{core::List::[]}(i).{self::Constraint::execute}(); | 362       this.{self::Plan::list}.{core::List::[]}(i).{self::Constraint::execute}(); | 
| 368     } | 363     } | 
| 369   } | 364   } | 
| 370 } | 365 } | 
| 371 static const field self::Strength REQUIRED = const self::Strength::•(0, "require
     d"); | 366 static const field self::Strength REQUIRED = const self::Strength::•(0, "require
     d"); | 
| 372 static const field self::Strength STRONG_PREFERRED = const self::Strength::•(1, 
     "strongPreferred"); | 367 static const field self::Strength STRONG_PREFERRED = const self::Strength::•(1, 
     "strongPreferred"); | 
| 373 static const field self::Strength PREFERRED = const self::Strength::•(2, "prefer
     red"); | 368 static const field self::Strength PREFERRED = const self::Strength::•(2, "prefer
     red"); | 
| 374 static const field self::Strength STRONG_DEFAULT = const self::Strength::•(3, "s
     trongDefault"); | 369 static const field self::Strength STRONG_DEFAULT = const self::Strength::•(3, "s
     trongDefault"); | 
| (...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 442 } | 437 } | 
| 443 static method change(self::Variable v, core::int newValue) → void { | 438 static method change(self::Variable v, core::int newValue) → void { | 
| 444   self::EditConstraint edit = new self::EditConstraint::•(v, self::PREFERRED); | 439   self::EditConstraint edit = new self::EditConstraint::•(v, self::PREFERRED); | 
| 445   self::Plan plan = self::planner.{self::Planner::extractPlanFromConstraints}(<s
     elf::EditConstraint>[edit]); | 440   self::Plan plan = self::planner.{self::Planner::extractPlanFromConstraints}(<s
     elf::EditConstraint>[edit]); | 
| 446   for (core::int i = 0; i.{core::num::<}(10); i = i.{core::num::+}(1)) { | 441   for (core::int i = 0; i.{core::num::<}(10); i = i.{core::num::+}(1)) { | 
| 447     v.{self::Variable::value} = newValue; | 442     v.{self::Variable::value} = newValue; | 
| 448     plan.{self::Plan::execute}(); | 443     plan.{self::Plan::execute}(); | 
| 449   } | 444   } | 
| 450   edit.{self::Constraint::destroyConstraint}(); | 445   edit.{self::Constraint::destroyConstraint}(); | 
| 451 } | 446 } | 
| OLD | NEW | 
|---|