Sign in
eclipse
/
gerrit
/
ocl
/
org.eclipse.ocl
/
26fc3533a6d4ccaf9a042ac293b4727c7a241e73
commit
26fc3533a6d4ccaf9a042ac293b4727c7a241e73
[
log
]
author
Ed Willink <ed@willink.me.uk>
Wed Mar 25 22:20:52 2020 +0000
committer
Ed Willink <ed@willink.me.uk>
Wed Mar 25 22:20:52 2020 +0000
tree
66bade6b6af77dae232f9ac6faf824686067dc6b
parent
def593625a3e824392aec68996abe22edbd9abfa
[
diff
]
symbolic divide by 0 is invalid
plugins/org.eclipse.ocl.pivot/.settings/.api_filters
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/CollectionValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/MapValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/NullValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/NumberValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/ObjectValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/SymbolicNavigationCallValueImpl.java
[Added -
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/SymbolicStringValueImpl.java
[Added -
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/SymbolicUnknownValueImpl.java
[Added -
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/SymbolicValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/SymbolicVariableValueImpl.java
[Added -
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/internal/values/ValueImpl.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/values/CollectionValue.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/values/InvalidValueException.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/values/MapValue.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/values/TupleValue.java
[
diff
]
plugins/org.eclipse.ocl.pivot/emf-gen/org/eclipse/ocl/pivot/values/Value.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/analysis/SymbolicValue.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/evaluation/BasicEvaluationVisitor.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/evaluation/SymbolicEvaluationVisitor.java
[Added -
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/manager/MetamodelManagerInternal.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/manager/PivotMetamodelManager.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/library/oclany/OclAnyEqualOperation.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/library/oclany/OclAnyToStringOperation.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/AbstractEnvironmentFactory.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java
[
diff
]
plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/ValueUtil.java
[
diff
]
tests/org.eclipse.ocl.examples.xtext.tests/src/org/eclipse/ocl/examples/test/xtext/FlowAnalysisTests.java
[
diff
]
28 files changed
tree: 66bade6b6af77dae232f9ac6faf824686067dc6b
.launches/
.mvn/
archive/
doc/
examples/
features/
plugins/
releng/
tests/
.gitignore
CONTRIBUTING
LICENSE
NOTICE
pom.xml.readme