MPSPsiSetType.java

package jetbrains.mps.idea.java.psi.impl.blTypes;

/*Generated by MPS */

import org.jetbrains.mps.openapi.model.SNodeId;
import com.intellij.psi.PsiManager;
import jetbrains.mps.idea.core.psi.impl.MPSPsiNode;

/**
 * danilla 8/28/13
 */
public class MPSPsiSetType extends MPSPsiCollectionType {
  public MPSPsiSetType(SNodeId id, String concept, String containingRole, PsiManager manager) {
    super(id, concept, containingRole, manager);
  }
  @Override
  protected String getClassName() {
    return "java.util.Set";
  }
  @Override
  protected MPSPsiNode[] getChildTypeNodes() {
    return getChildrenOfType("elementType", MPSPsiNode.class);
  }
}