<commit_before><?xml version="1.0" encoding="UTF-8"?>
<project name="TLA+ Tools" default="default" xmlns:jacoco="antlib:org.jacoco.ant">

	<!-- load property file -->
	<loadproperties srcfile="project.properties" />

	<!-- linking with system properties -->
	<property environment="env" />

	<!-- setup classpath -->
	<path id="project.classpath">

	</path>

	<!-- timestamp -->
	<tstamp>
		<format property="TODAY" pattern="yyyy-MM-dd" locale="en,US" />
	</tstamp>

	<!-- JaCoCo code coverage -->
    <taskdef uri="antlib:org.jacoco.ant" resource="org/jacoco/ant/antlib.xml">
        <classpath path="lib/jacocoant.jar"/>
    </taskdef>

	<taskdef resource="org/aspectj/tools/ant/taskdefs/aspectjTaskdefs.properties">
		<classpath>
			<pathelement location="lib/aspectjtools.jar" />
		</classpath>
	</taskdef>

	<condition property="test.skip">
		<istrue value="${maven.test.skip}"/>
	</condition>

	<target name="info" description="Prints information">
		<echo message="ANT_HOME     : ${env.ANT_HOME}" />
		<echo message="Ant Version  : ${ant.version}" />
		<echo message="Java Version : ${ant.java.version}" />
		<echo message="Skipping Tests : ${test.skip}" />
		<echo message="With AspectJ: ${withaj}" />
	</target>

	<target name="default" depends="info" description="Default">
		<antcall target="compile" inheritall="true" inheritrefs="true" />
		<antcall target="compile-aj" inheritall="true" inheritrefs="true" />
		<antcall target="test" inheritall="true" inheritrefs="true" />
		<antcall target="dist" inheritall="true" inheritrefs="true" />
		<antcall target="test-dist" inheritall="true" inheritrefs="true" />
	</target>

	<target name="default-release" depends="info" description="Produces a release">
		<antcall target="compile" inheritall="true" inheritrefs="true" />
		<antcall target="dist-mixed-zip" inheritall="true" inheritrefs="true" />
	</target>



	<target name="clean" description="Cleans the compilation output directory" unless="noclean">
		<delete includeemptydirs="true" failonerror="false">
			<fileset dir="${class.dir}" includes="*/**" />
		</delete>
	</target>

	<target name="compile" depends="clean" description="Compile">
		<!-- compile -->
		<mkdir dir="${class.dir}" />
		<javac srcdir="${src.dir}" destdir="${class.dir}" debug="true" verbose="false" source="1.5" target="1.5">
			<!-- compilerarg value="-Xlint:deprecation"/-->
			<classpath refid="project.classpath" />
		</javac>

		<!-- copy the resource files -->
		<copy todir="${class.dir}">
			<fileset dir="${src.dir}">
				<include name="**/*.*" />
				<exclude name="**/*.java" />
				<exclude name="**/*.~*" />
				<exclude name="**/*##*" />
			</fileset>
		</copy>
	</target>

	<target name="compile-aj" depends="compile" if="withaj">
		<!-- compile aspectj related class files -->
		<iajc destdir="${class.dir}" sourceRoots="${src-aj.dir}" debug="true" source="1.5" target="1.5">
			<classpath refid="project.classpath" />
			<classpath>
				<pathelement location="lib/aspectjrt.jar" />
				<pathelement location="lib/aspectjtools.jar" /><commit_msg>Purge test classes as part of Ant's clean target to avoid running stale tests.<commit_after><?xml version="1.0" encoding="UTF-8"?>
<project name="TLA+ Tools" default="default" xmlns:jacoco="antlib:org.jacoco.ant">

	<!-- load property file -->
	<loadproperties srcfile="project.properties" />

	<!-- linking with system properties -->
	<property environment="env" />

	<!-- setup classpath -->
	<path id="project.classpath">

	</path>

	<!-- timestamp -->
	<tstamp>
		<format property="TODAY" pattern="yyyy-MM-dd" locale="en,US" />
	</tstamp>

	<!-- JaCoCo code coverage -->
    <taskdef uri="antlib:org.jacoco.ant" resource="org/jacoco/ant/antlib.xml">
        <classpath path="lib/jacocoant.jar"/>
    </taskdef>

	<taskdef resource="org/aspectj/tools/ant/taskdefs/aspectjTaskdefs.properties">
		<classpath>
			<pathelement location="lib/aspectjtools.jar" />
		</classpath>
	</taskdef>

	<condition property="test.skip">
		<istrue value="${maven.test.skip}"/>
	</condition>

	<target name="info" description="Prints information">
		<echo message="ANT_HOME     : ${env.ANT_HOME}" />
		<echo message="Ant Version  : ${ant.version}" />
		<echo message="Java Version : ${ant.java.version}" />
		<echo message="Skipping Tests : ${test.skip}" />
		<echo message="With AspectJ: ${withaj}" />
	</target>

	<target name="default" depends="info" description="Default">
		<antcall target="compile" inheritall="true" inheritrefs="true" />
		<antcall target="compile-aj" inheritall="true" inheritrefs="true" />
		<antcall target="test" inheritall="true" inheritrefs="true" />
		<antcall target="dist" inheritall="true" inheritrefs="true" />
		<antcall target="test-dist" inheritall="true" inheritrefs="true" />
	</target>

	<target name="default-release" depends="info" description="Produces a release">
		<antcall target="compile" inheritall="true" inheritrefs="true" />
		<antcall target="dist-mixed-zip" inheritall="true" inheritrefs="true" />
	</target>



	<target name="clean" description="Cleans the compilation output directory" unless="noclean">
		<delete includeemptydirs="true" failonerror="false">
			<fileset dir="${class.dir}" includes="*/**" />
			<fileset dir="${test.class.dir}" includes="*/**" />
		</delete>
	</target>

	<target name="compile" depends="clean" description="Compile">
		<!-- compile -->
		<mkdir dir="${class.dir}" />
		<javac srcdir="${src.dir}" destdir="${class.dir}" debug="true" verbose="false" source="1.5" target="1.5">
			<!-- compilerarg value="-Xlint:deprecation"/-->
			<classpath refid="project.classpath" />
		</javac>

		<!-- copy the resource files -->
		<copy todir="${class.dir}">
			<fileset dir="${src.dir}">
				<include name="**/*.*" />
				<exclude name="**/*.java" />
				<exclude name="**/*.~*" />
				<exclude name="**/*##*" />
			</fileset>
		</copy>
	</target>

	<target name="compile-aj" depends="compile" if="withaj">
		<!-- compile aspectj related class files -->
		<iajc destdir="${class.dir}" sourceRoots="${src-aj.dir}" debug="true" source="1.5" target="1.5">
			<classpath refid="project.classpath" />
			<classpath>
				<pathelement location="lib/aspectjrt.jar" />
				<pathelement location="lib/aspectjtools.jar" />
{'fraction_non_alphanumeric': 0.20944426598136845, 'fraction_numerical': 0.0035335689045936395, 'mean_word_length': 4.530195381882771, 'pattern_counts': {'":': 0, '<': 148, '<?xml version=': 2, '>': 148, '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': '7116667', 'n_tokens_mistral': 2240, 'n_tokens_neox': 2037, 'n_words': 400}