public static IPrecondition TryCreatePrecondition(ICSharpStatement statement) { var ifThrowPrecondition = IfThrowPrecondition.TryCreate(statement); if (ifThrowPrecondition != null) { return(ifThrowPrecondition); } var requires = CodeContractAssertion.TryCreate(statement) as IPrecondition; if (requires != null) { return(requires); } return(null); }
public static CodeContractAssertion TryCreateAssertion(ICSharpStatement statement) { return(CodeContractAssertion.TryCreate(statement)); }