登录注册

Jar文件详情内容

wyc-0.5.4.jar

所在目录：/org/whiley/wyc/0.5.4 查看wyc所有版本文件

组织ID:	org.whiley
项目ID:	wyc
版本:	0.5.4
最后修改时间:	2019-12-01 04:47:49
包类型:	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.
大小:	504.41KB

Maven引入代码:	`<dependency> <groupId>org.whiley</groupId> <artifactId>wyc</artifactId> <version>0.5.4</version> </dependency>`
Gradle引入代码:	`org.whiley:wyc:0.5.4`
下载Jar包:	wyc-0.5.4.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.5.4</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.6.3</version> </dependency> <dependency> <groupId>org.whiley</groupId> <artifactId>wytp</artifactId> <version>0.6.11</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 wyc.Activator$1.class wyc.Activator$Registry.class wyc.Activator.class wyc.check.DefiniteAssignmentCheck$ControlFlow.class wyc.check.DefiniteAssignmentCheck$DefinitelyAssignedSet.class wyc.check.DefiniteAssignmentCheck.class wyc.check.FlowTypeCheck$1$1.class wyc.check.FlowTypeCheck$1.class wyc.check.FlowTypeCheck$2.class wyc.check.FlowTypeCheck$AccessMode.class wyc.check.FlowTypeCheck$Binding.class wyc.check.FlowTypeCheck$EnclosingScope.class wyc.check.FlowTypeCheck$Environment.class wyc.check.FlowTypeCheck$FunctionOrMethodScope.class wyc.check.FlowTypeCheck$LifetimeDeclaration.class wyc.check.FlowTypeCheck$NamedBlockScope.class wyc.check.FlowTypeCheck.class wyc.check.FunctionalCheck$Context.class wyc.check.FunctionalCheck.class wyc.check.StaticVariableCheck.class wyc.command.Compile$Result.class wyc.command.Compile.class wyc.command.Decompile$Result.class wyc.command.Decompile.class wyc.command.Run$Result.class wyc.command.Run.class wyc.io.WhileyFileLexer$1.class wyc.io.WhileyFileLexer$Token$Kind.class wyc.io.WhileyFileLexer$Token.class wyc.io.WhileyFileLexer.class wyc.io.WhileyFileParser$1.class wyc.io.WhileyFileParser$EnclosingScope.class wyc.io.WhileyFileParser$Indent.class wyc.io.WhileyFileParser.class wyc.io.WhileyFilePrinter.class wyc.lang.WhileyFile$1.class wyc.lang.WhileyFile$10.class wyc.lang.WhileyFile$100.class wyc.lang.WhileyFile$11.class wyc.lang.WhileyFile$12.class wyc.lang.WhileyFile$13.class wyc.lang.WhileyFile$14.class wyc.lang.WhileyFile$15.class wyc.lang.WhileyFile$16.class wyc.lang.WhileyFile$17.class wyc.lang.WhileyFile$18.class wyc.lang.WhileyFile$19.class wyc.lang.WhileyFile$2.class wyc.lang.WhileyFile$20.class wyc.lang.WhileyFile$21.class wyc.lang.WhileyFile$22.class wyc.lang.WhileyFile$23.class wyc.lang.WhileyFile$24.class wyc.lang.WhileyFile$25.class wyc.lang.WhileyFile$26.class wyc.lang.WhileyFile$27.class wyc.lang.WhileyFile$28.class wyc.lang.WhileyFile$29.class wyc.lang.WhileyFile$3.class wyc.lang.WhileyFile$30.class wyc.lang.WhileyFile$31.class wyc.lang.WhileyFile$32.class wyc.lang.WhileyFile$33.class wyc.lang.WhileyFile$34.class wyc.lang.WhileyFile$35.class wyc.lang.WhileyFile$36.class wyc.lang.WhileyFile$37.class wyc.lang.WhileyFile$38.class wyc.lang.WhileyFile$39.class wyc.lang.WhileyFile$4.class wyc.lang.WhileyFile$40.class wyc.lang.WhileyFile$41.class wyc.lang.WhileyFile$42.class wyc.lang.WhileyFile$43.class wyc.lang.WhileyFile$44.class wyc.lang.WhileyFile$45.class wyc.lang.WhileyFile$46.class wyc.lang.WhileyFile$47.class wyc.lang.WhileyFile$48.class wyc.lang.WhileyFile$49.class wyc.lang.WhileyFile$5.class wyc.lang.WhileyFile$50.class wyc.lang.WhileyFile$51.class wyc.lang.WhileyFile$52.class wyc.lang.WhileyFile$53.class wyc.lang.WhileyFile$54.class wyc.lang.WhileyFile$55.class wyc.lang.WhileyFile$56.class wyc.lang.WhileyFile$57.class wyc.lang.WhileyFile$58.class wyc.lang.WhileyFile$59.class wyc.lang.WhileyFile$6.class wyc.lang.WhileyFile$60.class wyc.lang.WhileyFile$61.class wyc.lang.WhileyFile$62.class wyc.lang.WhileyFile$63.class wyc.lang.WhileyFile$64.class wyc.lang.WhileyFile$65.class wyc.lang.WhileyFile$66.class wyc.lang.WhileyFile$67.class wyc.lang.WhileyFile$68.class wyc.lang.WhileyFile$69.class wyc.lang.WhileyFile$7.class wyc.lang.WhileyFile$70.class wyc.lang.WhileyFile$71.class wyc.lang.WhileyFile$72.class wyc.lang.WhileyFile$73.class wyc.lang.WhileyFile$74.class wyc.lang.WhileyFile$75.class wyc.lang.WhileyFile$76.class wyc.lang.WhileyFile$77.class wyc.lang.WhileyFile$78.class wyc.lang.WhileyFile$79.class wyc.lang.WhileyFile$8.class wyc.lang.WhileyFile$80.class wyc.lang.WhileyFile$81.class wyc.lang.WhileyFile$82.class wyc.lang.WhileyFile$83.class wyc.lang.WhileyFile$84.class wyc.lang.WhileyFile$85.class wyc.lang.WhileyFile$86.class wyc.lang.WhileyFile$87.class wyc.lang.WhileyFile$88.class wyc.lang.WhileyFile$89.class wyc.lang.WhileyFile$9.class wyc.lang.WhileyFile$90.class wyc.lang.WhileyFile$91.class wyc.lang.WhileyFile$92.class wyc.lang.WhileyFile$93.class wyc.lang.WhileyFile$94.class wyc.lang.WhileyFile$95.class wyc.lang.WhileyFile$96.class wyc.lang.WhileyFile$97.class wyc.lang.WhileyFile$98.class wyc.lang.WhileyFile$99.class wyc.lang.WhileyFile$Decl$Callable.class wyc.lang.WhileyFile$Decl$Function.class wyc.lang.WhileyFile$Decl$FunctionOrMethod.class wyc.lang.WhileyFile$Decl$Import.class wyc.lang.WhileyFile$Decl$Lambda.class wyc.lang.WhileyFile$Decl$Method.class wyc.lang.WhileyFile$Decl$Module.class wyc.lang.WhileyFile$Decl$Named.class wyc.lang.WhileyFile$Decl$Property.class wyc.lang.WhileyFile$Decl$StaticVariable.class wyc.lang.WhileyFile$Decl$Type.class wyc.lang.WhileyFile$Decl$Variable.class wyc.lang.WhileyFile$Decl.class wyc.lang.WhileyFile$Expr$AbstractExpr.class wyc.lang.WhileyFile$Expr$ArrayAccess.class wyc.lang.WhileyFile$Expr$ArrayGenerator.class wyc.lang.WhileyFile$Expr$ArrayInitialiser.class wyc.lang.WhileyFile$Expr$ArrayLength.class wyc.lang.WhileyFile$Expr$ArrayRange.class wyc.lang.WhileyFile$Expr$ArrayUpdate.class wyc.lang.WhileyFile$Expr$BinaryOperator.class wyc.lang.WhileyFile$Expr$BitwiseAnd.class wyc.lang.WhileyFile$Expr$BitwiseComplement.class wyc.lang.WhileyFile$Expr$BitwiseOr.class wyc.lang.WhileyFile$Expr$BitwiseShiftLeft.class wyc.lang.WhileyFile$Expr$BitwiseShiftRight.class wyc.lang.WhileyFile$Expr$BitwiseXor.class wyc.lang.WhileyFile$Expr$Cast.class wyc.lang.WhileyFile$Expr$Constant.class wyc.lang.WhileyFile$Expr$Dereference.class wyc.lang.WhileyFile$Expr$Equal.class wyc.lang.WhileyFile$Expr$ExistentialQuantifier.class wyc.lang.WhileyFile$Expr$IndirectInvoke.class wyc.lang.WhileyFile$Expr$IntegerAddition.class wyc.lang.WhileyFile$Expr$IntegerDivision.class wyc.lang.WhileyFile$Expr$IntegerGreaterThan.class wyc.lang.WhileyFile$Expr$IntegerGreaterThanOrEqual.class wyc.lang.WhileyFile$Expr$IntegerLessThan.class wyc.lang.WhileyFile$Expr$IntegerLessThanOrEqual.class wyc.lang.WhileyFile$Expr$IntegerMultiplication.class wyc.lang.WhileyFile$Expr$IntegerNegation.class wyc.lang.WhileyFile$Expr$IntegerRemainder.class wyc.lang.WhileyFile$Expr$IntegerSubtraction.class wyc.lang.WhileyFile$Expr$Invoke.class wyc.lang.WhileyFile$Expr$Is.class wyc.lang.WhileyFile$Expr$LambdaAccess.class wyc.lang.WhileyFile$Expr$LogicalAnd.class wyc.lang.WhileyFile$Expr$LogicalIff.class wyc.lang.WhileyFile$Expr$LogicalImplication.class wyc.lang.WhileyFile$Expr$LogicalNot.class wyc.lang.WhileyFile$Expr$LogicalOr.class wyc.lang.WhileyFile$Expr$NaryOperator.class wyc.lang.WhileyFile$Expr$New.class wyc.lang.WhileyFile$Expr$NotEqual.class wyc.lang.WhileyFile$Expr$Quantifier.class wyc.lang.WhileyFile$Expr$RecordAccess.class wyc.lang.WhileyFile$Expr$RecordInitialiser.class wyc.lang.WhileyFile$Expr$RecordUpdate.class wyc.lang.WhileyFile$Expr$StaticVariableAccess.class wyc.lang.WhileyFile$Expr$TernaryOperator.class wyc.lang.WhileyFile$Expr$UnaryOperator.class wyc.lang.WhileyFile$Expr$UniversalQuantifier.class wyc.lang.WhileyFile$Expr$VariableAccess.class wyc.lang.WhileyFile$Expr.class wyc.lang.WhileyFile$LVal.class wyc.lang.WhileyFile$Modifier$Export.class wyc.lang.WhileyFile$Modifier$Native.class wyc.lang.WhileyFile$Modifier$Private.class wyc.lang.WhileyFile$Modifier$Public.class wyc.lang.WhileyFile$Modifier.class wyc.lang.WhileyFile$Stmt$Assert.class wyc.lang.WhileyFile$Stmt$Assign.class wyc.lang.WhileyFile$Stmt$Assume.class wyc.lang.WhileyFile$Stmt$Block.class wyc.lang.WhileyFile$Stmt$Break.class wyc.lang.WhileyFile$Stmt$Case.class wyc.lang.WhileyFile$Stmt$Continue.class wyc.lang.WhileyFile$Stmt$Debug.class wyc.lang.WhileyFile$Stmt$DoWhile.class wyc.lang.WhileyFile$Stmt$Fail.class wyc.lang.WhileyFile$Stmt$IfElse.class wyc.lang.WhileyFile$Stmt$Loop.class wyc.lang.WhileyFile$Stmt$NamedBlock.class wyc.lang.WhileyFile$Stmt$Return.class wyc.lang.WhileyFile$Stmt$Skip.class wyc.lang.WhileyFile$Stmt$Switch.class wyc.lang.WhileyFile$Stmt$While.class wyc.lang.WhileyFile$Stmt.class wyc.lang.WhileyFile$Type$Any.class wyc.lang.WhileyFile$Type$Array.class wyc.lang.WhileyFile$Type$Atom.class wyc.lang.WhileyFile$Type$Bool.class wyc.lang.WhileyFile$Type$Byte.class wyc.lang.WhileyFile$Type$Callable.class wyc.lang.WhileyFile$Type$Combinator.class wyc.lang.WhileyFile$Type$Function.class wyc.lang.WhileyFile$Type$Int.class wyc.lang.WhileyFile$Type$Intersection.class wyc.lang.WhileyFile$Type$Method.class wyc.lang.WhileyFile$Type$Negation.class wyc.lang.WhileyFile$Type$Nominal.class wyc.lang.WhileyFile$Type$Null.class wyc.lang.WhileyFile$Type$Primitive.class wyc.lang.WhileyFile$Type$Property.class wyc.lang.WhileyFile$Type$Record.class wyc.lang.WhileyFile$Type$Reference.class wyc.lang.WhileyFile$Type$Union.class wyc.lang.WhileyFile$Type$Unresolved.class wyc.lang.WhileyFile$Type$Void.class wyc.lang.WhileyFile$Type.class wyc.lang.WhileyFile.class wyc.task.CompileTask.class wyc.task.DecompileTask.class wyc.task.Wyil2WyalBuilder.class wyc.util.AbstractConsumer.class wyc.util.AbstractFunction.class wyc.util.AbstractProjectCommand.class wyc.util.AbstractVisitor.class wyc.util.AntTask.class wyc.util.ErrorMessages$Msg.class wyc.util.ErrorMessages$MsgWithNoParams.class wyc.util.ErrorMessages$MsgWithStringParam.class wyc.util.ErrorMessages$MsgWithTypeParam.class wyc.util.ErrorMessages$MsgWithTypeParams.class wyc.util.ErrorMessages.class wyc.util.TestUtils$1.class wyc.util.TestUtils$StreamGrabber.class wyc.util.TestUtils.class wyc.util.WhileyFileResolver.class wyil.interpreter.AbstractSemantics$RValue$Array.class wyil.interpreter.AbstractSemantics$RValue$Bool.class wyil.interpreter.AbstractSemantics$RValue$Byte.class wyil.interpreter.AbstractSemantics$RValue$Cell.class wyil.interpreter.AbstractSemantics$RValue$Field.class wyil.interpreter.AbstractSemantics$RValue$Int.class wyil.interpreter.AbstractSemantics$RValue$Lambda.class wyil.interpreter.AbstractSemantics$RValue$Null.class wyil.interpreter.AbstractSemantics$RValue$Record.class wyil.interpreter.AbstractSemantics$RValue$Reference.class wyil.interpreter.AbstractSemantics$RValue$Undefined.class wyil.interpreter.AbstractSemantics$RValue.class wyil.interpreter.AbstractSemantics.class wyil.interpreter.ConcreteSemantics$1.class wyil.interpreter.ConcreteSemantics$LValue$Array.class wyil.interpreter.ConcreteSemantics$LValue$Dereference.class wyil.interpreter.ConcreteSemantics$LValue$Record.class wyil.interpreter.ConcreteSemantics$LValue$Variable.class wyil.interpreter.ConcreteSemantics$LValue.class wyil.interpreter.ConcreteSemantics$RValue$Array.class wyil.interpreter.ConcreteSemantics$RValue$Bool.class wyil.interpreter.ConcreteSemantics$RValue$Byte.class wyil.interpreter.ConcreteSemantics$RValue$Cell.class #内容未全部加载，请点击展开加载全部代码(NowJava.com)
依赖Jar:	wycc-0.6.3.jar /org.whiley/wycc/0.6.3 查看wycc所有版本文件 wytp-0.6.11.jar /org.whiley/wytp/0.6.11 查看wytp所有版本文件 ant-1.7.0.jar /ant/ant/1.7.0 查看ant所有版本文件 junit-4.12.jar /junit/junit/4.12 查看junit所有版本文件