Download typechecker-2.2.2.jar file

Introduction

You can download typechecker-2.2.2.jar in this page.

License

Open Source

Type List

typechecker-2.2.2.jar file has the following types.

META-INF/MANIFEST.MF
META-INF/maven/org.overturetool.core/typechecker/pom.properties
META-INF/maven/org.overturetool.core/typechecker/pom.xml
org.overture.ast.factory.AstFactoryTC.class
org.overture.typechecker.ClassTypeChecker.class
org.overture.typechecker.Environment.class
org.overture.typechecker.ExcludedDefinitions.class
org.overture.typechecker.FlatCheckedEnvironment.class
org.overture.typechecker.FlatEnvironment.class
org.overture.typechecker.LexNameTokenAssistant.class
org.overture.typechecker.ModuleEnvironment.class
org.overture.typechecker.ModuleTypeChecker.class
org.overture.typechecker.PrivateClassEnvironment.class
org.overture.typechecker.PublicClassEnvironment.class
org.overture.typechecker.TypeCheckException.class
org.overture.typechecker.TypeCheckInfo.class
org.overture.typechecker.TypeChecker.class
org.overture.typechecker.TypeCheckerErrors.class
org.overture.typechecker.TypeComparator.class
org.overture.typechecker.assistant.ITypeCheckerAssistantFactory.class
org.overture.typechecker.assistant.TypeCheckerAssistantFactory.class
org.overture.typechecker.assistant.definition.ABusClassDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.ACpuClassDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AExplicitFunctionDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AExplicitOperationDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AImplicitFunctionDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AImplicitOperationDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AInstanceVariableDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.ALocalDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AStateDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.AThreadDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.ATypeDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.PAccessSpecifierAssistantTC.class
org.overture.typechecker.assistant.definition.PDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.PDefinitionListAssistantTC.class
org.overture.typechecker.assistant.definition.PDefinitionSet.class
org.overture.typechecker.assistant.definition.PTraceDefinitionAssistantTC.class
org.overture.typechecker.assistant.definition.SClassDefinitionAssistantTC.class
org.overture.typechecker.assistant.expression.AApplyExpAssistantTC.class
org.overture.typechecker.assistant.expression.ACaseAlternativeAssistantTC.class
org.overture.typechecker.assistant.expression.PExpAssistantTC.class
org.overture.typechecker.assistant.expression.SBinaryExpAssistantTC.class
org.overture.typechecker.assistant.module.AFromModuleImportsAssistantTC.class
org.overture.typechecker.assistant.module.AModuleExportsAssistantTC.class
org.overture.typechecker.assistant.module.AModuleImportsAssistantTC.class
org.overture.typechecker.assistant.module.AModuleModulesAssistantTC.class
org.overture.typechecker.assistant.module.PExportAssistantTC.class
org.overture.typechecker.assistant.module.PImportAssistantTC.class
org.overture.typechecker.assistant.pattern.AMapletPatternMapletAssistantTC.class
org.overture.typechecker.assistant.pattern.APatternTypePairAssistant.class
org.overture.typechecker.assistant.pattern.ASetBindAssistantTC.class
org.overture.typechecker.assistant.pattern.ATypeBindAssistantTC.class
org.overture.typechecker.assistant.pattern.PBindAssistantTC.class
org.overture.typechecker.assistant.pattern.PMultipleBindAssistantTC.class
org.overture.typechecker.assistant.pattern.PPatternAssistantTC.class
org.overture.typechecker.assistant.pattern.PPatternBindAssistantTC.class
org.overture.typechecker.assistant.pattern.PPatternListAssistantTC.class
org.overture.typechecker.assistant.pattern.PatternListTC.class
org.overture.typechecker.assistant.statement.ABlockSimpleBlockStmAssistantTC.class
org.overture.typechecker.assistant.statement.ACallObjectStatementAssistantTC.class
org.overture.typechecker.assistant.statement.ACallStmAssistantTC.class
org.overture.typechecker.assistant.statement.AExternalClauseAssistantTC.class
org.overture.typechecker.assistant.statement.ANonDeterministicSimpleBlockStmAssistantTC.class
org.overture.typechecker.assistant.statement.PStateDesignatorAssistantTC.class
org.overture.typechecker.assistant.statement.PStmAssistantTC.class
org.overture.typechecker.assistant.type.AApplyObjectDesignatorAssistantTC.class
org.overture.typechecker.assistant.type.AClassTypeAssistantTC.class
org.overture.typechecker.assistant.type.AFunctionTypeAssistantTC.class
org.overture.typechecker.assistant.type.AOperationTypeAssistantTC.class
org.overture.typechecker.assistant.type.APatternListTypePairAssistantTC.class
org.overture.typechecker.assistant.type.ARecordInvariantTypeAssistantTC.class
org.overture.typechecker.assistant.type.AUnionTypeAssistantTC.class
org.overture.typechecker.assistant.type.PTypeAssistantTC.class
org.overture.typechecker.util.HackLexNameToken.class
org.overture.typechecker.util.LexNameTokenEntry.class
org.overture.typechecker.util.LexNameTokenMap.class
org.overture.typechecker.util.LexNameTokenWrapper.class
org.overture.typechecker.util.TypeCheckerUtil.class
org.overture.typechecker.utilities.CallableOperationChecker.class
org.overture.typechecker.utilities.ComposeTypeCollector.class
org.overture.typechecker.utilities.DefinitionCollector.class
org.overture.typechecker.utilities.DefinitionEqualityChecker.class
org.overture.typechecker.utilities.DefinitionFinder.class
org.overture.typechecker.utilities.DefinitionTypeFinder.class
org.overture.typechecker.utilities.DefinitionTypeResolver.class
org.overture.typechecker.utilities.Dereferer.class
org.overture.typechecker.utilities.ExitTypeCollector.class
org.overture.typechecker.utilities.FunctionChecker.class
org.overture.typechecker.utilities.ImplicitDefinitionFinder.class
org.overture.typechecker.utilities.KindFinder.class
org.overture.typechecker.utilities.NameFinder.class
org.overture.typechecker.utilities.OperationChecker.class
org.overture.typechecker.utilities.PTypeFunctionChecker.class
org.overture.typechecker.utilities.SelfDefinitionFinder.class
org.overture.typechecker.utilities.UnusedChecker.class
org.overture.typechecker.utilities.UpdatableChecker.class
org.overture.typechecker.utilities.UsedChecker.class
org.overture.typechecker.utilities.UsedMarker.class
org.overture.typechecker.utilities.VariableNameCollector.class
org.overture.typechecker.utilities.expression.ExportDefinitionFinder.class
org.overture.typechecker.utilities.expression.ExportDefinitionListFinder.class
org.overture.typechecker.utilities.expression.ImportDefinitionFinder.class
org.overture.typechecker.utilities.expression.PreNameFinder.class
org.overture.typechecker.utilities.pattern.AllDefinitionLocator.class
org.overture.typechecker.utilities.pattern.AlwaysMatchingPatternChecker.class
org.overture.typechecker.utilities.pattern.MatchingExpressionFinder.class
org.overture.typechecker.utilities.pattern.MultipleBindLister.class
org.overture.typechecker.utilities.pattern.PatternResolver.class
org.overture.typechecker.utilities.pattern.PatternUnresolver.class
org.overture.typechecker.utilities.pattern.PossibleBindTypeFinder.class
org.overture.typechecker.utilities.pattern.PossibleTypeFinder.class
org.overture.typechecker.utilities.pattern.SimplePatternChecker.class
org.overture.typechecker.utilities.type.ClassBasisChecker.class
org.overture.typechecker.utilities.type.ClassTypeFinder.class
org.overture.typechecker.utilities.type.ConcreateTypeImplementor.class
org.overture.typechecker.utilities.type.FunctionTypeFinder.class
org.overture.typechecker.utilities.type.MapBasisChecker.class
org.overture.typechecker.utilities.type.MapTypeFinder.class
org.overture.typechecker.utilities.type.NarrowerThanComparator.class
org.overture.typechecker.utilities.type.OperationBasisChecker.class
org.overture.typechecker.utilities.type.OperationTypeFinder.class
org.overture.typechecker.utilities.type.PTypeExtendedChecker.class
org.overture.typechecker.utilities.type.PTypeFinder.class
org.overture.typechecker.utilities.type.PTypeResolver.class
org.overture.typechecker.utilities.type.ProductBasisChecker.class
org.overture.typechecker.utilities.type.ProductExtendedChecker.class
org.overture.typechecker.utilities.type.ProductExtendedTypeFinder.class
org.overture.typechecker.utilities.type.ProductTypeFinder.class
org.overture.typechecker.utilities.type.QualifiedDefinition.class
org.overture.typechecker.utilities.type.RecordBasisChecker.class
org.overture.typechecker.utilities.type.RecordTypeFinder.class
org.overture.typechecker.utilities.type.SeqBasisChecker.class
org.overture.typechecker.utilities.type.SeqTypeFinder.class
org.overture.typechecker.utilities.type.SetBasisChecker.class
org.overture.typechecker.utilities.type.SetTypeFinder.class
org.overture.typechecker.utilities.type.TagBasisChecker.class
org.overture.typechecker.utilities.type.TypeDisplayer.class
org.overture.typechecker.utilities.type.TypeEqualityChecker.class
org.overture.typechecker.utilities.type.TypeUnresolver.class
org.overture.typechecker.utilities.type.TypeUnwrapper.class
org.overture.typechecker.utilities.type.UnionBasisChecker.class
org.overture.typechecker.utilities.type.UnionTypeFinder.class
org.overture.typechecker.utilities.type.VoidBasisChecker.class
org.overture.typechecker.utilities.type.VoidExistanceChecker.class
org.overture.typechecker.visitor.AbstractTypeCheckVisitor.class
org.overture.typechecker.visitor.QualificationVisitor.class
org.overture.typechecker.visitor.TypeCheckVisitor.class
org.overture.typechecker.visitor.TypeCheckerDefinitionVisitor.class
org.overture.typechecker.visitor.TypeCheckerExpVisitor.class
org.overture.typechecker.visitor.TypeCheckerImportsVisitor.class
org.overture.typechecker.visitor.TypeCheckerOthersVisitor.class
org.overture.typechecker.visitor.TypeCheckerPatternVisitor.class
org.overture.typechecker.visitor.TypeCheckerStmVisitor.class

