IndentationRules (IndentationRules other) { return new IndentationRules( other.myIncreaseIndentPattern != null ? other.myIncreaseIndentPattern : myIncreaseIndentPattern, other.myDecreaseIndentPattern != null ? other.myDecreaseIndentPattern : myDecreaseIndentPattern, other.myIndentNextLinePattern != null ? other.myIndentNextLinePattern : myIndentNextLinePattern, other.myUnIndentedLinePattern != null ? other.myUnIndentedLinePattern : myUnIndentedLinePattern ); }