Contract
Parameter key	Default value	Type
name	req
start	req
end	req
a_string	req
Parameter kind	Default value	Type
Other unkeyed arguments	opt

Water Contract
<class string_segment name =req start =req end =req a_string=req _other_unkeyed=opt=wob=ekind.code="_add_to_environment" />

string_segment is a class whose instances represent pieces of larger strings.

<string_segment name="call_kind" start=4 end=10 a_string="method"/>

The above represents a piece of the string "somemethod". Normally string_segments are created with the method pattern.get_string_segments.

a wob
Parameter key Default value Type
name req
The name of the string segment.

a wob
Parameter key Default value Type
start req
The position of the first character of the string segment as an integer.

a wob
Parameter key Default value Type
end req
The position of the character immediately after the last character of the string_segment as an integer.

a wob
Parameter key Default value Type
a_string req
The actual substring that the string_segment refers to.

a wob
Parameter key Default value Type
_other_unkeyed opt
A string_segment may have any number of other nested string segments. These segments will have start and end positions relative to the entire string, not relative to the start of the wrapper for a nested string_segment.