diff options
author | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
---|---|---|
committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-11-10 13:56:53 +0100 |
commit | 1dd3124a9770e11b6684e5dd1e6bc15a0aa3bc67 (patch) | |
tree | 87a171383266dd1f64196589af081bc2f8e497c3 /tests/examplefiles/test.dart | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-master.tar.gz |
Diffstat (limited to 'tests/examplefiles/test.dart')
-rw-r--r-- | tests/examplefiles/test.dart | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/tests/examplefiles/test.dart b/tests/examplefiles/test.dart deleted file mode 100644 index aa1fb0ed..00000000 --- a/tests/examplefiles/test.dart +++ /dev/null @@ -1,23 +0,0 @@ -// Greeter example from -// <http://www.dartlang.org/docs/getting-started/interface.html> -class Greeter implements Comparable { - String prefix = 'Hello,'; - Greeter() {} - Greeter.withPrefix(this.prefix); - greet(String name) => print('$prefix $name'); - - int compareTo(Greeter other) => prefix.compareTo(other.prefix); -} - -void main() { - Greeter greeter = new Greeter(); - Greeter greeter2 = new Greeter.withPrefix('Hi,'); - - num result = greeter2.compareTo(greeter); - if (result == 0) { - greeter2.greet('you are the same.'); - } else { - greeter2.greet('you are different.'); - } -} - |