| 组织ID: |
org.whiley |
| 项目ID: |
wyc |
| 版本: |
0.6.7 |
| 最后修改时间: |
2019-12-14 03:32:23 |
| 包类型: |
jar |
| 标题: |
Apache License, Version 2.0 |
| 描述: |
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.
|
| 大小: |
605.99KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wyc</artifactId>
<version>0.6.7</version>
</dependency>
|
| Gradle引入代码: |
org.whiley:wyc:0.6.7
|
| 下载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.6.7</version>
<packaging>jar</packaging>
<licenses>
<license>
<name>Apache License, Version 2.0</name>
<url>https://www.apache.org/licenses/LICENSE-2.0.txt</url>
<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>0.7.11</version>
</dependency>
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wytp</artifactId>
<version>0.6.18</version>
</dependency>
<dependency>
<groupId>org.whiley</groupId>
<artifactId>jmodelgen</artifactId>
<version>0.3.7</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
wyil.lang.WyilFile$1.class
wyil.lang.WyilFile$QualifiedName.class
wyil.lang.WyilFile$Decl$Unknown.class
wyil.lang.WyilFile$Decl$Module.class
wyil.lang.WyilFile$Decl$Unit.class
wyil.lang.WyilFile$Decl$Import.class
wyil.lang.WyilFile$Decl$Named.class
wyil.lang.WyilFile$Decl$Callable.class
wyil.lang.WyilFile$Decl$FunctionOrMethod.class
wyil.lang.WyilFile$Decl$Function.class
wyil.lang.WyilFile$Decl$Method.class
wyil.lang.WyilFile$Decl$Property.class
wyil.lang.WyilFile$Decl$Lambda.class
wyil.lang.WyilFile$Decl$Type.class
wyil.lang.WyilFile$Decl$Variable.class
wyil.lang.WyilFile$Decl$StaticVariable.class
wyil.lang.WyilFile$Decl$Link.class
wyil.lang.WyilFile$Decl$Binding.class
wyil.lang.WyilFile$Decl.class
wyil.lang.WyilFile$Template$Variable.class
wyil.lang.WyilFile$Template$Type.class
wyil.lang.WyilFile$Template$Lifetime.class
wyil.lang.WyilFile$Template.class
wyil.lang.WyilFile$Stmt$Loop.class
wyil.lang.WyilFile$Stmt$Block.class
wyil.lang.WyilFile$Stmt$NamedBlock.class
wyil.lang.WyilFile$Stmt$Assert.class
wyil.lang.WyilFile$Stmt$Assign.class
wyil.lang.WyilFile$Stmt$Assume.class
wyil.lang.WyilFile$Stmt$Debug.class
wyil.lang.WyilFile$Stmt$Skip.class
wyil.lang.WyilFile$Stmt$Break.class
wyil.lang.WyilFile$Stmt$Continue.class
wyil.lang.WyilFile$Stmt$DoWhile.class
wyil.lang.WyilFile$Stmt$Fail.class
wyil.lang.WyilFile$Stmt$IfElse.class
wyil.lang.WyilFile$Stmt$Return.class
wyil.lang.WyilFile$Stmt$Switch.class
wyil.lang.WyilFile$Stmt$Case.class
wyil.lang.WyilFile$Stmt$While.class
wyil.lang.WyilFile$Stmt.class
wyil.lang.WyilFile$LVal.class
wyil.lang.WyilFile$Expr$UnaryOperator.class
wyil.lang.WyilFile$Expr$BinaryOperator.class
wyil.lang.WyilFile$Expr$TernaryOperator.class
wyil.lang.WyilFile$Expr$NaryOperator.class
wyil.lang.WyilFile$Expr$AbstractExpr.class
wyil.lang.WyilFile$Expr$Cast.class
wyil.lang.WyilFile$Expr$Constant.class
wyil.lang.WyilFile$Expr$StaticVariableAccess.class
wyil.lang.WyilFile$Expr$Is.class
wyil.lang.WyilFile$Expr$Invoke.class
wyil.lang.WyilFile$Expr$Quantifier.class
wyil.lang.WyilFile$Expr$IndirectInvoke.class
wyil.lang.WyilFile$Expr$UniversalQuantifier.class
wyil.lang.WyilFile$Expr$ExistentialQuantifier.class
wyil.lang.WyilFile$Expr$VariableAccess.class
wyil.lang.WyilFile$Expr$LogicalAnd.class
wyil.lang.WyilFile$Expr$LogicalOr.class
wyil.lang.WyilFile$Expr$LogicalImplication.class
wyil.lang.WyilFile$Expr$LogicalIff.class
wyil.lang.WyilFile$Expr$LogicalNot.class
wyil.lang.WyilFile$Expr$Equal.class
wyil.lang.WyilFile$Expr$NotEqual.class
wyil.lang.WyilFile$Expr$BitwiseAnd.class
wyil.lang.WyilFile$Expr$IntegerLessThan.class
wyil.lang.WyilFile$Expr$IntegerLessThanOrEqual.class
wyil.lang.WyilFile$Expr$IntegerGreaterThan.class
wyil.lang.WyilFile$Expr$IntegerGreaterThanOrEqual.class
wyil.lang.WyilFile$Expr$IntegerAddition.class
wyil.lang.WyilFile$Expr$IntegerSubtraction.class
wyil.lang.WyilFile$Expr$IntegerMultiplication.class
wyil.lang.WyilFile$Expr$IntegerDivision.class
wyil.lang.WyilFile$Expr$IntegerRemainder.class
wyil.lang.WyilFile$Expr$IntegerNegation.class
wyil.lang.WyilFile$Expr$New.class
wyil.lang.WyilFile$Expr$BitwiseShiftLeft.class
wyil.lang.WyilFile$Expr$BitwiseShiftRight.class
wyil.lang.WyilFile$Expr$BitwiseOr.class
wyil.lang.WyilFile$Expr$BitwiseXor.class
wyil.lang.WyilFile$Expr$BitwiseComplement.class
wyil.lang.WyilFile$Expr$Dereference.class
wyil.lang.WyilFile$Expr$LambdaAccess.class
wyil.lang.WyilFile$Expr$ArrayAccess.class
wyil.lang.WyilFile$Expr$ArrayUpdate.class
wyil.lang.WyilFile$Expr$ArrayInitialiser.class
wyil.lang.WyilFile$Expr$ArrayGenerator.class
wyil.lang.WyilFile$Expr.class
wyil.lang.WyilFile$Expr$ArrayRange.class
wyil.lang.WyilFile$Expr$ArrayLength.class
wyil.lang.WyilFile$Expr$RecordAccess.class
wyil.lang.WyilFile$Expr$RecordInitialiser.class
wyil.lang.WyilFile$Expr$RecordUpdate.class
wyil.lang.WyilFile$Type$Atom.class
wyil.lang.WyilFile$Type$Primitive.class
wyil.lang.WyilFile$Type$AbstractType.class
wyil.lang.WyilFile$Type$Any.class
wyil.lang.WyilFile$Type$Callable.class
wyil.lang.WyilFile$Type$Void.class
wyil.lang.WyilFile$Type$Null.class
wyil.lang.WyilFile$Type$Int.class
wyil.lang.WyilFile$Type$Bool.class
wyil.lang.WyilFile$Type$Byte.class
wyil.lang.WyilFile$Type$Array.class
wyil.lang.WyilFile$Type$Reference.class
wyil.lang.WyilFile$Type$Record.class
wyil.lang.WyilFile$Type$Field.class
wyil.lang.WyilFile$Type$Nominal.class
wyil.lang.WyilFile$Type$Union.class
wyil.lang.WyilFile$Type$Function.class
wyil.lang.WyilFile$Type$Method.class
wyil.lang.WyilFile$Type$Property.class
wyil.lang.WyilFile$Type$Unknown.class
wyil.lang.WyilFile$Type$Variable.class
wyil.lang.WyilFile$Type.class
wyil.lang.WyilFile$Type$Recursive.class
wyil.lang.WyilFile$Modifier$Public.class
wyil.lang.WyilFile$Modifier$Private.class
wyil.lang.WyilFile$Modifier$Native.class
wyil.lang.WyilFile$Modifier$Export.class
wyil.lang.WyilFile$Modifier$Final.class
wyil.lang.WyilFile$Modifier.class
wyil.lang.WyilFile$Linkable.class
wyil.lang.WyilFile$Bindable.class
wyil.lang.WyilFile$SyntaxError.class
wyil.lang.WyilFile$StackFrame.class
wyil.lang.WyilFile$CounterExample.class
wyil.lang.WyilFile$2.class
wyil.lang.WyilFile$3.class
wyil.lang.WyilFile$4.class
wyil.lang.WyilFile$5.class
wyil.lang.WyilFile$6.class
wyil.lang.WyilFile$7.class
wyil.lang.WyilFile$8.class
wyil.lang.WyilFile$9.class
wyil.lang.WyilFile$10.class
wyil.lang.WyilFile$11.class
wyil.lang.WyilFile$12.class
wyil.lang.WyilFile$13.class
wyil.lang.WyilFile$14.class
wyil.lang.WyilFile$15.class
wyil.lang.WyilFile$16.class
wyil.lang.WyilFile$17.class
wyil.lang.WyilFile$18.class
wyil.lang.WyilFile$19.class
wyil.lang.WyilFile$20.class
wyil.lang.WyilFile$21.class
wyil.lang.WyilFile$22.class
wyil.lang.WyilFile$23.class
wyil.lang.WyilFile$24.class
wyil.lang.WyilFile$25.class
wyil.lang.WyilFile$26.class
wyil.lang.WyilFile$27.class
wyil.lang.WyilFile$28.class
wyil.lang.WyilFile$29.class
wyil.lang.WyilFile$30.class
wyil.lang.WyilFile$31.class
wyil.lang.WyilFile$32.class
wyil.lang.WyilFile$33.class
wyil.lang.WyilFile$34.class
wyil.lang.WyilFile$35.class
wyil.lang.WyilFile$36.class
wyil.lang.WyilFile$37.class
wyil.lang.WyilFile$38.class
wyil.lang.WyilFile$39.class
wyil.lang.WyilFile$40.class
wyil.lang.WyilFile$41.class
wyil.lang.WyilFile$42.class
wyil.lang.WyilFile$43.class
wyil.lang.WyilFile$44.class
wyil.lang.WyilFile$45.class
wyil.lang.WyilFile$46.class
wyil.lang.WyilFile$47.class
wyil.lang.WyilFile$48.class
wyil.lang.WyilFile$49.class
wyil.lang.WyilFile$50.class
wyil.lang.WyilFile$51.class
wyil.lang.WyilFile$52.class
wyil.lang.WyilFile$53.class
wyil.lang.WyilFile$54.class
wyil.lang.WyilFile$55.class
wyil.lang.WyilFile$56.class
wyil.lang.WyilFile$57.class
wyil.lang.WyilFile$58.class
wyil.lang.WyilFile$59.class
wyil.lang.WyilFile$60.class
wyil.lang.WyilFile$61.class
wyil.lang.WyilFile$62.class
wyil.lang.WyilFile$63.class
wyil.lang.WyilFile$64.class
wyil.lang.WyilFile$65.class
wyil.lang.WyilFile$66.class
wyil.lang.WyilFile$67.class
wyil.lang.WyilFile$68.class
wyil.lang.WyilFile$69.class
wyil.lang.WyilFile$70.class
wyil.lang.WyilFile$71.class
wyil.lang.WyilFile$72.class
wyil.lang.WyilFile$73.class
wyil.lang.WyilFile$74.class
wyil.lang.WyilFile$75.class
wyil.lang.WyilFile$76.class
wyil.lang.WyilFile$77.class
wyil.lang.WyilFile$78.class
wyil.lang.WyilFile$79.class
wyil.lang.WyilFile$80.class
wyil.lang.WyilFile$81.class
wyil.lang.WyilFile$82.class
wyil.lang.WyilFile$83.class
wyil.lang.WyilFile$84.class
wyil.lang.WyilFile$85.class
wyil.lang.WyilFile$86.class
wyil.lang.WyilFile$87.class
wyil.lang.WyilFile$88.class
wyil.lang.WyilFile$89.class
wyil.lang.WyilFile$90.class
wyil.lang.WyilFile$91.class
wyil.lang.WyilFile$92.class
wyil.lang.WyilFile$93.class
wyil.lang.WyilFile$94.class
wyil.lang.WyilFile$95.class
wyil.lang.WyilFile$96.class
wyil.lang.WyilFile$97.class
wyil.lang.WyilFile$98.class
wyil.lang.WyilFile$99.class
wyil.lang.WyilFile$100.class
wyil.lang.WyilFile$101.class
wyil.lang.WyilFile$102.class
wyil.lang.WyilFile$103.class
wyil.lang.WyilFile$104.class
wyil.lang.WyilFile$105.class
wyil.lang.WyilFile$106.class
wyil.lang.WyilFile$107.class
wyil.lang.WyilFile$108.class
wyil.lang.WyilFile$109.class
wyil.lang.WyilFile$110.class
wyil.lang.WyilFile$111.class
wyil.lang.WyilFile$112.class
wyil.lang.WyilFile.class
wyil.lang.Compiler$Check.class
wyil.lang.Compiler$Transform.class
wyil.lang.Compiler.class
wyil.check.StaticVariableCheck.class
wyil.check.VerificationCheck.class
wyil.check.FlowTypeUtils$Environment.class
wyil.check.FlowTypeUtils.class
wyil.check.FlowTypeCheck$EnclosingScope.class
wyil.check.FlowTypeCheck$LifetimeDeclaration.class
wyil.check.FlowTypeCheck$FunctionOrMethodScope.class
wyil.check.FlowTypeCheck$NamedBlockScope.class
wyil.check.FlowTypeCheck.class
wyil.check.FunctionalCheck$Context.class
wyil.check.FunctionalCheck.class
wyil.check.DefiniteUnassignmentCheck$ControlFlow.class
wyil.check.DefiniteUnassignmentCheck$MaybeAssignedSet.class
wyil.check.DefiniteUnassignmentCheck.class
wyil.check.DefiniteAssignmentCheck$ControlFlow.class
wyil.check.DefiniteAssignmentCheck$DefinitelyAssignedSet.class
wyil.check.DefiniteAssignmentCheck.class
wyil.check.AmbiguousCoercionCheck$Assumptions.class
wyil.check.AmbiguousCoercionCheck.class
wyil.util.AbstractConsumer.class
wyil.util.SubtypeOperator$LifetimeRelation.class
wyil.util.SubtypeOperator$Strict.class
wyil.util.SubtypeOperator$Relaxed.class
wyil.util.SubtypeOperator.class
wyil.util.AbstractTypedVisitor$Environment.class
wyil.util.AbstractTypedVisitor$EnclosingScope.class
wyil.util.AbstractTypedVisitor$LifetimeDeclaration.class
wyil.util.AbstractTypedVisitor$FunctionOrMethodScope.class
wyil.util.AbstractTypedVisitor$NamedBlockScope.class
wyil.util.AbstractTypedVisitor.class
wyil.util.AbstractSubtypeOperator$ConstraintSet.class
wyil.util.AbstractSubtypeOperator$Binding.class
wyil.util.AbstractSubtypeOperator.class
wyil.util.BinaryRelation$HashSet.class
wyil.util.BinaryRelation.class
wyil.util.AbstractFunction.class
wyil.util.AbstractVisitor.class
wyil.transform.MoveAnalysis.class
wyil.transform.RecursiveTypeAnalysis.class
wyil.transform.SymbolTable$Group.class
wyil.transform.SymbolTable$AbstractGroup.class
wyil.transform.SymbolTable$LocalGroup.class
wyil.transform.SymbolTable$ExternalGroup.class
wyil.transform.SymbolTable$Entry.class
wyil.transform.SymbolTable$LocalEntry.class
wyil.transform.SymbolTable$ExternalEntry.class
wyil.transform.SymbolTable$1.class
wyil.transform.SymbolTable.class
wyil.transform.NameResolution$Resolver.class
wyil.transform.NameResolution$Patch.class
wyil.transform.NameResolution$Importer.class
wyil.transform.NameResolution$1.class
wyil.transform.NameResolution.class
wyil.transform.VerificationConditionGenerator$1.class
wyil.transform.VerificationConditionGenerator$AssumptionSet.class
wyil.transform.VerificationConditionGenerator$VerificationCondition.class
wyil.transform.VerificationConditionGenerator$GlobalEnvironment.class
wyil.transform.VerificationConditionGenerator$LocalEnvironment.class
wyil.transform.VerificationConditionGenerator$LoopScope.class
wyil.transform.VerificationConditionGenerator.class
wyil.transform.VerificationConditionGenerator$Context.class
wyil.transform.PreconditionGenerator$1.class
wyil.transform.PreconditionGenerator.class
wyil.interpreter.ConcreteSemantics$RValue$Null.class
wyil.interpreter.ConcreteSemantics$RValue$Bool.class
wyil.interpreter.ConcreteSemantics$RValue$Byte.class
wyil.interpreter.ConcreteSemantics$RValue$Int.class
wyil.interpreter.ConcreteSemantics$RValue$Array.class
wyil.interpreter.ConcreteSemantics$RValue$Field.class
wyil.interpreter.ConcreteSemantics$RValue$Record$1.class
wyil.interpreter.ConcreteSemantics$RValue$Record.class
wyil.interpreter.ConcreteSemantics$RValue$Lambda$1.class
wyil.interpreter.ConcreteSemantics$RValue$Lambda.class
wyil.interpreter.ConcreteSemantics$RValue$ConcreteLambda.class
wyil.interpreter.ConcreteSemantics$RValue$Reference.class
wyil.interpreter.ConcreteSemantics$RValue$Cell.class
wyil.interpreter.ConcreteSemantics$RValue.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
wycc-0.7.11.jar
/org.whiley/wycc/0.7.11
查看wycc所有版本文件
wytp-0.6.18.jar
/org.whiley/wytp/0.6.18
查看wytp所有版本文件
jmodelgen-0.3.7.jar
/org.whiley/jmodelgen/0.3.7
查看jmodelgen所有版本文件
ant-1.7.0.jar
/ant/ant/1.7.0
查看ant所有版本文件
junit-4.12.jar
/junit/junit/4.12
查看junit所有版本文件
|
查看wyc所有版本文件