void function ( OptionalBoolean arg0 ) { if ( state == arg0 . state ) { } else if ( state == State . UNSET ) { state = arg0 . state ; } else if ( arg0 . state == State . UNSET ) { } else { state = State . CONFLICTING ; } }
state transitions : if the states are the same then no change if either state is unset then change to the other state if the states are conflicting then set to the conflicting state concode_field_sep boolean valueIfUnset concode_elem_sep boolean valueIfConflicting concode_elem_sep State state concode_field_sep void set concode_elem_sep State getState concode_elem_sep boolean get concode_elem_sep boolean conflictsWith concode_elem_sep void unset