我无法完全理解何时使用这一个或另一个。他们非常相似,现在和他们一起让我感到困惑。说到反射,我不知道是使用普通的Type还是TypeInfo。
.NET Framework本身会增加 property a2b_notA;
@(posedge clk) ($rose (a) ##0 (a throughout b)) |=> (~a);
endproperty
a_a2b_notA: assert property (a2b_notA);
之类的混淆。它检索assembly.DefinedTypes
,我认为它应该是IEnumerable<TypeInfo>
。此外,还有IEnumerable<Type>
方法。那是什么意思?他们可以互换吗?
此外,他们的方法非常相似。
似乎TypeInfo就像经典typeInfo.AsType()
的更强大版本。我错了吗?
谢谢!