<commit_before>package lu.svv.offline.check;

import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.io.InputStream;
import java.util.Arrays;
import java.util.HashMap;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
import java.util.Map.Entry;

import lu.svv.offline.check.impl.CheckFactoryImpl;
import lu.svv.offline.oclr.OCLRConstraint;
import lu.svv.offline.oclr.OclrPackage;
import lu.svv.offline.trace.Trace;
import lu.svv.offline.trace.TracePackage;

import org.eclipse.emf.common.util.URI;
import org.eclipse.emf.ecore.EClassifier;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.impl.EPackageRegistryImpl;
import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.ecore.resource.ResourceSet;
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
import org.eclipse.ocl.OCL;
import org.eclipse.ocl.OCLInput;
import org.eclipse.ocl.ParserException;
import org.eclipse.ocl.ecore.Constraint;
import org.eclipse.ocl.ecore.EcoreEnvironmentFactory;
import org.eclipse.ocl.expressions.OCLExpression;
import org.eclipse.ocl.helper.OCLHelper;

public class OfflineCheck {
	private Monitor monitor;
	private static final String oclOperationsFile = "../lu.svv.offline/lib/oclr.ocl";

	public static void main(String[] args) {
		//check_globally();
	}

	// This method is used for checking the OCLR properties p1-p12. Please change the lists if you only want to check subsets of the properties and traces
	public static void check_globally(){
		List<Integer> iList = Arrays.asList(100000, 200000, 300000, 400000, 500000, 600000, 700000, 800000, 900000, 1000000); // indexes of the traces: various trace lengths
		List<Integer> properties = Arrays.asList(1,2,3,4,5,6,7,8,9,10,11,12); // properties p1-p12
		Iterator<Integer> iterProperty = properties.iterator();<commit_msg>forgot importing packages<commit_after>package lu.svv.offline.check;

import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.io.InputStream;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
import java.util.Map.Entry;
import java.util.Scanner;
import java.util.Set;

import lu.svv.offline.check.impl.CheckFactoryImpl;
import lu.svv.offline.oclr.BiScope;
import lu.svv.offline.oclr.EventChainElement;
import lu.svv.offline.oclr.OCLRConstraint;
import lu.svv.offline.oclr.OCLRExpression;
import lu.svv.offline.oclr.OccurrencePattern;
import lu.svv.offline.oclr.OclrPackage;
import lu.svv.offline.oclr.OrderPattern;
import lu.svv.offline.oclr.Pattern;
import lu.svv.offline.oclr.Scope;
import lu.svv.offline.oclr.UniScope;
import lu.svv.offline.trace.Event;
import lu.svv.offline.trace.TimeStamp;
import lu.svv.offline.trace.Trace;
import lu.svv.offline.trace.TraceElement;
import lu.svv.offline.trace.TraceFactory;
import lu.svv.offline.trace.TracePackage;
import lu.svv.offline.trace.impl.TraceFactoryImpl;
import org.eclipse.emf.common.util.URI;
import org.eclipse.emf.ecore.EClassifier;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.impl.EPackageRegistryImpl;
import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.ecore.resource.ResourceSet;
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
import org.eclipse.ocl.OCL;
import org.eclipse.ocl.OCLInput;
import org.eclipse.ocl.ParserException;
import org.eclipse.ocl.ecore.Constraint;
import org.eclipse.ocl.ecore.EcoreEnvironmentFactory;
import org.eclipse.ocl.expressions.OCLExpression;
import org.eclipse.ocl.helper.OCLHelper;

public class OfflineCheck {
	private Monitor monitor;
	private static final String oclOperationsFile = "../lu.svv.offline/lib/oclr.ocl";

	public static void main(String[] args) {
		//check_globally();
	}

	// This method is used for checking the OCLR properties p1-p12. Please change the lists if you only want to check subsets of the properties and traces
	public static void check_globally(){
		List<Integer> iList = Arrays.asList(100000, 200000, 300000, 400000, 500000, 600000, 700000, 800000, 900000, 1000000); // indexes of the traces: various trace lengths
		List<Integer> properties = Arrays.asList(1,2,3,4,5,6,7,8,9,10,11,12); // properties p1-p12
		Iterator<Integer> iterProperty = properties.iterator();
{'fraction_non_alphanumeric': 0.11562088635366388, 'fraction_numerical': 0.035980693286529176, 'mean_word_length': 5.540889526542324, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, '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': '1053040', 'n_tokens_mistral': 1689, 'n_tokens_neox': 1546, 'n_words': 311}