This shows you the differences between two versions of the page.
dev:hstring [2016/02/25 13:33] – created - external edit 127.0.0.1 | dev:hstring [2022/12/20 11:26] (current) – [HString] ursgraf | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== HString ====== | ====== HString ====== | ||
- | **deep** was developed with efficiency and speed in mind. String handling in Java is not very efficient. However, strings are widely used in a compiler. Therefore, we don't use regular Java strings ('' | + | **deep** was developed with efficiency and speed in mind. String handling in Java is not very efficient. However, strings are widely used in a compiler. Therefore, we don't use regular Java strings ('' |
* A HString must be registered before it can be used. A table contains all the registered HStrings. | * A HString must be registered before it can be used. A table contains all the registered HStrings. | ||
* A registered HString exists exactly once. If two HStrings like "Hello World" are created and registered both references point to the same HString-object! | * A registered HString exists exactly once. If two HStrings like "Hello World" are created and registered both references point to the same HString-object! |