可任意的 meaning in English

welcome

The language should make it possible to equip a class and its features with assertions ( preconditions , postconditions and invariants ) , relying on tools to produce documentation out of these assertions and , optionally , monitor them at run time
语言应该尽可能的运用类和它的断言特性(预处理,后处理和不变量) ,同时依赖于工具从这些断言中产生文档,而且在运行时候可任意的监控它们