From dc694db18c662c4e17297a84d220778f6d410d9e Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 16 Jan 2013 14:29:45 +0100
Subject: [PATCH] use exists() instead of != null when checking for variable /
constant
---
.../src/de/prob/units/sc/ContextAttributeProcessor.java | 2 +-
.../src/de/prob/units/sc/MachineAttributeProcessor.java | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java b/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
index 6b420739..3b181725 100644
--- a/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
+++ b/de.prob.units/src/de/prob/units/sc/ContextAttributeProcessor.java
@@ -44,7 +44,7 @@ public class ContextAttributeProcessor extends SCProcessorModule {
.getIdentifierString());
// might have been filtered out by previous modules
- if (scConstant != null) {
+ if (scConstant.exists()) {
// original might not contain the attribute
if (constant.hasAttribute(UnitPragmaAttribute.ATTRIBUTE)) {
String attribute = constant
diff --git a/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java b/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java
index 4c7ddd38..92a739fd 100644
--- a/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java
+++ b/de.prob.units/src/de/prob/units/sc/MachineAttributeProcessor.java
@@ -44,7 +44,7 @@ public class MachineAttributeProcessor extends SCProcessorModule {
.getIdentifierString());
// might have been filtered out by previous modules
- if (scVar != null) {
+ if (scVar.exists()) {
// original might not contain the attribute
if (var.hasAttribute(UnitPragmaAttribute.ATTRIBUTE)) {
String attribute = var
--
GitLab