/** * Creates a default configuration. Paths are set to <tt>[Path to ... Executable]</tt>. */ public GlobalConfig() { verificationTimeout = new SimpleIntegerProperty(3600); simulationTimeout = new SimpleIntegerProperty(60); windowMaximized = new SimpleBooleanProperty(true); windowHeight = new SimpleIntegerProperty(600); windowWidth = new SimpleIntegerProperty(800); editorFontSize = new SimpleIntegerProperty(12); maxLineRollout = new SimpleIntegerProperty(50); editorFontFamily = new SimpleStringProperty("DejaVu Sans Mono"); showLineNumbers = new SimpleBooleanProperty(true); uiLanguage = new SimpleStringProperty("EN"); nuxmvFilename = new SimpleStringProperty( ExecutableLocator.findExecutableFileAsString("nuXmv") .orElse("[Path to nuXmv Executable]")); z3Path = new SimpleStringProperty( ExecutableLocator.findExecutableFileAsString("z3") .orElse("[Path to Z3 Executable]")); getetaCommand = new SimpleStringProperty("java -jar /path/to/geteta.jar -c ${code} -t ${spec} -x"); }
@SuppressWarnings("unchecked") public UpdateDialog(List<CurseFullProject.CurseFile> files) { super(files); TableColumn<CurseFullProject.CurseFile, String> columnName = new TableColumn<>("Files"); columnName.setCellValueFactory(cell -> new SimpleStringProperty(cell.getValue().getFileName())); TableColumn<CurseFullProject.CurseFile, String> columnVersion = new TableColumn<>("Version"); columnVersion.setCellValueFactory(cell -> new SimpleStringProperty(cell.getValue().getGameVersion().stream().collect(Collectors.joining(", ")))); TableColumn<CurseFullProject.CurseFile, Date> columnDate = new TableColumn<>("Release Date"); columnDate.setCellValueFactory(cell -> new SimpleObjectProperty<>(cell.getValue().getDate())); table.getColumns().addAll(columnName, columnVersion, columnDate); setTitle("File Update Dialog"); dialogPane.setHeaderText("Please Choose a File Version"); dialogPane.getStyleClass().add("pack-update-dialog"); dialogPane.getButtonTypes().addAll(ButtonType.OK, ButtonType.CANCEL); }
public Medicine(int code, String name, String salt, String company, String type, String hsn, String batch, String expiry, int quantity, float mrp, float cost, int sgst, int cgst, int igst) { this.code = new SimpleIntegerProperty(code); this.name = new SimpleStringProperty(name); this.salt = new SimpleStringProperty(salt); this.company = new SimpleStringProperty(company); this.type = new SimpleStringProperty(type); this.hsn = new SimpleStringProperty(hsn); this.batch = new SimpleStringProperty(batch); this.expiry = new SimpleStringProperty(expiry); this.quantity = new SimpleIntegerProperty(quantity); this.mrp = new SimpleFloatProperty(mrp); this.cost = new SimpleFloatProperty(cost); this.sgst = new SimpleIntegerProperty(sgst); this.cgst = new SimpleIntegerProperty(cgst); this.igst = new SimpleIntegerProperty(igst); }
public Music(File f) { file = f; String path = StringUtil.convertToFileURL(file.toURI().getRawPath()); String url = StringUtil.convertToFileURL(file.getAbsolutePath()); String[] split = url.split("/"); String uri = url.split("/")[split.length - 1]; String[] sp = uri.split("\\."); format = new SimpleStringProperty(sp[sp.length - 1]); sp[sp.length - 1] = ""; name = new SimpleStringProperty(String.join(".", sp)); media = new MediaPlayer(new Media(path)); duration = new SimpleStringProperty(""); }
public JavaDialog() { super(JavaUtil.getAvailableInstalls()); TableColumn<JavaUtil.JavaInstall, String> paths = new TableColumn<>("Paths"); paths.setCellValueFactory(cell -> new SimpleStringProperty(cell.getValue().path)); table.getColumns().addAll(paths); setTitle("Java Detection"); dialogPane.setHeaderText("Please Choose a Java Version"); dialogPane.getStyleClass().add("java-dialog"); dialogPane.getButtonTypes().addAll(ButtonType.OK, ButtonType.CANCEL); }
public Data(String name, String lastName, String regNr, String dateFound, String timeFound, String brand, String lugType, String arrivedFlight, String locFound, String mainCol, String size, String weight, String otherChar, String lugTag) { this.name = new SimpleStringProperty(name); this.lastName = new SimpleStringProperty(lastName); this.regNr = new SimpleStringProperty(regNr); this.dateFound = new SimpleStringProperty(dateFound); this.timeFound = new SimpleStringProperty(timeFound); this.brand = new SimpleStringProperty(brand); this.lugType = new SimpleStringProperty(lugType); this.arrivedFlight = new SimpleStringProperty(arrivedFlight); this.locFound = new SimpleStringProperty(locFound); this.mainCol = new SimpleStringProperty(mainCol); this.size = new SimpleStringProperty(size); this.weight = new SimpleStringProperty(weight); this.otherChar = new SimpleStringProperty(otherChar); this.lugTag = new SimpleStringProperty(lugTag); }
/** * Add a large String to a wizard step. A TextArea will be used to represent * it. * * @param fieldName * @param defaultValue * the default String the textfield will contains. * @param prompt * the text to show on the textfield prompt String. * @return */ @SuppressWarnings("unchecked") public WizardStepBuilder addBigString(final String fieldName, final String defaultValue, final String prompt) { final JFXTextArea text = new JFXTextArea(); text.setPromptText(prompt); text.setText(defaultValue); this.current.getData().put(fieldName, new SimpleStringProperty()); this.current.getData().get(fieldName).bind(text.textProperty()); text.setMaxWidth(400); final Label label = new Label(fieldName); GridPane.setHalignment(label, HPos.RIGHT); GridPane.setHalignment(text, HPos.LEFT); this.current.add(label, 0, this.current.getData().size() - 1); this.current.add(text, 1, this.current.getData().size() - 1); return this; }
/** * Create a SpecificationRow from a given number of cells and an extractor. The extractor is * required for "deep observing", i.e. the registering of change listeners on the contents of an * observable collection (here, the collection of cells - to fire change events not only when * cells are added or removed, but also when properties in the cells change). For more information * on extractors, see https://docs.oracle * .com/javase/8/javafx/api/javafx/collections/FXCollections.html. * * @param cells The initial cells of the row * @param extractor The extractor to be used for deep observing on the cells */ public SpecificationRow(Map<String, C> cells, Callback<C, Observable[]> extractor) { this.cells = FXCollections.observableMap(cells); this.cells.addListener(this::cellsMapChanged); this.listeners = new ArrayList<>(); this.comment = new SimpleStringProperty(""); this.extractor = extractor; this.cells.addListener(this::listenRowInvalidation); comment.addListener(this::listenRowInvalidation); cells.values().forEach(this::subscribeToCell); }
@Test public void testBindBidirectionalWithConverter() { // given Property<String> str = new SimpleStringProperty("-42"); Property<Number> num = new SimpleDoubleProperty(1.23); // when PropertyUtils.bindBidirectionalWithConverter(str, num, Double::parseDouble, Object::toString); // then (initial conditions) assertAll( () -> assertEquals("1.23", str.getValue(), "String was not set correctly"), () -> assertEquals(1.23, num.getValue().doubleValue(), "Binding target should not have changed") ); // when changing one value str.setValue("89"); // then assertEquals(89, num.getValue().doubleValue(), "Number was not set correctly"); // when changing the other value num.setValue(10.01); // then assertEquals("10.01", str.getValue(), "String was not set correctly"); }
public DesignVariable(DesignVariable dv) { this.container = new SimpleStringProperty(dv.container.get()); this.group = new SimpleStringProperty(dv.group.get()); this.name = new SimpleStringProperty(dv.name.get()); this.id = new SimpleStringProperty(dv.id.get()); this.value = new SimpleStringProperty(dv.value.get()); this.xpath = new SimpleStringProperty(dv.xpath.get()); this.state = new SimpleStringProperty(dv.state.get()); this.vspValue = new SimpleStringProperty(dv.vspValue.get()); this.checked = new SimpleBooleanProperty(dv.checked.get()); this.fullName = dv.fullName; }
private void initKey() { commandColumn.setCellValueFactory(cdf -> new SimpleStringProperty(cdf.getValue().getDescribe())); bindingColumn.setCellValueFactory(cdf -> CacheUtil.cache(OptionsController.this, cdf.getValue(), () -> new SimpleObjectProperty<>(cdf.getValue().get()))); // bindingColumn.setCellValueFactory(cdf -> new SimpleObjectProperty<>(cdf.getValue().get())); bindingColumn.setEditable(true); bindingColumn.setCellFactory(column -> new KeyEditField()); keyTable.getItems().setAll(Options.KEY.getChildren(KeyCombination.class)); onSubmit.add(() -> keyTable.getItems().forEach(key -> key.set(bindingColumn.getCellData(key)))); }
public Entry(String entry, String username, String password) throws Exception { this.entryTitle = new SimpleStringProperty(entry); this.entryUsername = new SimpleStringProperty(username); this.entryPassword = new SimpleStringProperty(password); this.originalPassword = Crypt.encrypt(password); LocalDateTime date = LocalDateTime.now(); DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yy-MM-dd HH:mm"); String formattedDate = date.format(formatter); this.entryDate = new SimpleStringProperty(formattedDate); }
/** * Creates a codefile which is invalidated. * * @param filename name of the codefile * @param sourcecode content of the codefile */ public Code(String filename, String sourcecode) { this.filename = new SimpleStringProperty(filename); this.sourceCodeProperty = new SimpleStringProperty(sourcecode); this.parsedCode = new NullableProperty<>(); this.tokens = FXCollections.observableArrayList(); this.syntaxErrors = FXCollections.observableArrayList(); invalidate(); }
/** * Data type used in the TreeTableview for */ public CourseTableDataType(String title, String id, int time, int stars) { this.title = new SimpleStringProperty(title); this.id = new SimpleStringProperty(id); this.time = new SimpleIntegerProperty(time); this.stars = new SimpleIntegerProperty(stars); }
/** * Constructs a new {@link SimpleBookmark} instance. * * @param bookmark bookmark associated with this {@link SimpleBookmark} * @param onClick {@link Runnable} that can be retrieved by calling {@link #getOnClick()} * @throws GfaParseException if unable to get the sequence of the node in the bookmark */ public SimpleBookmark(final Bookmark bookmark, final Runnable onClick) throws GfaParseException { this.bookmark = bookmark; this.onClick = onClick; nodeIdProperty = new SimpleIntegerProperty(bookmark.getNodeId()); baseOffsetProperty = new SimpleIntegerProperty(bookmark.getBaseOffset()); descriptionProperty = new SimpleStringProperty(bookmark.getDescription()); radiusProperty = new SimpleIntegerProperty(bookmark.getRadius()); }
@Override public void initialize(final URL location, final ResourceBundle resources) { nameColumn.setCellValueFactory(cell -> { if (cell.getValue().getName() == null) { return new SimpleStringProperty("[unknown genome]"); } else { return new SimpleStringProperty(cell.getValue().getName()); } }); colorColumn.setCellValueFactory(cell -> cell.getValue().getColor()); colorColumn.setCellFactory(cell -> new TableCell<GenomePath, Color>() { @Override protected void updateItem(final Color color, final boolean empty) { super.updateItem(color, empty); if (color == null) { setBackground(Background.EMPTY); } else { setBackground(new Background(new BackgroundFill(color, CornerRadii.EMPTY, Insets.EMPTY))); } } }); selectedColumn.setCellValueFactory(cell -> cell.getValue().selectedProperty()); selectedColumn.setCellFactory(CheckBoxTableCell.forTableColumn(selectedColumn)); final FilteredList<GenomePath> filteredList = new FilteredList<>(graphVisualizer.getGenomePathsProperty(), s -> s.getName().contains(searchField.textProperty().get())); pathTable.setItems(filteredList); pathTable.setEditable(true); addListeners(); }
@Override public void beforeEach() { sequenceController = new SequenceController(); sequenceVisualizer = mock(SequenceVisualizer.class); sequenceProperty = new SimpleStringProperty("sequence"); when(sequenceVisualizer.getSequenceProperty()).thenReturn(sequenceProperty); sequenceController.setSequenceVisualizer(sequenceVisualizer); }
public Details(String name , String todayExpense,String todayUnits, String totalExpense ,String totalUnits){ this.name = new SimpleStringProperty(name); this.todayExpense = new SimpleStringProperty(todayExpense); this.todayUnits = new SimpleStringProperty(todayUnits); this.totalExpense = new SimpleStringProperty(totalExpense); this.totalUnits = new SimpleStringProperty(totalUnits); }
@Test public void testSaveString() { // given String name = "string"; String value = "foobar"; StringProperty property = new SimpleStringProperty(null, name, value); // when PreferencesUtils.save(property, preferences); // then String saved = preferences.get(name, null); assertEquals(value, saved); }
private Person(boolean invited, String fName, String lName, String email) { this.invited = new SimpleBooleanProperty(invited); this.firstName = new SimpleStringProperty(fName); this.lastName = new SimpleStringProperty(lName); this.email = new SimpleStringProperty(email); this.invited = new SimpleBooleanProperty(invited); this.invited.addListener(new ChangeListener<Boolean>() { public void changed(ObservableValue<? extends Boolean> ov, Boolean t, Boolean t1) { System.out.println(firstNameProperty().get() + " invited: " + t1); } }); }
public URLdetails(String url , String status,String time, String date ,String email, String acessTime){ this.url = new SimpleStringProperty(url); this.status = new SimpleStringProperty(status); this.time = new SimpleStringProperty(time); this.date = new SimpleStringProperty(date); this.email = new SimpleStringProperty(email); this.acessTime = new SimpleStringProperty(acessTime); }
public RegisterRow(String register, IntegerProperty content, TextField editContent) { this.registerName = new SimpleStringProperty(register); this.content = content; this.editContent = new TextField(); }
public Ticket(String titleID, String titleKey){ this.name = new SimpleStringProperty(""); this.region = new SimpleStringProperty(""); this.serial = new SimpleStringProperty(""); this.type = new SimpleStringProperty(""); this.titleid = new SimpleStringProperty(titleID); this.consoleid = new SimpleStringProperty(""); this.data = null; this.commonKeyIndex = 0; this.download = new SimpleBooleanProperty(false); this.titlekey = titleKey; }
/** * Called by JavaFX. */ @Override public void initialize(URL url, ResourceBundle rb) { staffAccountsList = FXCollections.observableArrayList(); staffAccountsTableView.setItems(staffAccountsList); employeeIdColumn.setCellValueFactory((param) -> { return new SimpleStringProperty( String.valueOf(param.getValue().getId()) ); }); employeeNameColumn.setCellValueFactory((param) -> { return new SimpleStringProperty( param.getValue().getLastName() + ", " + param.getValue().getFirstName() ); }); isManagerColumn.setCellValueFactory((param) -> { return new SimpleBooleanProperty(param.getValue().isManager()); }); // Display the boolean column using checkboxes instead of strings isManagerColumn.setCellFactory( (param) -> { return new CheckBoxTableCell<>(); } ); staffAccountsTableView.setPlaceholder( new Label("We fired everyone") ); fetchTableData(); }
public ProfitLoss(String date, Float totalSale, Float totalPurchase, Float profit) { this.date=new SimpleStringProperty(date); this.totalSale=new SimpleFloatProperty(totalSale); this.totalPurchase=new SimpleFloatProperty(totalPurchase); this.profit=new SimpleFloatProperty(profit); }
public Billing(String billItem, String billBatch, int billQuantity, String billFree, float billRate, float billAmount) { this.billItem = new SimpleStringProperty(billItem); this.billBatch = new SimpleStringProperty(billBatch); this.billQuantity = new SimpleIntegerProperty(billQuantity); this.billFree = new SimpleStringProperty(billFree); this.billRate = new SimpleFloatProperty(billRate); this.billAmount = new SimpleFloatProperty(billAmount); }
public Sale(String date, Long billNumber, String patientName, String doctorName, String companyName, String mode, Float amount) { this.date = new SimpleStringProperty(date); this.patientName = new SimpleStringProperty(patientName); this.doctorName = new SimpleStringProperty(doctorName); this.companyName = new SimpleStringProperty(companyName); this.mode = new SimpleStringProperty(mode); this.billNumber = new SimpleLongProperty(billNumber); this.amount = new SimpleFloatProperty(amount); }
protected <T extends Enum<T>> Supplier<WritableValue<String>> enumToString(Class<T> enumClass, ObjectProperty<T> property) { return () -> { val stringProperty = new SimpleStringProperty(); stringProperty.bindBidirectional(property, new StringConverter<T>() { @Override public String toString(T object) { if (object == null) { return "null"; } return object.name(); } @Override public T fromString(String string) { if ("null".equals(string)) { return null; } try { return Enum.valueOf(enumClass, string); } catch (IllegalArgumentException e) { try { val number = (int) Double.parseDouble(string); return enumClass.cast(EnumSet.allOf(enumClass).toArray()[number]); } catch (Exception ex) { throw new HotaruRuntimeException("No constant " + string + " for type " + enumClass.getSimpleName()); } } } }); return stringProperty; }; }
private void init (String name, String description, ImageGraphic graphic) { myName = new SimpleStringProperty(name); myDescription = new SimpleStringProperty(description); myImage = graphic; myImageWidth = graphic.getWidth(); myImageHeight = graphic.getHeight(); imageChange = new SimpleBooleanProperty(false); }
public DisassemblyRow(String pc, CheckBox checkBox, int address, String instructionHex, String instructionStatement) { this.pc = new SimpleStringProperty(pc); this.checkBox = new CheckBox(); this.address = new SimpleIntegerProperty(address); this.instructionHex = new SimpleStringProperty(instructionHex); this.instructionStatement = new SimpleStringProperty(instructionStatement); }
Message(Repository<User> repo, com.github.cypher.sdk.Message sdkMessage) { super(repo, sdkMessage); this.body = new SimpleStringProperty(sdkMessage.getBody()); this.formattedBody = new SimpleStringProperty(sdkMessage.getFormattedBody()); sdkMessage.addBodyListener((observable, oldValue, newValue) -> { body.set(newValue); }); sdkMessage.addFormattedBodyListener((observable, oldValue, newValue) -> { formattedBody.set(newValue); }); }
public RegisterRow(String register, int content, TextField editContent) { this.registerName = new SimpleStringProperty(register); this.content = new SimpleIntegerProperty(content); this.editContent = new TextField(); }
/** * Add a simple String to a wizard step. * * @param fieldName * @param defaultValue * the default String the textfield will contains. * @param prompt * the text to show on the textfield prompt String. * @param isRequired * set the field required to continue * @return */ @SuppressWarnings("unchecked") public WizardStepBuilder addString(final String fieldName, final String defaultValue, final String prompt, final boolean isRequired) { final JFXTextField text = new JFXTextField(); text.setPromptText(prompt); if (isRequired) { final RequiredFieldValidator validator = new RequiredFieldValidator(); validator.setMessage(Translation.LANG.getTranslation("wizard.error.input_required")); validator.setIcon(GlyphsBuilder.create(FontAwesomeIconView.class).glyph(FontAwesomeIcon.WARNING).size("1em") .styleClass("error").build()); text.getValidators().add(validator); } text.focusedProperty().addListener((o, oldVal, newVal) -> { if (!newVal) text.validate(); }); text.setText(defaultValue); this.current.getData().put(fieldName, new SimpleStringProperty()); this.current.getData().get(fieldName).bind(text.textProperty()); this.current.addToValidate(text); final Label label = new Label(fieldName); GridPane.setHalignment(label, HPos.RIGHT); GridPane.setHalignment(text, HPos.LEFT); this.current.add(label, 0, this.current.getData().size() - 1); this.current.add(text, 1, this.current.getData().size() - 1); return this; }
public MavenBean(int id, String sourcePath, String installPath, String groupId, String artifactId, String version) { this.id = new SimpleIntegerProperty(id); this.sourcePath = new SimpleStringProperty(sourcePath); this.installPath = new SimpleStringProperty(installPath); this.groupId = new SimpleStringProperty(groupId); this.artifactId = new SimpleStringProperty(artifactId); this.version = new SimpleStringProperty(version); status = new SimpleStringProperty(""); }
public RequestEntry(String eventType, String eventName, String eventDateTime, String eventLocation, String eventConductor, RequestTypeGUI r, String requestDescription, EventDutyDTO eventDutyDTO) { this.eventType = new SimpleStringProperty(eventType); this.eventName = new SimpleStringProperty(eventName); this.eventDateTime = new SimpleStringProperty(eventDateTime); this.eventLocation = new SimpleStringProperty(eventLocation); this.eventConductor = new SimpleStringProperty(eventConductor); this.requestDescription.setText(requestDescription); setRequestType(r); this.eventDutyDTO = eventDutyDTO; this.requestDescription.textProperty().addListener((observable, oldValue, newValue) -> { this.setEdited(true); }); }
public static SimpleStringProperty getNumberOfCrawlers() { return numberOfCrawlers; }
public static void setProxyPort(SimpleStringProperty proxyPort) { CrawlConfig.proxyPort = proxyPort; }
public SimpleStringProperty supervisorDisplayNameProperty() { return supervisorDisplayName; }