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

Utils.listToString介绍

暂无

代码示例

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

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

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

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

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

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

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

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

代码示例来源：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 toTitle()
  {
    List<PPattern> paramPatterns = paramPatternList.get(0);
    return name + Utils.listToString("(", paramPatterns, ", ", ")");
  }
}

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

@Override
public String toString()
{
  return type
      + (options.isEmpty() ? "" : " "
          + Utils.listToString(options, " "))
      + (data == null ? "" : " -- " + data);
}

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

@Override
public String caseAProductType(AProductType type) throws AnalysisException
{
  return Utils.listToString("(", type.getTypes(), " * ", ")");
}

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

@Override
public String toString()
{
  return getFullName()
      + (typeQualifier == null ? "" : "("
          + Utils.listToString(typeQualifier) + ")");
}

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

public String toString()
{
  return "" + "mutex("+(_operations.isEmpty() ? "all)" :
      Utils.listToString("", _operations, ", ", ")"));
}

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

public String toTitle()
  {
    return name.getName()
        + Utils.listToString("(", paramPatterns, ", ", ")");
  }
}

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

@Override
public String getContext()
{
  StringBuilder sb = new StringBuilder();
  if (!exp.getLocalDefs().isEmpty())
  {
    sb.append("def ");
    sb.append(Utils.listToString(exp.getLocalDefs(), "; "));
    sb.append(" in");
  }
  return sb.toString();
}

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

@Override
public String caseAProductType(AProductType node, PrettyPrinterEnv question)
    throws AnalysisException
{
  List<String> types = new Vector<String>();
  for (PType t : node.getTypes())
  {
    types.add(t.apply(this, question));
  }
  return "" + "" + Utils.listToString("(", types, " * ", ")");
}

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

@Override
public String caseAOperationType(AOperationType type)
    throws AnalysisException
{
  List<PType> parameters = type.getParameters();
  String params = parameters.isEmpty() ? "()"
      : Utils.listToString(parameters, " * ");
  return "(" + params + " ==> " + type.getResult() + ")";
}

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

@Override
public String caseAFunctionType(AFunctionType type)
    throws AnalysisException
{
  List<PType> parameters = type.getParameters();
  String params = parameters.isEmpty() ? "()"
      : Utils.listToString(parameters, " * ");
  return "(" + params + (type.getPartial() ? " -> " : " +> ")
      + type.getResult() + ")";
}

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

@Override
public String getInitialContext()
{
  return initialContext.toString()
      + (createdValues.isEmpty() ? ""
          : Utils.listToString("", createdValues.asList(), "\n", "\n"));
}