sv 子类父类约束关系

  1. 子类重写约束与父类同名:子类约束会覆盖父类,不管约束冲突不冲突
  2. 子类新加约束:取父类子类交集,如果冲突直接报错
  3. 子类对象 =赋值给父类句柄:父类句柄直接随机得到父类子类交集
  4. 由3结论可以构造层次化随机,见下图。创造一个base保存基本数据和基本随机,创造包含base句柄的wrapper用于后续子类赋值共同参与随机,创建其他随机约束类,创建test sequence任意组合之前创建的随机约束类,所有的随机组合内部base句柄最终都指向当前test seq,最终效果即所有类内部都基于同一个对象进行随机。用于各种随机单独写,test需要的约束进行cross
    在这里插入图片描述
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值