/*
* Copyright 2003-2017 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package jetbrains.mps.generator.plan;
import org.jetbrains.annotations.NotNull;
/**
* Provisional way to identify a generation plan and associated checkpoints.
* Likely to become an interface with equal/hashCode, persistence and some debug presentation
* contract, but for now uses plain String and mostly a marker to ease discovery of location where
* identity is needed.
* Shall identify plan only. Though CheckpointIdentity shall know it's {@code PlanIdentity}, this class shall
* not hold all {@klinkplain CheckpointIdentity checkpoint identities} that report it as their plan.
*
* FIXME likely plan identity shall respect modification timestamp for the plan, so that we don't use existing CP for an already modified plan
*
* @author Artem Tikhomirov
* @since 3.4
*/
public final class PlanIdentity {
private String myName;
public PlanIdentity(@NotNull String name) {
// FIXME when GenPlanTranslator creates a PlanIdentity, it has human-readable name only.
myName = name;
}
@NotNull
public String getName() {
return myName;
}
@NotNull
public String getPersistenceValue() {
return toPersistenceValue(myName);
}
@Override
public int hashCode() {
return myName.hashCode();
}
@Override
public boolean equals(Object o) {
return o instanceof PlanIdentity && ((PlanIdentity) o).myName.equals(myName);
}
// inv: idempotent toPersistenceValue(X).equals(toPersistenceValue(toPersistenceValue(X))
/*package*/ static String toPersistenceValue(String name) {
final char[] rv = new char[name.length()];
boolean modified = false;
for (int i = 0; i < rv.length; i++) {
char c = name.charAt(i);
if (!Character.isLetterOrDigit(c)) {
modified = true;
rv[i] = '_';
} else {
rv[i] = c;
}
}
return modified ? new String(rv).toLowerCase() : name.toLowerCase();
}
}