| 组织ID: |
org.whiley |
| 项目ID: |
wyc |
| 版本: |
0.4.5 |
| 最后修改时间: |
2019-11-02 11:43:13 |
| 包类型: |
jar |
| 标题: |
BSD 3-Clause License |
| 描述: |
The Whiley Compiler is a component of the Whiley Compiler
Collection which is responsible for compiling Whiley source files
into binary WyIL files. The compiler supports compile-time
verification of source files.
|
| 大小: |
599.17KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wyc</artifactId>
<version>0.4.5</version>
</dependency>
|
| Gradle引入代码: |
org.whiley:wyc:0.4.5
|
| 下载Jar包: |
|
| POM文件内容: |
<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/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<!-- ============================================== -->
<!-- Configuration -->
<!-- ============================================== -->
<groupId>org.whiley</groupId>
<artifactId>wyc</artifactId>
<version>0.4.5</version>
<packaging>jar</packaging>
<licenses>
<license>
<name>BSD 3-Clause License</name>
<distribution>repo</distribution>
</license>
</licenses>
<!-- ============================================== -->
<!-- Description -->
<!-- ============================================== -->
<name>Whiley Compiler (WyC)</name>
<description>
The Whiley Compiler is a component of the Whiley Compiler
Collection which is responsible for compiling Whiley source files
into binary WyIL files. The compiler supports compile-time
verification of source files.
</description>
<url>http://whiley.org</url>
<scm>
<url>https://github.com/Whiley/WhileyCompiler</url>
</scm>
<developers>
<developer>
<id>redjamjar</id>
<name>David J. Pearce</name>
<email>david.pearce@ecs.vuw.ac.nz</email>
<url>http://www.ecs.vuw.ac.nz/~djp</url>
</developer>
</developers>
<!-- ============================================== -->
<!-- Dependencies -->
<!-- ============================================== -->
<dependencies>
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wycc</artifactId>
<version>LATEST</version>
</dependency>
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wytp</artifactId>
<version>LATEST</version>
</dependency>
<dependency>
<groupId>ant</groupId>
<artifactId>ant</artifactId>
<version>1.7.0</version>
</dependency>
<dependency>
<groupId>junit</groupId>
<artifactId>junit</artifactId>
<version>4.12</version>
<scope>test</scope>
</dependency>
</dependencies>
<!-- ============================================== -->
<!-- Deployment -->
<!-- ============================================== -->
<distributionManagement>
<snapshotRepository>
<id>ossrh</id>
<url>https://oss.sonatype.org/content/repositories/snapshots</url>
</snapshotRepository>
<repository>
<id>ossrh</id>
<url>https://oss.sonatype.org/service/local/staging/deploy/maven2/</url>
</repository>
</distributionManagement>
<!-- ============================================== -->
<!-- Build Config -->
<!-- ============================================== -->
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-compiler-plugin</artifactId>
<version>3.5.1</version>
<configuration>
<source>1.8</source>
<target>1.8</target>
</configuration>
</plugin>
<!-- ============================================== -->
<!-- Testing -->
<!-- ============================================== -->
<!-- ============================================== -->
<!-- Sources Attachment -->
<!-- ============================================== -->
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-source-plugin</artifactId>
<version>2.2.1</version>
<executions>
<execution>
<id>attach-sources</id>
<goals>
<goal>jar-no-fork</goal>
</goals>
</execution>
</executions>
</plugin>
<!-- ============================================== -->
<!-- JavaDoc Attachment -->
<!-- ============================================== -->
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<version>2.9.1</version>
<executions>
<execution>
<id>attach-javadocs</id>
<goals>
<goal>jar</goal>
</goals>
<configuration>
<additionalparam>-Xdoclint:none</additionalparam>
</configuration>
</execution>
</executions>
</plugin>
<!-- ============================================== -->
<!-- GPG Signing -->
<!-- ============================================== -->
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-gpg-plugin</artifactId>
<version>1.5</version>
<executions>
<execution>
<id>sign-artifacts</id>
<phase>verify</phase>
<goals>
<goal>sign</goal>
</goals>
</execution>
</executions>
</plugin>
<!-- ============================================== -->
<!-- Deployment -->
<!-- ============================================== -->
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-release-plugin</artifactId>
<version>2.5</version>
<configuration>
<useReleaseProfile>false</useReleaseProfile>
<releaseProfiles>release</releaseProfiles>
<goals>deploy</goals>
</configuration>
</plugin>
<plugin>
<groupId>org.sonatype.plugins</groupId>
<artifactId>nexus-staging-maven-plugin</artifactId>
<version>1.6.7</version>
<extensions>true</extensions>
<configuration>
<serverId>ossrh</serverId>
<nexusUrl>https://oss.sonatype.org/</nexusUrl>
<autoReleaseAfterClose>true</autoReleaseAfterClose>
</configuration>
</plugin>
</plugins>
</build>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
wyautl_old.io.BinaryAutomataReader.class
wyautl_old.io.BinaryAutomataWriter.class
wyautl_old.io.GenericReader.class
wyautl_old.io.GenericWriter.class
wyautl_old.io.TextAutomataWriter.class
wyautl_old.lang.Automata$Morphism.class
wyautl_old.lang.Automata.class
wyautl_old.lang.Automaton$State.class
wyautl_old.lang.Automaton.class
wyautl_old.lang.DefaultInterpretation$Term.class
wyautl_old.lang.DefaultInterpretation.class
wyautl_old.lang.DefaultSubsumption.class
wyautl_old.lang.Interpretation.class
wyautl_old.lang.Relation.class
wyautl_old.util.BinaryMatrix.class
wyautl_old.util.Filter.class
wyautl_old.util.Generator$1.class
wyautl_old.util.Generator$Config.class
wyautl_old.util.Generator$Data.class
wyautl_old.util.Generator$Kind.class
wyautl_old.util.Generator$Template.class
wyautl_old.util.Generator.class
wyautl_old.util.Tester.class
wyc.Activator$1.class
wyc.Activator$Registry.class
wyc.Activator.class
wyc.builder.CodeGenerator$1.class
wyc.builder.CodeGenerator$EnclosingScope.class
wyc.builder.CodeGenerator$FlowResult.class
wyc.builder.CodeGenerator.class
wyc.builder.CompileTask.class
wyc.builder.DecompileTask.class
wyc.builder.DefiniteAssignmentAnalysis$ControlFlow.class
wyc.builder.DefiniteAssignmentAnalysis$DefintelyAssignedSet.class
wyc.builder.DefiniteAssignmentAnalysis.class
wyc.builder.FlowTypeChecker$1.class
wyc.builder.FlowTypeChecker$Environment.class
wyc.builder.FlowTypeChecker$ValidCandidate.class
wyc.builder.FlowTypeChecker.class
wyc.commands.Compile$Result.class
wyc.commands.Compile.class
wyc.commands.Decompile$Result.class
wyc.commands.Decompile.class
wyc.commands.Run$Result.class
wyc.commands.Run.class
wyc.io.WhileyFileLexer$1.class
wyc.io.WhileyFileLexer$2.class
wyc.io.WhileyFileLexer$Token$Kind.class
wyc.io.WhileyFileLexer$Token.class
wyc.io.WhileyFileLexer.class
wyc.io.WhileyFileParser$1.class
wyc.io.WhileyFileParser$2.class
wyc.io.WhileyFileParser$EnclosingScope.class
wyc.io.WhileyFileParser$Indent.class
wyc.io.WhileyFileParser.class
wyc.io.WhileyFilePrinter$1.class
wyc.io.WhileyFilePrinter.class
wyc.lang.Expr$1.class
wyc.lang.Expr$AbstractFunctionOrMethod.class
wyc.lang.Expr$AbstractIndirectInvoke.class
wyc.lang.Expr$AbstractInvoke.class
wyc.lang.Expr$AbstractVariable.class
wyc.lang.Expr$ArrayGenerator.class
wyc.lang.Expr$ArrayInitialiser.class
wyc.lang.Expr$AssignedVariable.class
wyc.lang.Expr$BinOp.class
wyc.lang.Expr$BOp$1.class
wyc.lang.Expr$BOp$10.class
wyc.lang.Expr$BOp$11.class
wyc.lang.Expr$BOp$12.class
wyc.lang.Expr$BOp$13.class
wyc.lang.Expr$BOp$14.class
wyc.lang.Expr$BOp$15.class
wyc.lang.Expr$BOp$16.class
wyc.lang.Expr$BOp$17.class
wyc.lang.Expr$BOp$18.class
wyc.lang.Expr$BOp$19.class
wyc.lang.Expr$BOp$2.class
wyc.lang.Expr$BOp$20.class
wyc.lang.Expr$BOp$21.class
wyc.lang.Expr$BOp$22.class
wyc.lang.Expr$BOp$23.class
wyc.lang.Expr$BOp$24.class
wyc.lang.Expr$BOp$3.class
wyc.lang.Expr$BOp$4.class
wyc.lang.Expr$BOp$5.class
wyc.lang.Expr$BOp$6.class
wyc.lang.Expr$BOp$7.class
wyc.lang.Expr$BOp$8.class
wyc.lang.Expr$BOp$9.class
wyc.lang.Expr$BOp.class
wyc.lang.Expr$Cast.class
wyc.lang.Expr$Constant.class
wyc.lang.Expr$ConstantAccess.class
wyc.lang.Expr$Dereference.class
wyc.lang.Expr$FieldAccess.class
wyc.lang.Expr$FunctionCall.class
wyc.lang.Expr$FunctionOrMethod.class
wyc.lang.Expr$FunctionOrMethodCall.class
wyc.lang.Expr$IndexOf.class
wyc.lang.Expr$IndirectFunctionCall.class
wyc.lang.Expr$IndirectFunctionOrMethodCall.class
wyc.lang.Expr$IndirectMethodCall.class
wyc.lang.Expr$Lambda.class
wyc.lang.Expr$LocalVariable.class
wyc.lang.Expr$LVal.class
wyc.lang.Expr$MethodCall.class
wyc.lang.Expr$Multi.class
wyc.lang.Expr$New.class
wyc.lang.Expr$QOp.class
wyc.lang.Expr$Quantifier.class
wyc.lang.Expr$Record.class
wyc.lang.Expr$TypeVal.class
wyc.lang.Expr$UnOp.class
wyc.lang.Expr$UOp.class
wyc.lang.Expr.class
wyc.lang.Exprs.class
wyc.lang.Stmt$Assert.class
wyc.lang.Stmt$Assign.class
wyc.lang.Stmt$Assume.class
wyc.lang.Stmt$Break.class
wyc.lang.Stmt$Case.class
wyc.lang.Stmt$Continue.class
wyc.lang.Stmt$Debug.class
wyc.lang.Stmt$DoWhile.class
wyc.lang.Stmt$Fail.class
wyc.lang.Stmt$IfElse.class
wyc.lang.Stmt$NamedBlock.class
wyc.lang.Stmt$Return.class
wyc.lang.Stmt$Skip.class
wyc.lang.Stmt$Switch.class
wyc.lang.Stmt$VariableDeclaration.class
wyc.lang.Stmt$While.class
wyc.lang.Stmt.class
wyc.lang.SyntacticType$Any.class
wyc.lang.SyntacticType$Array.class
wyc.lang.SyntacticType$Bool.class
wyc.lang.SyntacticType$Byte.class
wyc.lang.SyntacticType$Function.class
wyc.lang.SyntacticType$FunctionOrMethod.class
wyc.lang.SyntacticType$Int.class
wyc.lang.SyntacticType$Intersection.class
wyc.lang.SyntacticType$Method.class
wyc.lang.SyntacticType$Negation.class
wyc.lang.SyntacticType$Nominal.class
wyc.lang.SyntacticType$NonUnion.class
wyc.lang.SyntacticType$Null.class
wyc.lang.SyntacticType$Primitive.class
wyc.lang.SyntacticType$Record.class
wyc.lang.SyntacticType$Reference.class
wyc.lang.SyntacticType$Union.class
wyc.lang.SyntacticType$Void.class
wyc.lang.SyntacticType.class
wyc.lang.WhileyFile$1.class
wyc.lang.WhileyFile$AbstractContext.class
wyc.lang.WhileyFile$Constant.class
wyc.lang.WhileyFile$Context.class
wyc.lang.WhileyFile$Declaration.class
wyc.lang.WhileyFile$Function.class
wyc.lang.WhileyFile$FunctionOrMethod.class
wyc.lang.WhileyFile$Import.class
wyc.lang.WhileyFile$Method.class
wyc.lang.WhileyFile$NamedDeclaration.class
wyc.lang.WhileyFile$Parameter.class
wyc.lang.WhileyFile$Type.class
wyc.lang.WhileyFile.class
wyc.util.AbstractProjectCommand.class
wyc.util.AntTask.class
wyc.util.TestUtils$1.class
wyc.util.TestUtils$StreamGrabber.class
wyc.util.TestUtils.class
wyil.builders.VerificationConditionGenerator$1.class
wyil.builders.VerificationConditionGenerator$AssumptionSet.class
wyil.builders.VerificationConditionGenerator$Context.class
wyil.builders.VerificationConditionGenerator$GlobalEnvironment.class
wyil.builders.VerificationConditionGenerator$LocalEnvironment.class
wyil.builders.VerificationConditionGenerator$LoopScope.class
wyil.builders.VerificationConditionGenerator$VerificationCondition.class
wyil.builders.VerificationConditionGenerator.class
wyil.builders.Wyil2WyalBuilder.class
wyil.checks.CoercionCheck.class
wyil.checks.ModuleCheck.class
wyil.io.ModuleReader.class
wyil.io.WyilFilePrinter$1.class
wyil.io.WyilFilePrinter.class
wyil.io.WyilFileReader$1.class
wyil.io.WyilFileReader.class
wyil.io.WyilFileWriter$1.class
wyil.io.WyilFileWriter$NAME_Item.class
wyil.io.WyilFileWriter$NAME_Kind.class
wyil.io.WyilFileWriter$PATH_Item.class
wyil.io.WyilFileWriter.class
wyil.lang.Bytecode$1.class
wyil.lang.Bytecode$AliasDeclaration.class
wyil.lang.Bytecode$Assert.class
wyil.lang.Bytecode$AssertOrAssume.class
wyil.lang.Bytecode$Assign.class
wyil.lang.Bytecode$Assume.class
wyil.lang.Bytecode$Block.class
wyil.lang.Bytecode$Blocks.class
wyil.lang.Bytecode$Break.class
wyil.lang.Bytecode$Case.class
wyil.lang.Bytecode$Const.class
wyil.lang.Bytecode$Continue.class
wyil.lang.Bytecode$Convert.class
wyil.lang.Bytecode$Debug.class
wyil.lang.Bytecode$DoWhile.class
wyil.lang.Bytecode$Expr.class
wyil.lang.Bytecode$Extras.class
wyil.lang.Bytecode$Fail.class
wyil.lang.Bytecode$FieldLoad.class
wyil.lang.Bytecode$If.class
wyil.lang.Bytecode$Index.class
wyil.lang.Bytecode$IndirectInvoke.class
wyil.lang.Bytecode$Invoke.class
wyil.lang.Bytecode$Lambda.class
wyil.lang.Bytecode$Loop.class
wyil.lang.Bytecode$NamedBlock.class
wyil.lang.Bytecode$OperandGroups.class
wyil.lang.Bytecode$Operands.class
wyil.lang.Bytecode$Operator.class
wyil.lang.Bytecode$OperatorKind$1.class
wyil.lang.Bytecode$OperatorKind$10.class
wyil.lang.Bytecode$OperatorKind$11.class
wyil.lang.Bytecode$OperatorKind$12.class
wyil.lang.Bytecode$OperatorKind$13.class
wyil.lang.Bytecode$OperatorKind$14.class
wyil.lang.Bytecode$OperatorKind$15.class
wyil.lang.Bytecode$OperatorKind$16.class
wyil.lang.Bytecode$OperatorKind$17.class
wyil.lang.Bytecode$OperatorKind$18.class
wyil.lang.Bytecode$OperatorKind$19.class
wyil.lang.Bytecode$OperatorKind$2.class
wyil.lang.Bytecode$OperatorKind$20.class
wyil.lang.Bytecode$OperatorKind$21.class
wyil.lang.Bytecode$OperatorKind$22.class
wyil.lang.Bytecode$OperatorKind$23.class
wyil.lang.Bytecode$OperatorKind$24.class
wyil.lang.Bytecode$OperatorKind$25.class
wyil.lang.Bytecode$OperatorKind$26.class
wyil.lang.Bytecode$OperatorKind$27.class
wyil.lang.Bytecode$OperatorKind$28.class
wyil.lang.Bytecode$OperatorKind$29.class
wyil.lang.Bytecode$OperatorKind$3.class
wyil.lang.Bytecode$OperatorKind$4.class
wyil.lang.Bytecode$OperatorKind$5.class
wyil.lang.Bytecode$OperatorKind$6.class
wyil.lang.Bytecode$OperatorKind$7.class
wyil.lang.Bytecode$OperatorKind$8.class
wyil.lang.Bytecode$OperatorKind$9.class
wyil.lang.Bytecode$OperatorKind.class
wyil.lang.Bytecode$Quantifier.class
wyil.lang.Bytecode$QuantifierKind.class
wyil.lang.Bytecode$Range.class
wyil.lang.Bytecode$Return.class
wyil.lang.Bytecode$Schema.class
wyil.lang.Bytecode$Skip.class
wyil.lang.Bytecode$Stmt.class
wyil.lang.Bytecode$StmtExpr.class
wyil.lang.Bytecode$Switch.class
wyil.lang.Bytecode$Util.class
wyil.lang.Bytecode$VariableAccess.class
wyil.lang.Bytecode$VariableDeclaration.class
wyil.lang.Bytecode$While.class
wyil.lang.Bytecode.class
wyil.lang.Constant$1.class
wyil.lang.Constant$Array.class
wyil.lang.Constant$Bool.class
wyil.lang.Constant$Byte.class
wyil.lang.Constant$FunctionOrMethod.class
wyil.lang.Constant$Integer.class
wyil.lang.Constant$Null.class
wyil.lang.Constant$Record.class
wyil.lang.Constant$Type.class
wyil.lang.Constant.class
wyil.lang.Modifier$1.class
wyil.lang.Modifier$Export.class
wyil.lang.Modifier$Native.class
wyil.lang.Modifier$Private.class
wyil.lang.Modifier$Public.class
wyil.lang.Modifier.class
wyil.lang.SyntaxTree$Location.class
wyil.lang.SyntaxTree.class
wyil.lang.Type$1.class
wyil.lang.Type$2.class
wyil.lang.Type$3.class
wyil.lang.Type$4.class
wyil.lang.Type$5.class
wyil.lang.Type$6.class
wyil.lang.Type$7.class
wyil.lang.Type$Array.class
wyil.lang.Type$EffectiveArray.class
wyil.lang.Type$EffectiveRecord.class
wyil.lang.Type$EffectiveReference.class
wyil.lang.Type$Function.class
wyil.lang.Type$FunctionOrMethod.class
wyil.lang.Type$Impl$1.class
wyil.lang.Type$Impl$Array.class
wyil.lang.Type$Impl$Atom.class
wyil.lang.Type$Impl$Conjunct.class
wyil.lang.Type$Impl$Conjunctable.class
wyil.lang.Type$Impl$Function.class
wyil.lang.Type$Impl$FunctionOrMethod.class
wyil.lang.Type$Impl$Method.class
wyil.lang.Type$Impl$Negation.class
wyil.lang.Type$Impl$Nominal.class
wyil.lang.Type$Impl$PositiveAtom.class
wyil.lang.Type$Impl$Primitive.class
wyil.lang.Type$Impl$Record.class
wyil.lang.Type$Impl$Reference.class
wyil.lang.Type$Impl$Union.class
wyil.lang.Type$Impl$UnionOfArrays.class
wyil.lang.Type$Impl$UnionOfConjunctables.class
wyil.lang.Type$Impl$UnionOfRecords.class
wyil.lang.Type$Impl.class
wyil.lang.Type$Intersection.class
wyil.lang.Type$Leaf.class
wyil.lang.Type$Method.class
wyil.lang.Type$Negation.class
wyil.lang.Type$Nominal.class
wyil.lang.Type$Primitive.class
wyil.lang.Type$Record.class
wyil.lang.Type$Reference.class
wyil.lang.Type$Union.class
wyil.lang.Type.class
wyil.lang.WyilFile$1.class
wyil.lang.WyilFile$Block.class
wyil.lang.WyilFile$Constant.class
wyil.lang.WyilFile$Declaration.class
wyil.lang.WyilFile$FunctionOrMethod.class
wyil.lang.WyilFile$Type.class
wyil.lang.WyilFile.class
wyil.util.AbstractBytecode$1.class
wyil.util.AbstractBytecode$10.class
wyil.util.AbstractBytecode$11.class
wyil.util.AbstractBytecode$12.class
wyil.util.AbstractBytecode$13.class
wyil.util.AbstractBytecode$14.class
wyil.util.AbstractBytecode$15.class
wyil.util.AbstractBytecode$16.class
wyil.util.AbstractBytecode$17.class
wyil.util.AbstractBytecode$18.class
wyil.util.AbstractBytecode$19.class
wyil.util.AbstractBytecode$2.class
wyil.util.AbstractBytecode$20.class
wyil.util.AbstractBytecode$21.class
wyil.util.AbstractBytecode$22.class
wyil.util.AbstractBytecode$23.class
wyil.util.AbstractBytecode$24.class
wyil.util.AbstractBytecode$25.class
wyil.util.AbstractBytecode$26.class
wyil.util.AbstractBytecode$27.class
wyil.util.AbstractBytecode$28.class
wyil.util.AbstractBytecode$29.class
wyil.util.AbstractBytecode$3.class
wyil.util.AbstractBytecode$30.class
wyil.util.AbstractBytecode$31.class
wyil.util.AbstractBytecode$32.class
wyil.util.AbstractBytecode$33.class
wyil.util.AbstractBytecode$34.class
wyil.util.AbstractBytecode$35.class
wyil.util.AbstractBytecode$36.class
wyil.util.AbstractBytecode$37.class
wyil.util.AbstractBytecode$38.class
wyil.util.AbstractBytecode$39.class
wyil.util.AbstractBytecode$4.class
wyil.util.AbstractBytecode$40.class
wyil.util.AbstractBytecode$41.class
wyil.util.AbstractBytecode$42.class
wyil.util.AbstractBytecode$43.class
wyil.util.AbstractBytecode$44.class
wyil.util.AbstractBytecode$45.class
wyil.util.AbstractBytecode$46.class
wyil.util.AbstractBytecode$47.class
wyil.util.AbstractBytecode$48.class
wyil.util.AbstractBytecode$49.class
wyil.util.AbstractBytecode$5.class
wyil.util.AbstractBytecode$50.class
wyil.util.AbstractBytecode$51.class
wyil.util.AbstractBytecode$52.class
wyil.util.AbstractBytecode$53.class
wyil.util.AbstractBytecode$54.class
wyil.util.AbstractBytecode$55.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
wycc-LATEST.jar
/org.whiley/wycc/LATEST
查看wycc所有版本文件
wytp-LATEST.jar
/org.whiley/wytp/LATEST
查看wytp所有版本文件
ant-1.7.0.jar
/ant/ant/1.7.0
查看ant所有版本文件
junit-4.12.jar
/junit/junit/4.12
查看junit所有版本文件
|
查看wyc所有版本文件