tcl/tests/org.eclipse.dltk.tcl.validators.tests/src/org/eclipse/dltk/tcl/validators/internal/tests/ArgumentsDefinitionCheckTest.java

/*******************************************************************************
 * Copyright (c) 2008 xored software, Inc.  
 *
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License v. 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 * 
 * SPDX-License-Identifier: EPL-2.0  
 *
 * Contributors:
 *     xored software, Inc. - initial API and Implementation (Andrei Sobolev)
 *******************************************************************************/

package org.eclipse.dltk.tcl.validators.internal.tests;

import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;

import junit.framework.TestCase;

import org.eclipse.dltk.tcl.ast.Script;
import org.eclipse.dltk.tcl.ast.TclArgument;
import org.eclipse.dltk.tcl.ast.TclCommand;
import org.eclipse.dltk.tcl.internal.validators.ICheckKinds;
import org.eclipse.dltk.tcl.internal.validators.checks.ArgumentsDefinitionCheck;
import org.eclipse.dltk.tcl.parser.TclError;
import org.eclipse.dltk.tcl.parser.TclErrorCollector;
import org.eclipse.dltk.tcl.parser.TclParser;
import org.eclipse.dltk.tcl.parser.definitions.DefinitionManager;
import org.eclipse.dltk.tcl.parser.definitions.NamespaceScopeProcessor;
import org.eclipse.dltk.tcl.parser.tests.TestUtils;
import org.eclipse.dltk.tcl.validators.ITclCheck;
import org.eclipse.dltk.utils.TextUtils;
import org.eclipse.emf.common.util.EList;

public class ArgumentsDefinitionCheckTest extends TestCase {
	NamespaceScopeProcessor processor = DefinitionManager.getInstance()
			.createProcessor();

	public void test001() throws Exception {
		String source = "proc cmd arg {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test002() throws Exception {
		String source = "proc cmd {arg} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test003() throws Exception {
		String source = "proc cmd {arg1 arg2} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test004() throws Exception {
		String source = "proc cmd {arg1 {arg2 def2}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test005() throws Exception {
		String source = "proc cmd {arg1 {arg2 def2} {arg3 def3} args} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test006() throws Exception {
		String source = "proc cmd {{arg1} {{arg2}}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test007() throws Exception {
		String source = "proc cmd {} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test008() throws Exception {
		String source = "proc cmd {arg1 {arg2 def2 def22} args} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(TclErrorCollector.EXTRA_ARGUMENTS);
		errorCodes.add(ICheckKinds.CHECK_BAD_ARG_DEFINITION);
		typedCheck(source, errorCodes);
	}

	public void test009() throws Exception {
		String source = "proc cmd {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(TclErrorCollector.MISSING_ARGUMENT);
		typedCheck(source, errorCodes);
	}

	public void test010() throws Exception {
		String source = "proc cmd arg1 puts alpha";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(TclErrorCollector.MISSING_ARGUMENT);
		errorCodes.add(TclErrorCollector.EXTRA_ARGUMENTS);
		typedCheck(source, errorCodes);
	}

	public void test011() throws Exception {
		String source = "proc cmd {{{{arg1}}}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_BAD_ARG_DEFINITION);
		typedCheck(source, errorCodes);
	}

	public void test013() throws Exception {
		String source = "proc cmd \"arg0 {{arg1}} {{arg2} {def2}} args\" {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test016() throws Exception {
		String source = "proc cmd10 \"arg\" {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test017() throws Exception {
		String source = "proc cmd11 $arg {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test024() throws Exception {
		String source = "proc cmd7 [arg0] {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test025() throws Exception {
		String source = "proc cmd7 arg0$s {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test026() throws Exception {
		String source = "proc cmd7 arg0[lala] {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test027() throws Exception {
		String source = "proc cmd {arg0 {arg1 def1} arg2} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_NON_DEF_AFTER_DEF);
		typedCheck(source, errorCodes);
	}

	public void test028() throws Exception {
		String source = "proc cmd {arg0 args arg2} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_ARG_AFTER_ARGS);
		typedCheck(source, errorCodes);
	}

	public void test030() throws Exception {
		String source = "proc cmd {arg0 {args def}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_ARGS_DEFAULT);
		typedCheck(source, errorCodes);
	}

	public void test031() throws Exception {
		String source = "proc cmd {arg0 {{{arg1}}}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_BAD_ARG_DEFINITION);
		typedCheck(source, errorCodes);
	}

	public void test033() throws Exception {
		String source = "proc cmd {arg {}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_BAD_ARG_DEFINITION);
		typedCheck(source, errorCodes);
	}

	public void test034() throws Exception {
		String source = "proc cmd {arg {arg}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_SAME_ARG_NAME);
		typedCheck(source, errorCodes);
	}

	public void test035() throws Exception {
		String source = "apply {{args arg} {puts alpha}} 1 2";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_ARG_AFTER_ARGS);
		typedCheck(source, errorCodes);
	}

	public void test036() throws Exception {
		String source = "proc cmd {{args {}}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test037() throws Exception {
		String source = "proc cmd {{args {value}}} {puts alpha}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_ARGS_DEFAULT);
		typedCheck(source, errorCodes);
	}

	public void test038() throws Exception {
		String source = "proc a {{a b} {c {}}} {}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		typedCheck(source, errorCodes);
	}

	public void test039() throws Exception {
		String source = "apply {{{args def}} {}} {}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_ARGS_DEFAULT);
		typedCheck(source, errorCodes);
	}

	public void test040() throws Exception {
		String source = "apply {{{arg1 def} arg2} {}} {}";
		List<Integer> errorCodes = new ArrayList<Integer>();
		errorCodes.add(ICheckKinds.CHECK_NON_DEF_AFTER_DEF);
		typedCheck(source, errorCodes);
	}

	private void typedCheck(String source, List<Integer> errorCodes)
			throws Exception {
		StackTraceElement[] stackTrace = Thread.currentThread().getStackTrace();
		StackTraceElement element = stackTrace[2];
		System.out.println("%%%%%%%%%%%%%%%%Test:" + element.getMethodName());
		TclParser parser = TestUtils.createParser();
		TclErrorCollector errors = new TclErrorCollector();
		List<TclCommand> module = parser.parse(source, errors, processor);
		TestCase.assertEquals(1, module.size());
		ITclCheck check = new ArgumentsDefinitionCheck();
		check.checkCommands(module, errors, new HashMap<String, String>(),
				null, TextUtils.createLineTracker(source));

		TclCommand tclCommand = module.get(0);
		EList<TclArgument> arguments = tclCommand.getArguments();
		int scripts = 0;
		for (int i = 0; i < arguments.size(); i++) {
			if (arguments.get(i) instanceof Script) {
				scripts++;
			}
		}
		if (errors.getCount() > 0) {
			TestUtils.outErrors(source, errors);
		}
		TestCase.assertEquals(errorCodes.size(), errors.getCount());
		int count = 0;
		for (int code : errorCodes) {
			for (TclError tclError : errors.getErrors()) {
				if (tclError.getCode() == code)
					count++;
			}
		}
		TestCase.assertEquals(errorCodes.size(), count);
		// DefinitionsBuilder db = new DefinitionsBuilder(module);
		// SynopsisBuilder sb = new SynopsisBuilder(db.getDefinitions().get(0));
		// System.out.println(sb.getSynopsis());
	}
}