Pom

typechecker-2.2.2.pom file content.

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
  <modelVersion>4.0.0</modelVersion>
	
  <parent>
    <groupId>org.overturetool</groupId>
    <artifactId>core</artifactId>
    <version>2.2.2</version>
    <relativePath>../pom.xml</relativePath>
  </parent>

  <groupId>org.overturetool.core</groupId>
  <artifactId>typechecker</artifactId>
  <name>The VDM Type Checker </name>

  <dependencies>
  
  <dependency>
			<groupId>junit</groupId>
			<artifactId>junit</artifactId>
			<version>4.11</version>
		</dependency>
  
    <dependency>
      <groupId>org.overturetool.core</groupId>
      <artifactId>ast</artifactId>
      <version>${project.version}</version>
    </dependency>		
    <dependency>
      <groupId>org.overturetool.core</groupId>
      <artifactId>parser</artifactId>
      <version>${project.version}</version>
    </dependency>
    <dependency>
      <groupId>org.overturetool.core</groupId>
      <artifactId>testframework</artifactId>
      <version>${project.version}</version>
    </dependency>
  </dependencies>

  <build>
    <plugins>
      <plugin>
	<groupId>org.apache.maven.plugins</groupId>
	<artifactId>maven-surefire-plugin</artifactId>
	<configuration>
	  <includes>
	    <include>**/*Test.java</include>
	    <include>**/*Test?.java</include>
	    <include>**/*TestSuite.java</include>
	  </includes>
	</configuration>
      </plugin>
      <plugin>
	<groupId>org.apache.maven.plugins</groupId>
        <artifactId>maven-assembly-plugin</artifactId>
        <configuration>
          <descriptorRefs>
            <descriptorRef>jar-with-dependencies</descriptorRef>
          </descriptorRefs>
        </configuration>
      </plugin>
    </plugins>


 <pluginManagement>
      <plugins>
  <!-- Plugin for license headers-->
         <plugin>
          <groupId>org.codehaus.mojo</groupId>
          <artifactId>license-maven-plugin</artifactId>
          <version>1.7</version>
           <configuration>
              <excludes>
                <exclude>**/ClassTypeChecker.java</exclude>
<exclude>**/Environment.java</exclude>
<exclude>**/FlatCheckedEnvironment.java</exclude>
<exclude>**/FlatEnvironment.java</exclude>
<exclude>**/ModuleEnvironment.java</exclude>
<exclude>**/ModuleTypeChecker.java</exclude>
<exclude>**/PrivateClassEnvironment.java</exclude>
<exclude>**/PublicClassEnvironment.java</exclude>
<exclude>**/TypeCheckException.java</exclude>
<exclude>**/TypeChecker.java</exclude>
<exclude>**/TypeComparator.java</exclude>
              </excludes>
        </configuration>
        </plugin>
 </plugins>
    </pluginManagement>
  </build>
</project>

POM Entry

<dependency>
   <groupId>org.overturetool.core</groupId>
   <artifactId>typechecker</artifactId>
   <version>2.2.2</version>
</dependency>

Download

If you think the following typechecker-2.2.2.jar downloaded from Maven central repository is inappropriate, such as containing malicious code/tools or violating the copyright, please email , thanks.

Download typechecker-2.2.2.jar file

Previous Next