|
RULE dependent_instantiable_contract_type FOR (contract_type); WHERE wr1: SIZEOF ( QUERY ( c <* contract_type | NOT ( SIZEOF ( USEDIN ( c , '' ) ) >0 ) ) ) =0; END_RULE; -- dependent_instantiable_contract_type |
|
public class RDependent_instantiable_contract_type public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |