Added FP validation result structure.
Showing
- plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/utils/AnalysisResultUtil.java 1 addition, 0 deletions...s/contracts/transformations/utils/AnalysisResultUtil.java
- plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/utils/FileNamesUtil.java 11 additions, 0 deletions.../chess/contracts/transformations/utils/FileNamesUtil.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService/plugin.xml 15 additions, 0 deletions...g.polarsys.chess.contracts.verificationService/plugin.xml
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationAssertionPropertyCommand.java 45 additions, 8 deletions.../ui/commands/CheckValidationAssertionPropertyCommand.java
- plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CompositeContractImplementationCommand.java 0 additions, 1 deletion...e/ui/commands/CompositeContractImplementationCommand.java
- plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/services/ResultsGeneratorService.java 60 additions, 1 deletion...ys/chess/diagram/ui/services/ResultsGeneratorService.java
Loading
Please register or sign in to comment