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/example.kt | |
parent | f1c080e184dc1bbc36eaa7cd729ff3a499de568a (diff) | |
download | pygments-master.tar.gz |
Diffstat (limited to 'tests/examplefiles/example.kt')
-rw-r--r-- | tests/examplefiles/example.kt | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/tests/examplefiles/example.kt b/tests/examplefiles/example.kt deleted file mode 100644 index 59291333..00000000 --- a/tests/examplefiles/example.kt +++ /dev/null @@ -1,47 +0,0 @@ -package addressbook - -class Contact( - val name : String, - val emails : List<EmailAddress>, - val addresses : List<PostalAddress>, - val phonenums : List<PhoneNumber> -) - -class EmailAddress( - val user : String, - val host : String -) - -class PostalAddress( - val streetAddress : String, - val city : String, - val zip : String, - val state : USState?, - val country : Country -) { - assert {(state == null) xor (country == Countries["US"]) } -} - -class PhoneNumber( - val country : Country, - val areaCode : Int, - val number : Long -) - -object Countries { - fun get(id : CountryID) : Country = countryTable[id] - - private var table : Map<String, Country>? = null - private val countryTable : Map<String, Country> - get() { - if (table == null) { - table = HashMap() - for (line in TextFile("countries.txt").lines(stripWhiteSpace = true)) { - table[line] = Country(line) - } - } - return table - } -} - -class Country(val name : String)
\ No newline at end of file |