/*
* Copyright 2003-2013 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.ide.typesystem.trace;
import jetbrains.mps.nodeEditor.EditorComponent;
import org.jetbrains.mps.openapi.model.SNode;
import org.jetbrains.annotations.NotNull;
import java.util.Collection;
import jetbrains.mps.newTypesystem.state.State;
import jetbrains.mps.newTypesystem.state.NodeMaps;
import java.util.List;
import java.util.LinkedList;
import jetbrains.mps.openapi.editor.TextBuilder;
import jetbrains.mps.nodeEditor.cells.EditorCell;
public class PresentationUtil {
public PresentationUtil() {
}
public static String getNodePresentation(EditorComponent editorComponent, SNode node) {
String text = check_6aa0xa_a0a0b(check_6aa0xa_a0a0a1(check_6aa0xa_a0a0a0b(editorComponent, node)));
if (text != null && text.length() > 80) {
return text.substring(0, 80) + "...";
}
return text;
}
public static String getVariablesTooltipPresentation(EditorComponent editorComponent, @NotNull Collection<SNode> variables, State state) {
StringBuilder sb = new StringBuilder();
NodeMaps maps = state.getNodeMaps();
for (SNode var : variables) {
SNode node = check_6aa0xa_a0a0c0c(maps, var);
if (node != null) {
sb.append(var);
sb.append(" is a type of ");
sb.append(getNodePresentation(editorComponent, node));
sb.append("\n");
}
}
return sb.toString();
}
public static List<SNode> getNodes(@NotNull Collection<SNode> variables, State state) {
NodeMaps maps = state.getNodeMaps();
List<SNode> result = new LinkedList<SNode>();
if (maps == null) {
return result;
}
for (SNode var : variables) {
result.add(maps.getNode(var));
}
return result;
}
private static String check_6aa0xa_a0a0b(TextBuilder checkedDotOperand) {
if (null != checkedDotOperand) {
return checkedDotOperand.getText();
}
return null;
}
private static TextBuilder check_6aa0xa_a0a0a1(EditorCell checkedDotOperand) {
if (null != checkedDotOperand) {
return checkedDotOperand.renderText();
}
return null;
}
private static EditorCell check_6aa0xa_a0a0a0b(EditorComponent checkedDotOperand, SNode node) {
if (null != checkedDotOperand) {
return checkedDotOperand.findNodeCell(node);
}
return null;
}
private static SNode check_6aa0xa_a0a0c0c(NodeMaps checkedDotOperand, SNode var) {
if (null != checkedDotOperand) {
return checkedDotOperand.getNode(var);
}
return null;
}
}