source: trunk/t3q-examples @ 40

Name Size Rev Age Author Last Change
../
checkExternalFunctionInvocationPrecededByLogStatement 4   14 years phdmakk
checkFunctionsModuleContainmentCheck 4   14 years phdmakk
checkImportsComeFirst 4   14 years phdmakk
checkInconcOrFailSetVerdictPrecededByLog 4   14 years phdmakk
checkInterfaceModuleContainmentCheck 37   14 years phdmakk + changed example to reflect a changed requirement
checkLocalDefinitionsComeFirst 4   14 years phdmakk
checkLogFormat 39   14 years phdmakk + improved log format example
checkModuleParamsModuleContainmentCheck 4   14 years phdmakk
checkNoAllKeywordInPortDefinitions 4   14 years phdmakk
checkNoAnyTypeKeyword 4   14 years phdmakk
checkNoInlineTemplates 4   14 years phdmakk
checkNoLabelsOrGotoStatements 4   14 years phdmakk
checkNoLiterals 4   14 years phdmakk
checkNoModifiedTemplateOfModifiedTemplate 4   14 years phdmakk
checkNoNestedAltStatements 4   14 years phdmakk
checkNoOverSpecificRunsOn 4   14 years phdmakk
checkNoPermutationKeyword 4   14 years phdmakk
checkNoUnusedFormalParameters 4   14 years phdmakk
checkNoUnusedImports 4   14 years phdmakk
checkNoUnusedLocalDefinitions 4   14 years phdmakk
checkPortMessageGrouping 4   14 years phdmakk
checkTemplatesModuleContainmentCheck 4   14 years phdmakk
checkTestcasesModuleContainmentCheck 4   14 years phdmakk
checkTestcasesModuleImportsLibCommon_Sync 4   14 years phdmakk
checkTestControlModuleContainmentCheck 4   14 years phdmakk
checkTestSystemModuleContainmentCheck 4   14 years phdmakk
checkTypeDefOrderInGroup 11   14 years phdmakk + updated example (related to #4)
checkTypesAndValuesModuleContainmentCheck 4   14 years phdmakk
checkTypesAndValuesModuleImportsLibCommon 4   14 years phdmakk
checkZeroReferencedModuleDefinitions 4   14 years phdmakk
CodeFormatting 4   14 years phdmakk
Identifiers 4   14 years phdmakk
NamingConventions 4   14 years phdmakk
PrettyPrintingAndFormatting-Preliminary 4   14 years phdmakk
.project 375 bytes 4   14 years phdmakk
Note: See TracBrowser for help on using the repository browser.