OLD | NEW |
1 library; | 1 library; |
2 import self as self; | 2 import self as self; |
3 import "dart:core" as core; | 3 import "dart:core" as core; |
4 | 4 |
5 class DeltaBlue extends core::Object { | 5 class DeltaBlue extends core::Object { |
6 constructor •() → void | 6 constructor •() → void |
7 : super core::Object::•() | 7 : super core::Object::•() |
8 ; | 8 ; |
9 method run() → void { | 9 method run() → void { |
10 self::chainTest(100); | 10 self::chainTest(100); |
(...skipping 430 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
441 } | 441 } |
442 static method change(self::Variable v, core::int newValue) → void { | 442 static method change(self::Variable v, core::int newValue) → void { |
443 self::EditConstraint edit = new self::EditConstraint::•(v, self::PREFERRED); | 443 self::EditConstraint edit = new self::EditConstraint::•(v, self::PREFERRED); |
444 self::Plan plan = self::planner.extractPlanFromConstraints(<self::EditConstrai
nt>[edit]); | 444 self::Plan plan = self::planner.extractPlanFromConstraints(<self::EditConstrai
nt>[edit]); |
445 for (core::int i = 0; i.<(10); i = i.+(1)) { | 445 for (core::int i = 0; i.<(10); i = i.+(1)) { |
446 v.value = newValue; | 446 v.value = newValue; |
447 plan.execute(); | 447 plan.execute(); |
448 } | 448 } |
449 edit.destroyConstraint(); | 449 edit.destroyConstraint(); |
450 } | 450 } |
OLD | NEW |