public class POSnippetFactory
extends java.lang.Object
Constructor and Description |
---|
POSnippetFactory() |
public static BasicPOSnippetFactory getBasicFactory(FunctionalOperationContract contract, ProofObligationVars vars, Services services)
public static BasicPOSnippetFactory getBasicFactory(LoopSpecification invariant, ProofObligationVars vars, ExecutionContext context, Term guardTerm, Services services)
public static BasicPOSnippetFactory getBasicFactory(InformationFlowContract contract, ProofObligationVars vars, Services services)
public static BasicPOSnippetFactory getBasicFactory(BlockContract contract, ProofObligationVars vars, ExecutionContext context, Services services)
public static InfFlowPOSnippetFactory getInfFlowFactory(LoopSpecification invariant, ProofObligationVars vars1, ProofObligationVars vars2, ExecutionContext context, Term guardTerm, Services services)
public static InfFlowPOSnippetFactory getInfFlowFactory(InformationFlowContract contract, ProofObligationVars vars1, ProofObligationVars vars2, Services services)
public static InfFlowPOSnippetFactory getInfFlowFactory(BlockContract contract, ProofObligationVars vars1, ProofObligationVars vars2, ExecutionContext context, Services services)
Copyright © 2003-2019 The KeY-Project.