本文整理了Java中org.overture.ast.util.Utils类的一些代码示例，展示了Utils类的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。Utils类的具体详情如下：
包路径：org.overture.ast.util.Utils
类名称：Utils

Utils介绍

暂无

代码示例

代码示例来源：origin: overturetool/overture

@Override
  public String toString()
  {
    return Utils.listToString("[", this, ", ", "]");
  }
}

代码示例来源：origin: overturetool/overture

@Override
  public String toString()
  {
    return Utils.setToString(this, ", ");
  }
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + ""+Utils.ifToString(_test, _then, _elseList, _else);
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + ""+Utils.recNameToString(_name);
}

代码示例来源：origin: overturetool/overture

@Override
  public String toString()
  {
    return "(" + Utils.listToString(this) + ")";
  }
}

代码示例来源：origin: overturetool/overture

@Override
public String caseAUnionType(AUnionType node, PrettyPrinterEnv question)
    throws AnalysisException
{
  List<String> types = new Vector<String>();
  for (PType t : node.getTypes())
  {
    types.add(t.apply(this, question));
  }
  return ""
      + ""
      + (types.size() == 1 ? types.iterator().next().toString()
          : Utils.setToString(types, " | "));
}

代码示例来源：origin: overturetool/overture

@Override
public String toString()
{
  return Utils.listToString("{", this, ", ", "}");
}

代码示例来源：origin: overturetool/overture

@Override
public String caseAUnionType(AUnionType type) throws AnalysisException
{
  List<PType> types = type.getTypes();
  if (types.size() == 1)
  {
    return types.iterator().next().toString();
  } else
  {
    return Utils.setToString(new PTypeSet(types, af), " | ");
  }
}

代码示例来源：origin: overturetool/overture

@Override
public String toString()
{
  return Utils.listToString(this);
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + ""+(_types.size() == 1?_types.iterator().next().toString() : Utils.setToString(_types, " | "));
}

代码示例来源：origin: overturetool/overture

@Override
public String toString()
{
  return Utils.listToString(this, "\n");
}

代码示例来源：origin: overturetool/overture

private String toTitle(String mname, List<PPattern> paramPatterns)
  {
    return mname + Utils.listToString("(", paramPatterns, ", ", ")");
  }
}

代码示例来源：origin: overturetool/overture

public VDMErrorsException(List<VDMError> errors)
{
  super(Utils.listToString(errors, "\n"));
  this.errors = errors;
}

代码示例来源：origin: overturetool/overture

@Override
public String toString()
{
  return Utils.listToString(this);
}

代码示例来源：origin: overturetool/overture

@Override
public String toString()
{
  return "mk_(" + Utils.listToString(values) + ")";
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + "new "+_className+"("+Utils.listToString(_args)+")";
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + ""+_obj+"."+_fieldName+"("+Utils.listToString(_args)+")";
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + _object+"("+Utils.listToString(_args)+")";
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + ""+Utils.listToString("(",_types, " | ", ")");
}

代码示例来源：origin: overturetool/overture

public String toString()
{
  return "" + "sporadic("+Utils.listToString(_args)+")("+_opname+")";
}