/**
* {@inheritDoc}
*
* @generated
*/
@Override
public @Nullable CGInvalid getInvalidValue() {
CGInvalid invalidValue = source.getInvalidValue();
if (invalidValue == null) {
invalidValue = argument.getInvalidValue();
}
return invalidValue;
}
public static @NonNull AbstractPlace createLocalPlace(
@NonNull Map<CGElement, AbstractPlace> element2place, @NonNull CGValuedElement cgElement) {
boolean isGlobal = cgElement.isGlobal();
if (isGlobal) {
return ClassUtil.nonNullState(element2place.get(null));
} else {
return ControlPlace.createControlPlace(element2place, cgElement);
}
}
/**
* {@inheritDoc}
*
* @generated
*/
@Override
public @Nullable Boolean isEquivalentToInternal(@NonNull CGValuedElement thatValue) {
if (this == thatValue) {
return Boolean.TRUE;
}
if (booleanValue) {
if (thatValue.isTrue()) {
return Boolean.TRUE;
} else if (thatValue.isFalse()) {
return Boolean.FALSE;
}
} else {
if (thatValue.isTrue()) {
return Boolean.FALSE;
} else if (thatValue.isFalse()) {
return Boolean.TRUE;
}
}
if (thatValue.isConstant()) {
return Boolean.FALSE;
} else {
return null;
}
}
/**
* {@inheritDoc}
*
* @generated
*/
@Override
public boolean isNonInvalid() {
return source.isNonInvalid() && argument.isNonInvalid();
}
/**
* {@inheritDoc}
*
* @generated
*/
@Override
public boolean isConstant() {
return source.isConstant() && argument.isConstant();
}
@Override
public boolean isTrue() {
return (conditionExpression != null) && conditionExpression.isTrue();
}
@Override
public boolean isFalse() {
return (conditionExpression != null)
&& conditionExpression.isConstant()
&& !conditionExpression.isTrue();
}