<commit_before><?xml version="1.0" encoding="UTF-8"?>

<?import java.lang.String?>
<?import javafx.collections.FXCollections?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.CheckBox?>
<?import javafx.scene.control.ChoiceBox?>
<?import javafx.scene.control.Label?>
<?import javafx.scene.control.Tooltip?>
<?import javafx.scene.layout.AnchorPane?>
<?import javafx.scene.layout.VBox?>
<?import javafx.scene.Scene?>
<?import javafx.stage.Stage?>

<fx:root type="Stage" fx:id="mcheckStage" title="%verifications.modelchecking.stage.title" resizable="false" xmlns:fx="http://javafx.com/fxml/1">
	<scene>
		<Scene fill="TRANSPARENT">
			<AnchorPane stylesheets="@/prob.css" styleClass="dialog">
				<Button fx:id="startButton" layoutX="103.0" layoutY="223.0" onAction="#startModelCheck" text="%verifications.modelchecking.stage.start" AnchorPane.leftAnchor="15.0" AnchorPane.rightAnchor="105.0" AnchorPane.bottomAnchor="15.0" />
				<Button layoutX="225.0" layoutY="260.0" onAction="#cancel" text="%common.cancel" AnchorPane.bottomAnchor="15.0" AnchorPane.rightAnchor="15.0" AnchorPane.leftAnchor="205.0" />
				<ChoiceBox fx:id="selectSearchStrategy" layoutX="118.0" layoutY="44.0" prefHeight="26.0"
					prefWidth="134.0" value="%verifications.modelchecking.stage.strategy.items.breadthFirst"
					AnchorPane.rightAnchor="20.0" AnchorPane.topAnchor="20.0">
					<tooltip>
						<Tooltip text="%verifications.modelchecking.stage.strategy.tooltip" />
					</tooltip>
					<items>
						<FXCollections fx:factory="observableArrayList">
							<!-- TODO: Get these strings from resource bundle (% references does
								not work here) -->
							<String fx:value="Breadth First" />
							<String fx:value="Depth First" />
							<!--
							<String fx:value="Mixed DF/BF" />
							<String fx:value="Heuristic Function/Random" />
							<String fx:value="Hash-Random" />
							<String fx:value="Random" />
							<String fx:value="Out-Degree for Deadlock Checking" />
							<String fx:value="Disabled Transitions in State" />
							-->
						</FXCollections>
					</items>
				</ChoiceBox>
				<VBox layoutX="11.0" layoutY="69.0" spacing="15.0"
					AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0"
					AnchorPane.bottomAnchor="60.0" AnchorPane.topAnchor="70.0"
					styleClass="dark">
					<CheckBox fx:id="findDeadlocks" selected="true"
						text="%verifications.modelchecking.stage.options.findDeadlocks" />
					<CheckBox fx:id="findInvViolations" selected="true"
						text="%verifications.modelchecking.stage.options.findInvViolations"
						textAlignment="CENTER" />
					<CheckBox fx:id="findBAViolations"
						text="%verifications.modelchecking.stage.options.findBAViolations" />
					<CheckBox fx:id="findGoal" text="%verifications.modelchecking.stage.options.findGoal" />
					<CheckBox fx:id="stopAtFullCoverage"
						text="%verifications.modelchecking.stage.options.stopAtFullCoverage" />
					<CheckBox fx:id="searchForNewErrors" selected="true"
						text="%verifications.modelchecking.stage.options.searchForNewErrors" />
				</VBox>
				<Label layoutX="10.0" layoutY="49.0"
					text="%verifications.modelchecking.stage.strategyLabel" AnchorPane.leftAnchor="20.0"
					AnchorPane.topAnchor="25.0" />
			</AnchorPane><commit_msg>refactored layout of ModelCheckingStage to adjust when the font size or window size changes (resolves PROB2UI-93)<commit_after><?xml version="1.0" encoding="UTF-8"?>

<?import java.lang.String?>
<?import javafx.collections.FXCollections?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.CheckBox?>
<?import javafx.scene.control.ChoiceBox?>
<?import javafx.scene.control.Label?>
<?import javafx.scene.control.Tooltip?>
<?import javafx.scene.layout.AnchorPane?>
<?import javafx.scene.layout.VBox?>
<?import javafx.scene.layout.HBox?>
<?import javafx.scene.Scene?>
<?import javafx.stage.Stage?>

