boolean function ( ProtocolMessage arg0 ) { for ( ModifiableVariableHolder loc0 : arg0 . getAllModifiableVariableHolders ( ) ) { for ( Field loc1 : loc0 . getAllModifiableVariableFields ( ) ) { if ( containsModifiableVariableModification ( loc0 , loc1 ) ) { return true ; } } } return false ; }
analyzes the modifiable variable holder and returns true in case this holder contains a modification concode_field_sep Logger LOGGER concode_field_sep int getMissingMessagePosition concode_elem_sep ProtocolMessage getNextProtocolMessageFromPeer concode_elem_sep boolean containsServerFinishedWithModifiedHandshake concode_elem_sep AnalyzerResponse containsAlertAfterMissingMessage concode_elem_sep int getModifiedMessagePosition concode_elem_sep boolean containsServerFinishedMessage concode_elem_sep boolean checkConfiguredProtocolMessagesOrder concode_elem_sep boolean containsModifiedHandshake concode_elem_sep AnalyzerResponse containsAlertAfterUnexpectedMessage concode_elem_sep boolean containsModifiedMessage concode_elem_sep boolean containsFullWorkflowWithModifiedMessage concode_elem_sep AnalyzerResponse containsAlertAfterModifiedMessage concode_elem_sep boolean containsFullWorkflowWithMissingMessage concode_elem_sep int getUnexpectedMessagePosition concode_elem_sep int getServerFinishedMessagePosition concode_elem_sep boolean containsMissingMessage concode_elem_sep boolean containsUnexpectedMessage concode_elem_sep boolean containsFullWorkflow