哈.mdl

来自「一个从UML的状态图的MDL文件获取测试用例的源码」· MDL 代码 · 共 2,350 行 · 第 1/5 页

MDL
2,350 行
字号
12345
				name       	"None"
				value      	225)
			    (object Attribute
				tool       	"Ada95"
				name       	"InitializationOnly"
				value      	226)
			    (object Attribute
				tool       	"Ada95"
				name       	"AssignmentFinalizationOnly"
				value      	227)
			    (object Attribute
				tool       	"Ada95"
				name       	"All"
				value      	228)))
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateAccessTypeSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Always"
				value      	229)
			    (object Attribute
				tool       	"Ada95"
				name       	"Auto"
				value      	230)))))
	    (object Attribute
		tool       	"Ada95"
		name       	"default__Module-Spec"
		value      	(list Attribute_Set
		    (object Attribute
			tool       	"Ada95"
			name       	"Generate"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"CopyrightNotice"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"FileName"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"ReturnType"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"GenericFormalParameters"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"AdditionalWiths"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"IsPrivate"
			value      	FALSE)))
	    (object Attribute
		tool       	"Ada95"
		name       	"default__Module-Body"
		value      	(list Attribute_Set
		    (object Attribute
			tool       	"Ada95"
			name       	"Generate"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"CopyrightNotice"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"FileName"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"ReturnType"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"AdditionalWiths"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"IsSubunit"
			value      	FALSE)))
	    (object Attribute
		tool       	"Ada95"
		name       	"default__Operation"
		value      	(list Attribute_Set
		    (object Attribute
			tool       	"Ada95"
			name       	"CodeName"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"SubprogramImplementation"
			value      	("SubprogramImplementationSet" 2))
		    (object Attribute
			tool       	"Ada95"
			name       	"Renames"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateOverriding"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"ImplicitParameterMode"
			value      	("ParameterModeSet" 203))
		    (object Attribute
			tool       	"Ada95"
			name       	"ImplicitParameterClassWide"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateAccessOperation"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"Inline"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"EntryCode"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"ExitCode"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"InitialCodeBody"
			value      	"${default}")
		    (object Attribute
			tool       	"Ada95"
			name       	"EntryBarrierCondition"
			value      	"True")
		    (object Attribute
			tool       	"Ada95"
			name       	"Representation"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"SubprogramImplementationSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Spec"
				value      	224)
			    (object Attribute
				tool       	"Ada95"
				name       	"Body"
				value      	2)
			    (object Attribute
				tool       	"Ada95"
				name       	"Abstract"
				value      	221)
			    (object Attribute
				tool       	"Ada95"
				name       	"Renaming"
				value      	222)
			    (object Attribute
				tool       	"Ada95"
				name       	"RenamingAsBody"
				value      	231)
			    (object Attribute
				tool       	"Ada95"
				name       	"Separate"
				value      	223)))
		    (object Attribute
			tool       	"Ada95"
			name       	"ParameterModeSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"In"
				value      	204)
			    (object Attribute
				tool       	"Ada95"
				name       	"Out"
				value      	205)
			    (object Attribute
				tool       	"Ada95"
				name       	"InOut"
				value      	203)
			    (object Attribute
				tool       	"Ada95"
				name       	"Access"
				value      	220)
			    (object Attribute
				tool       	"Ada95"
				name       	"DoNotCreate"
				value      	201)))))
	    (object Attribute
		tool       	"Ada95"
		name       	"default__Has"
		value      	(list Attribute_Set
		    (object Attribute
			tool       	"Ada95"
			name       	"CodeName"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"NameIfUnlabeled"
			value      	"The_${supplier}")
		    (object Attribute
			tool       	"Ada95"
			name       	"RecordFieldImplementation"
			value      	("RecordFieldImplementationSet" 216))
		    (object Attribute
			tool       	"Ada95"
			name       	"RecordFieldName"
			value      	"${relationship}")
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateGet"
			value      	("FunctionKindSet" 199))
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateAccessGet"
			value      	("FunctionKindSet" 201))
		    (object Attribute
			tool       	"Ada95"
			name       	"GetName"
			value      	"Get_${relationship}")
		    (object Attribute
			tool       	"Ada95"
			name       	"InlineGet"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateSet"
			value      	("ProcedureKindSet" 202))
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateAccessSet"
			value      	("ProcedureKindSet" 201))
		    (object Attribute
			tool       	"Ada95"
			name       	"SetName"
			value      	"Set_${relationship}")
		    (object Attribute
			tool       	"Ada95"
			name       	"InlineSet"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"IsAliased"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"IsConstant"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"InitialValue"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"ContainerImplementation"
			value      	("ContainerImplementationSet" 217))
		    (object Attribute
			tool       	"Ada95"
			name       	"ContainerGeneric"
			value      	"List")
		    (object Attribute
			tool       	"Ada95"
			name       	"ContainerType"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"ContainerDeclarations"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"SelectorName"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"SelectorType"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"RecordFieldImplementationSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Component"
				value      	216)
			    (object Attribute
				tool       	"Ada95"
				name       	"Discriminant"
				value      	218)
			    (object Attribute
				tool       	"Ada95"
				name       	"AccessDiscriminant"
				value      	219)))
		    (object Attribute
			tool       	"Ada95"
			name       	"ContainerImplementationSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Array"
				value      	217)
			    (object Attribute
				tool       	"Ada95"
				name       	"Generic"
				value      	11)))
		    (object Attribute
			tool       	"Ada95"
			name       	"ProcedureKindSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Procedure"
				value      	202)
			    (object Attribute
				tool       	"Ada95"
				name       	"DoNotCreate"
				value      	201)))
		    (object Attribute
			tool       	"Ada95"
			name       	"FunctionKindSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Function"
				value      	199)
			    (object Attribute
				tool       	"Ada95"
				name       	"DoNotCreate"
				value      	201)))))
	    (object Attribute
		tool       	"Ada95"
		name       	"default__Attribute"
		value      	(list Attribute_Set
		    (object Attribute
			tool       	"Ada95"
			name       	"CodeName"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"RecordFieldImplementation"
			value      	("RecordFieldImplementationSet" 216))
		    (object Attribute
			tool       	"Ada95"
			name       	"RecordFieldName"
			value      	"${attribute}")
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateGet"
			value      	("FunctionKindSet" 199))
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateAccessGet"
			value      	("FunctionKindSet" 201))
		    (object Attribute
			tool       	"Ada95"
			name       	"GetName"
			value      	"Get_${attribute}")
		    (object Attribute
			tool       	"Ada95"
			name       	"InlineGet"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateSet"
			value      	("ProcedureKindSet" 202))
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateAccessSet"
			value      	("ProcedureKindSet" 201))
		    (object Attribute
			tool       	"Ada95"
			name       	"SetName"
			value      	"Set_${attribute}")
		    (object Attribute
			tool       	"Ada95"
			name       	"InlineSet"
			value      	TRUE)
		    (object Attribute
			tool       	"Ada95"
			name       	"IsAliased"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"IsConstant"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"InitialValue"
			value      	"")
		    (object Attribute
			tool       	"Ada95"
			name       	"Representation"
			value      	(value Text ""))
		    (object Attribute
			tool       	"Ada95"
			name       	"RecordFieldImplementationSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Component"
				value      	216)
			    (object Attribute
				tool       	"Ada95"
				name       	"Discriminant"
				value      	218)
			    (object Attribute
				tool       	"Ada95"
				name       	"AccessDiscriminant"
				value      	219)))
		    (object Attribute
			tool       	"Ada95"
			name       	"ProcedureKindSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Procedure"
				value      	202)
			    (object Attribute
				tool       	"Ada95"
				name       	"DoNotCreate"
				value      	201)))
		    (object Attribute
			tool       	"Ada95"
			name       	"FunctionKindSet"
			value      	(list Attribute_Set
			    (object Attribute
				tool       	"Ada95"
				name       	"Function"
				value      	199)
			    (object Attribute
				tool       	"Ada95"
				name       	"DoNotCreate"
				value      	201)))))
	    (object Attribute
		tool       	"Ada95"
		name       	"default__Association"
		value      	(list Attribute_Set
		    (object Attribute
			tool       	"Ada95"
			name       	"NameIfUnlabeled"
			value      	"The_${targetClass}")
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateGet"
			value      	("FunctionKindSet" 199))
		    (object Attribute
			tool       	"Ada95"
			name       	"GetName"
			value      	"Get_${association}")
		    (object Attribute
			tool       	"Ada95"
			name       	"InlineGet"
			value      	FALSE)
		    (object Attribute
			tool       	"Ada95"
			name       	"GenerateSet"
			value      	("ProcedureKindSet" 202))
		    (object Attribute
			tool       	"Ada95"
			name       	"SetName"
			value      	"Set_${association}")
		    (object Attribute
			tool       	"Ada95"
			name       	"InlineSet"
			va
12345

哈.mdl - 源码说明

本页面展示了「一个从UML的状态图的MDL文件获取测试用例的源码」中的 哈.mdl 源码文件，采用 MDL 编程语言编写，共 2,350 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与UML相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?