Accordingly, when a method that has been annotated with OVal constraints is invoked, OVal will verify the constraints before the method is actually executed.
相应地，当调用一个用OVal约束条件标注过的方法时，OVal会在该方法真正执行前验证该约束条件。
2
This article mainly elaborated the oval curve main parameter computation as well as the oval curve take office a coordinates computational method.