刑法第91、92条形式化文档

1.16 [财产结构]

Definition 1.17
#

财产状态,表示财产是否处于管理、使用或运输中的状态。

财产基本结构,是Object的特化子类型,继承了Object的所有基本属性(如标识符、名称、所有者、排他性等),并额外添加了财产特有的属性,如用途、管理机构、财产状态等。

Definition 1.19

从基础对象创建财产的函数,该函数会检查对象是否满足成为财产的条件,并将对象转换为财产类型。由于Object已经具有排他性,因此转换后的Property实例自然继承了这一特性,体现了财产权的排他性特征。