SpecificationTableDemo.java 文件源码

private List<Node> simpleTableScene() {
  List<Type> types = Arrays.asList(TypeInt.INT, TypeBool.BOOL);
  List<CodeIoVariable> codevars = Arrays.asList(
      new CodeIoVariable(VariableCategory.INPUT, "BOOL", "A"),
      new CodeIoVariable(VariableCategory.INPUT, "INT", "B"),
      new CodeIoVariable(VariableCategory.OUTPUT, "INT", "C")
  );
  ObjectProperty<List<Type>> typeContext = new SimpleObjectProperty<>(types);
  ObjectProperty<List<CodeIoVariable>> codeIoVariables = new SimpleObjectProperty<>(codevars);

  FreeVariableList freeVariableList = new FreeVariableList(new ArrayList<>());

  FreeVariableListValidator freevarValidator = new FreeVariableListValidator(typeContext, freeVariableList);
  SpecificationTableController table = new SpecificationTableController(
      new GlobalConfig(),
      typeContext,
      codeIoVariables,
      freevarValidator.validFreeVariablesProperty(),
      new HybridSpecification(freeVariableList, true));
  Pane extractedTablePane = createExtractedTableTextArea(
      table.getHybridSpecification(),
      table.getValidator());

  return Arrays.asList(table.getView(), extractedTablePane);
}