<fx:root type="Stage" fx:id="mcheckStage"
	title="%verifications.modelchecking.stage.title" xmlns:fx="http://javafx.com/fxml/1">
	<scene>
		<Scene fill="TRANSPARENT">
			<AnchorPane stylesheets="@/prob.css" styleClass="dialog">
				<VBox spacing="20.0" AnchorPane.topAnchor="20.0"
					AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0"
					AnchorPane.bottomAnchor="0.0">
					<AnchorPane>
						<HBox AnchorPane.leftAnchor="20.0" AnchorPane.rightAnchor="20.0"
							alignment="CENTER_LEFT">
							<Label text="%verifications.modelchecking.stage.strategyLabel"
								textAlignment="LEFT" />
							<HBox alignment="CENTER_RIGHT" HBox.hgrow="ALWAYS">
								<ChoiceBox fx:id="selectSearchStrategy"
									value="%verifications.modelchecking.stage.strategy.items.breadthFirst">
									<tooltip>
										<Tooltip text="%verifications.modelchecking.stage.strategy.tooltip" />
									</tooltip>
									<items>
										<FXCollections fx:factory="observableArrayList">
											<!-- TODO: Get these strings from resource bundle (% references 
												does not work here) -->
											<String fx:value="Breadth First" />
											<String fx:value="Depth First" />
											<!-- <String fx:value="Mixed DF/BF" /> <String fx:value="Heuristic 
												Function/Random" /> <String fx:value="Hash-Random" /> <String fx:value="Random" 
												/> <String fx:value="Out-Degree for Deadlock Checking" /> <String fx:value="Disabled 
												Transitions in State" /> -->
										</FXCollections>
									</items>
								</ChoiceBox>
							</HBox>
						</HBox>
					</AnchorPane>
					<VBox spacing="15.0" styleClass="dark" VBox.vgrow="ALWAYS"
						alignment="CENTER_LEFT">
						<AnchorPane VBox.vgrow="ALWAYS">
							<CheckBox fx:id="findDeadlocks" selected="true"
								text="%verifications.modelchecking.stage.options.findDeadlocks"
								AnchorPane.topAnchor="0.0" AnchorPane.bottomAnchor="0.0" />
						</AnchorPane>
						<AnchorPane VBox.vgrow="ALWAYS">
							<CheckBox fx:id="findInvViolations" selected="true"
								text="%verifications.modelchecking.stage.options.findInvViolations"
								AnchorPane.topAnchor="0.0" AnchorPane.bottomAnchor="0.0" />
						</AnchorPane>
						<AnchorPane VBox.vgrow="ALWAYS">
							<CheckBox fx:id="findBAViolations"
								text="%verifications.modelchecking.stage.options.findBAViolations"
								AnchorPane.topAnchor="0.0" AnchorPane.bottomAnchor="0.0" />
						</AnchorPane>
						<AnchorPane VBox.vgrow="ALWAYS">
							<CheckBox fx:id="findGoal"
								text="%verifications.modelchecking.stage.options.findGoal"
								AnchorPane.topAnchor="0.0" AnchorPane.bottomAnchor="0.0" />
						</AnchorPane>
						<AnchorPane VBox.vgrow="ALWAYS">
							<CheckBox fx:id="stopAtFullCoverage"
								text="%verifications.modelchecking.stage.options.stopAtFullCoverage"
								AnchorPane.topAnchor="0.0" AnchorPane.bottomAnchor="0.0" />
						</AnchorPane>
						<AnchorPane VBox.vgrow="ALWAYS">
							<CheckBox fx:id="searchForNewErrors" selected="true"
								text="%verifications.modelchecking.stage.options.searchForNewErrors"
								AnchorPane.topAnchor="0.0" AnchorPane.bottomAnchor="0.0" />
						</AnchorPane>
					</VBox>
					<AnchorPane>
						<HBox AnchorPane.leftAnchor="15.0" AnchorPane.rightAnchor="15.0"
							AnchorPane.bottomAnchor="15.0" spacing="10.0">
							<AnchorPane HBox.hgrow="ALWAYS">
								<Button fx:id="startButton" onAction="#startModelCheck"
									text="%verifications.modelchecking.stage.start"
									AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" />
							</AnchorPane>
							<Button onAction="#cancel" text="%common.cancel" />
						</HBox>
					</AnchorPane>
				</VBox>
			</AnchorPane>
{'fraction_non_alphanumeric': 0.15681132817621607, 'fraction_numerical': 0.020846990953192604, 'mean_word_length': 3.8035264483627205, 'pattern_counts': {'":': 0, '<': 124, '<?xml version=': 2, '>': 124, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 6}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2501321', 'n_tokens_mistral': 3262, 'n_tokens_neox': 2470, 'n_words': 352}