/test/lib/string/test_fixed_string.e
http://github.com/tybor/Liberty · Specman e · 40 lines · 33 code · 7 blank · 0 comment · 0 complexity · a12b120e0b272840b1ff1a363906abbd MD5 · raw file
- class TEST_FIXED_STRING
- insert
- EIFFELTEST_TOOLS
- STRING_HANDLER
- create {}
- make
- feature {}
- make
- local
- fs: FIXED_STRING; s: STRING; p: POINTER
- do
- s := "foo"
- fs := s.intern
- assert(s.is_equal(fs))
- fs := "foobar".intern.substring(2, 4)
- assert(fs.is_shared)
- assert(fs.is_equal("oob"))
- assert(fs.out.is_equal("oob"))
- assert(fs.substring(1, 1).is_equal("o"))
- fs.unshare
- assert(not fs.is_shared)
- assert(fs.is_equal("oob"))
- assert(fs.out.is_equal("oob"))
- assert(fs.substring(1, 1).is_equal("o"))
- fs := "riri fifi loulou".intern.substring(6, 9)
- assert(fs.is_equal("fifi"))
- assert(fs.is_shared)
- p := fs.to_external
- assert(not fs.is_shared)
- create s.from_external(p) -- NOTE: don't do that in real code! you'll end up with a shared storage with a way to change a fixed string
- assert(s.is_equal("fifi"))
- end
- end -- class TEST_FIXED_STRING