├── x10.compiler ├── etc │ └── standard.cfg ├── src │ ├── polyglot │ │ ├── parse │ │ │ └── package.html │ │ ├── lex │ │ │ └── package.html │ │ ├── util │ │ │ └── package.html │ │ ├── main │ │ │ └── package.html │ │ ├── frontend │ │ │ └── ParserCleanupGoal.java │ │ ├── ast │ │ │ └── package.html │ │ └── types │ │ │ └── package.html │ ├── x10 │ │ ├── package.html │ │ ├── ast │ │ │ ├── package.html │ │ │ ├── ForLoop.java │ │ │ ├── PropertyDecl.java │ │ │ ├── AddFlags.java │ │ │ ├── X10Instanceof.java │ │ │ ├── X10ClockedLoop.java │ │ │ ├── X10Conditional.java │ │ │ ├── Next.java │ │ │ ├── X10VarDecl.java │ │ │ ├── Resume.java │ │ │ ├── UnknownTypeNode.java │ │ │ └── X10ProcedureCall.java │ │ ├── types │ │ │ ├── package.html │ │ │ ├── X10ThisVar.java │ │ │ ├── X10InitializerDef.java │ │ │ └── constraints │ │ │ │ └── XTypeLit.java │ │ ├── visit │ │ │ └── package.html │ │ ├── extension │ │ │ ├── package.html │ │ │ └── X10Del.java │ │ └── parser │ │ │ ├── notes.txt │ │ │ └── auto-gen-sentences │ │ │ └── XTENLANG_2013.x10 │ ├── x10c │ │ └── ast │ │ │ ├── BackingArrayNewArray.java │ │ │ ├── BackingArrayAccess.java │ │ │ ├── BackingArray.java │ │ │ └── BackingArrayAccessAssign.java │ └── x10cpp │ │ ├── ast │ │ └── X10CPPExtFactory_c.java │ │ └── Version.java ├── build-user.xml ├── build.properties ├── exportPlugin.xml └── .classpath ├── x10.tests ├── tests │ ├── Misc │ │ ├── EmptyFile.x10 │ │ └── Temp.x10 │ ├── IO │ │ └── alphabet.txt │ ├── Inferred │ │ ├── test068 │ │ │ ├── A.x10 │ │ │ ├── B.x10 │ │ │ └── Test068_MustFailCompile.x10 │ │ ├── test069 │ │ │ ├── A.x10 │ │ │ ├── B.x10 │ │ │ └── Test069_MustFailCompile.x10 │ │ ├── test070 │ │ │ ├── A.x10 │ │ │ ├── B.x10 │ │ │ └── Test070_MustFailCompile.x10 │ │ ├── test071 │ │ │ ├── A.x10 │ │ │ ├── B.x10 │ │ │ └── Test071_MustFailCompile.x10 │ │ ├── test072 │ │ │ ├── A.x10 │ │ │ ├── B.x10 │ │ │ └── Test072_MustFailCompile.x10 │ │ ├── test073 │ │ │ ├── A.x10 │ │ │ ├── B.x10 │ │ │ └── Test073_MustFailCompile.x10 │ │ ├── test038 │ │ │ ├── Elt.x10 │ │ │ ├── Test038_MustFailCompile.x10 │ │ │ └── Test038_DynCheckException.x10 │ │ ├── test035 │ │ │ ├── Pair.x10 │ │ │ ├── Test035_MustFailCompile.x10 │ │ │ └── Test035_DynCheckException.x10 │ │ ├── test037 │ │ │ ├── Pair.x10 │ │ │ └── Test037_MustFailCompile.x10 │ │ ├── test039 │ │ │ ├── Pair.x10 │ │ │ └── Test039_MustFailCompile.x10 │ │ ├── test041 │ │ │ ├── Pair.x10 │ │ │ └── Test041_MustFailCompile.x10 │ │ ├── test042 │ │ │ ├── Pair.x10 │ │ │ └── Test042_MustFailCompile.x10 │ │ ├── test036 │ │ │ ├── Pair.x10 │ │ │ ├── Test036_MustFailCompile.x10 │ │ │ └── Test036_DynCheckException.x10 │ │ ├── test076 │ │ │ ├── Prop.x10 │ │ │ ├── Test076_MustFailCompile.x10 │ │ │ ├── Test076.x10 │ │ │ ├── Test076_DynChecks.x10 │ │ │ └── Test076_DynCheckException.x10 │ │ ├── test003 │ │ │ ├── Vec.x10 │ │ │ ├── Test003.x10 │ │ │ ├── Test003_MustFailCompile.x10 │ │ │ └── Test003_DynChecks.x10 │ │ ├── test078 │ │ │ ├── Vec.x10 │ │ │ ├── Test078.x10 │ │ │ ├── Test078bis.x10 │ │ │ ├── Test078_MustFailCompile.x10 │ │ │ ├── Test078_DynChecks.x10 │ │ │ └── Test078bis_MustFailCompile.x10 │ │ ├── test009 │ │ │ ├── Test009_MustFailCompile.x10 │ │ │ └── Test009_DynCheckException.x10 │ │ ├── test010 │ │ │ ├── Test010_MustFailCompile.x10 │ │ │ └── Test010_DynCheckException.x10 │ │ ├── test011 │ │ │ ├── Test011_MustFailCompile.x10 │ │ │ └── Test011_DynCheckException.x10 │ │ ├── test013 │ │ │ ├── Test013_MustFailCompile.x10 │ │ │ └── Test013_DynCheckException.x10 │ │ ├── test014 │ │ │ ├── Test014_MustFailCompile.x10 │ │ │ └── Test014_DynCheckException.x10 │ │ ├── test015 │ │ │ ├── Test015_MustFailCompile.x10 │ │ │ └── Test015_DynCheckException.x10 │ │ ├── test016 │ │ │ ├── Test016_MustFailCompile.x10 │ │ │ └── Test016_DynCheckException.x10 │ │ ├── test017 │ │ │ ├── Test017_MustFailCompile.x10 │ │ │ └── Test017_DynCheckException.x10 │ │ ├── test018 │ │ │ ├── Test018_MustFailCompile.x10 │ │ │ └── Test018_DynCheckException.x10 │ │ ├── test025 │ │ │ ├── Test025_MustFailCompile.x10 │ │ │ └── Test025_DynCheckException.x10 │ │ ├── test032 │ │ │ ├── Test032_MustFailCompile.x10 │ │ │ └── Test032_DynCheckException.x10 │ │ ├── test033 │ │ │ ├── Test033_MustFailCompile.x10 │ │ │ └── Test033_DynCheckException.x10 │ │ ├── test043 │ │ │ ├── Test043_MustFailCompile.x10 │ │ │ └── Test043_DynCheckException.x10 │ │ ├── test044 │ │ │ ├── Test044_MustFailCompile.x10 │ │ │ └── Test044_DynCheckException.x10 │ │ ├── test045 │ │ │ ├── Test045_MustFailCompile.x10 │ │ │ └── Test045_DynCheckException.x10 │ │ ├── test046 │ │ │ ├── Test046_MustFailCompile.x10 │ │ │ └── Test046_DynCheckException.x10 │ │ ├── test047 │ │ │ ├── Test047_MustFailCompile.x10 │ │ │ └── Test047_DynCheckException.x10 │ │ ├── test050 │ │ │ ├── Test050_MustFailCompile.x10 │ │ │ └── Test050_DynCheckException.x10 │ │ ├── test051 │ │ │ ├── Test051_MustFailCompile.x10 │ │ │ ├── Test051.x10 │ │ │ └── Test051_DynCheckException.x10 │ │ ├── test052 │ │ │ ├── Test052_MustFailCompile.x10 │ │ │ └── Test052_DynCheckException.x10 │ │ ├── test053 │ │ │ ├── Test053_MustFailCompile.x10 │ │ │ └── Test053_DynCheckException.x10 │ │ ├── test054 │ │ │ ├── Test054_MustFailCompile.x10 │ │ │ └── Test054_DynCheckException.x10 │ │ ├── test055 │ │ │ ├── Test055_MustFailCompile.x10 │ │ │ └── Test055_DynCheckException.x10 │ │ ├── test057 │ │ │ ├── Test057_MustFailCompile.x10 │ │ │ └── Test057_DynCheckException.x10 │ │ ├── test058 │ │ │ ├── Test058_MustFailCompile.x10 │ │ │ └── Test058_DynCheckException.x10 │ │ ├── test060 │ │ │ ├── Test060_MustFailCompile.x10 │ │ │ └── Test060_DynCheckException.x10 │ │ ├── test061 │ │ │ ├── Test061_MustFailCompile.x10 │ │ │ └── Test061_DynCheckException.x10 │ │ ├── test062 │ │ │ ├── Test062_MustFailCompile.x10 │ │ │ └── Test062_DynCheckException.x10 │ │ ├── test063 │ │ │ ├── Test063_MustFailCompile.x10 │ │ │ └── Test063_DynCheckException.x10 │ │ ├── test064 │ │ │ ├── Test064_MustFailCompile.x10 │ │ │ └── Test064_DynCheckException.x10 │ │ ├── test001 │ │ │ ├── Test001_MustFailCompile.x10 │ │ │ ├── Test001_DynCheckException.x10 │ │ │ └── Test001.x10 │ │ ├── test027 │ │ │ ├── Test027_MustFailCompile.x10 │ │ │ └── Test027_DynCheckException.x10 │ │ ├── test029 │ │ │ ├── Test029_MustFailCompile.x10 │ │ │ └── Test029_DynCheckException.x10 │ │ ├── test030 │ │ │ ├── Test030_MustFailCompile.x10 │ │ │ └── Test030_DynCheckException.x10 │ │ ├── test034 │ │ │ ├── Test034_MustFailCompile.x10 │ │ │ └── Test034_DynCheckException.x10 │ │ ├── test074 │ │ │ ├── Test074_MustFailCompile.x10 │ │ │ └── Test074_DynCheckException.x10 │ │ ├── test075 │ │ │ ├── Test075_MustFailCompile.x10 │ │ │ └── Test075_DynCheckException.x10 │ │ ├── test021 │ │ │ ├── Test021_MustFailCompile.x10 │ │ │ └── Test021_DynCheckException.x10 │ │ ├── test022 │ │ │ ├── Test022_MustFailCompile.x10 │ │ │ └── Test022_DynCheckException.x10 │ │ ├── test005 │ │ │ ├── Test005.x10 │ │ │ ├── Test005_MustFailCompile.x10 │ │ │ └── Test005_DynChecks.x10 │ │ ├── test006 │ │ │ ├── Test006.x10 │ │ │ ├── Test006_MustFailCompile.x10 │ │ │ └── Test006_DynChecks.x10 │ │ ├── test023 │ │ │ ├── Test023_MustFailCompile.x10 │ │ │ └── Test023_DynCheckException.x10 │ │ ├── test024 │ │ │ ├── Test024_MustFailCompile.x10 │ │ │ └── Test024_DynCheckException.x10 │ │ ├── test004 │ │ │ ├── Test004_MustFailCompile.x10 │ │ │ ├── Vec.x10 │ │ │ ├── Test004.x10 │ │ │ └── Test004_DynChecks.x10 │ │ └── test066 │ │ │ └── Test066_MustFailCompile.x10 │ ├── Samples │ │ ├── points.dat │ │ └── README.txt │ ├── Constructs │ │ ├── Closures │ │ │ ├── ClosureFunctionType1.x10.aside │ │ │ ├── ClosureTypeParameters2a.x10.aside │ │ │ ├── ClosureTypeParameters2b.x10.aside │ │ │ └── ClosureTypeParameters2c.x10.aside │ │ ├── Structs │ │ │ └── FinalMethod.jl │ │ ├── Instanceof │ │ │ └── X10InterfaceOneB.x10 │ │ ├── Cast │ │ │ └── ReferenceDependentTypeCast │ │ │ │ └── X10InterfaceOne.x10 │ │ └── Import │ │ │ ├── _T2.x10 │ │ │ └── ImportTestPackage2 │ │ │ └── _T4.x10 │ ├── APGAS │ │ └── Place │ │ │ └── ClosureBang.x10 │ ├── Issues │ │ ├── XTENLANG_3383.x10 │ │ ├── XTENLANG_3143.x10 │ │ └── XTENLANG_3140_MustFailCompile.x10 │ ├── MicroBenchmarks │ │ └── comm-benchmarks │ │ │ └── transferspeedtesting │ │ │ └── Params.x10 │ └── x10lib │ │ └── testPackage │ │ └── T1.x10 ├── build.properties ├── TESTING ├── build-user.xml ├── META-INF │ └── MANIFEST.MF ├── .classpath ├── tests-inactive │ ├── README.txt │ ├── ScalableFinish │ │ └── LocalFinish.x10 │ └── Annotations │ │ ├── dims │ │ ├── BaseUnit.x10 │ │ ├── Measure.x10 │ │ ├── Resistance.x10 │ │ ├── DerivedUnit.x10 │ │ ├── Acceleration.x10 │ │ ├── Charge.x10 │ │ ├── Unit.x10 │ │ ├── Voltage.x10 │ │ ├── Frequency.x10 │ │ ├── Inductance.x10 │ │ ├── Conductance.x10 │ │ ├── LuminousFlux.x10 │ │ ├── MagneticFlux.x10 │ │ ├── SolidAngle.x10 │ │ ├── CatalyticActivity.x10 │ │ ├── Radioactivity.x10 │ │ ├── Capacitance.x10 │ │ ├── LuminousIntensity.x10 │ │ └── MagneticFluxDensity.x10 │ │ └── bits │ │ └── Bits.x10 └── README ├── x10.dist ├── samples │ ├── java.interop │ │ ├── InterfaceMethods │ │ │ ├── .gitignore │ │ │ ├── clean.sh │ │ │ ├── README.txt │ │ │ ├── build.sh │ │ │ └── src-java │ │ │ │ ├── C.java │ │ │ │ └── I.java │ │ └── FunctionalInterface │ │ │ ├── .gitignore │ │ │ ├── README.txt │ │ │ ├── clean.sh │ │ │ ├── build.sh │ │ │ └── src-x10 │ │ │ └── PredicateX10.x10 │ ├── GLB │ │ ├── uts │ │ │ ├── README.txt │ │ │ └── Bag.x10 │ │ ├── fib │ │ │ └── README.txt │ │ ├── bcg │ │ │ ├── README.txt │ │ │ └── Bag.x10 │ │ └── bcgy │ │ │ └── Bag.x10 │ ├── points.dat │ └── README.txt ├── build-user.xml ├── build.properties ├── META-INF │ └── MANIFEST.MF ├── .classpath ├── releng │ └── buildApgas.sh ├── BUILDING.txt ├── README.txt └── bin │ ├── x10c++ │ └── x10doc ├── x10.libs ├── LICENSE └── .project ├── x10.common ├── contrib │ ├── vim │ │ ├── README │ │ └── ftdetect │ │ │ └── x10.vim │ ├── gdb │ │ └── x10.gdb │ └── sloccount │ │ └── sloccount.patch ├── build-user.xml ├── build.properties ├── exportPlugin.xml ├── .classpath └── META-INF │ └── MANIFEST.MF ├── x10.gl ├── clean.sh └── build.sh ├── apgas.sockets ├── build.properties ├── META-INF │ └── MANIFEST.MF └── .classpath ├── apgas.tests ├── build.properties ├── META-INF │ └── MANIFEST.MF ├── .classpath └── src │ └── apgas │ └── tests │ └── package-info.java ├── x10.gml ├── doc │ ├── GML_overview.odp │ ├── GML_overview.pdf │ └── GML_overview.ppt ├── src │ └── x10 │ │ └── matrix │ │ ├── comm │ │ ├── CompArrayPLH.x10 │ │ ├── DataArrayPLH.x10 │ │ ├── RemotePair.x10 │ │ ├── DistCompArray.x10 │ │ └── DistDataArray.x10 │ │ ├── ElemType.x10 │ │ ├── ElemType.x10.double │ │ ├── util │ │ ├── ElemTypeTool.x10 │ │ └── StringTool.x10 │ │ └── ElemType.x10.float ├── bench │ └── README ├── scripts │ ├── srun.mvapich │ ├── srun.x10sock │ └── srun.x10java ├── .classpath └── examples │ └── svm │ └── README ├── x10.runtime ├── x10rt │ ├── doc │ │ ├── cake.dia │ │ └── cake.png │ └── jni │ │ └── jni.mk ├── build-user.xml ├── build.properties ├── META-INF │ └── MANIFEST.MF ├── src-cpp │ ├── bdwgc-patches-8.0.2 │ │ ├── pthread_support.patch.txt │ │ └── gc_markers.patch.txt │ ├── bdwgc-patches-7.4.2 │ │ ├── gc_markers.patch.txt │ │ └── pthread_support.patch.txt │ └── x10aux │ │ └── class_cast.cc ├── src-x10 │ └── x10 │ │ ├── util │ │ ├── Set.x10 │ │ ├── CollectionIterator.x10 │ │ ├── Indexed.x10 │ │ └── resilient │ │ │ └── localstore │ │ │ └── Cloneable.x10 │ │ ├── compiler │ │ ├── InlineOnly.x10 │ │ ├── InferGuard.x10 │ │ ├── NativeDef.x10 │ │ ├── SetOps.x10 │ │ ├── Ifdef.x10 │ │ ├── Ifndef.x10 │ │ ├── NativeClass.x10 │ │ └── Ephemeral.x10 │ │ ├── lang │ │ ├── annotations │ │ │ ├── Annotation.x10 │ │ │ ├── ClassAnnotation.x10 │ │ │ ├── FieldAnnotation.x10 │ │ │ ├── TypeAnnotation.x10 │ │ │ ├── ImportAnnotation.x10 │ │ │ ├── MethodAnnotation.x10 │ │ │ ├── PackageAnnotation.x10 │ │ │ ├── ExpressionAnnotation.x10 │ │ │ └── StatementAnnotation.x10 │ │ ├── Empty.x10 │ │ ├── Indexable.x10 │ │ ├── Settable.x10 │ │ ├── IllegalAccAccess.x10 │ │ └── Iterator.x10 │ │ ├── regionarray │ │ └── Range.x10 │ │ ├── io │ │ ├── IOException.x10 │ │ └── EOFException.x10 │ │ └── glb │ │ └── TaskBag.x10 └── src-java │ └── x10 │ └── core │ └── fun │ ├── Fun.java │ └── VoidFun.java ├── apgas ├── .settings │ ├── org.eclipse.core.resources.prefs │ └── org.eclipse.m2e.core.prefs ├── build.properties ├── .classpath ├── src │ └── apgas │ │ ├── package-info.java │ │ ├── util │ │ └── package-info.java │ │ └── impl │ │ └── package-info.java ├── README.txt └── META-INF │ └── MANIFEST.MF ├── x10.doc ├── build-user.xml ├── build.properties ├── src │ └── com │ │ └── sun │ │ └── javadoc │ │ └── AnnotatedType.java ├── .classpath ├── .settings │ └── org.eclipse.jdt.core.prefs └── META-INF │ └── MANIFEST.MF ├── x10.constraints ├── build-user.xml ├── build.properties ├── src │ └── x10 │ │ └── constraint │ │ ├── XAnd.java │ │ ├── XNot.java │ │ ├── XEquals.java │ │ ├── XDisEquals.java │ │ ├── XUQV.java │ │ └── XVar.java ├── exportPlugin.xml ├── .classpath └── META-INF │ └── MANIFEST.MF ├── x10.network ├── build.properties ├── exportPlugin.xml ├── META-INF │ └── MANIFEST.MF ├── .classpath └── src │ └── x10 │ └── network │ └── NetworkTransportCallbacks.java ├── apgas.examples ├── build.properties ├── META-INF │ └── MANIFEST.MF ├── .classpath └── src │ └── apgas │ └── examples │ └── package-info.java ├── x10.constraints.tests ├── build.properties ├── META-INF │ └── MANIFEST.MF └── .classpath ├── apgas.pool ├── .classpath ├── .settings │ └── org.eclipse.jdt.ui.prefs └── .project ├── .travis.yml ├── apgas.impl ├── .classpath ├── javadoc.xml ├── .project └── src │ └── apgas │ └── impl │ └── package-info.java ├── x10.yarn └── .project ├── apgas.yarn ├── .project └── .classpath ├── x10.constraints.compiler.tests ├── .project └── src │ └── x10 │ └── cconstraints │ └── test │ └── AllTests.java └── README.md /x10.compiler/etc/standard.cfg: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /x10.tests/tests/Misc/EmptyFile.x10: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /x10.tests/tests/IO/alphabet.txt: -------------------------------------------------------------------------------- 1 | abcdefghijklmnopqrtsuvwxyz 2 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/InterfaceMethods/.gitignore: -------------------------------------------------------------------------------- 1 | bin/ 2 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/FunctionalInterface/.gitignore: -------------------------------------------------------------------------------- 1 | bin/ 2 | -------------------------------------------------------------------------------- /x10.tests/build.properties: -------------------------------------------------------------------------------- 1 | output.. = classes/ 2 | bin.includes = . 3 | -------------------------------------------------------------------------------- /x10.libs/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.libs/LICENSE -------------------------------------------------------------------------------- /x10.common/contrib/vim/README: -------------------------------------------------------------------------------- 1 | Install in ~/.vim, preserving the directory structure. 2 | -------------------------------------------------------------------------------- /x10.common/contrib/vim/ftdetect/x10.vim: -------------------------------------------------------------------------------- 1 | au BufRead,BufNewFile *.x10 set filetype=x10 2 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test068/A.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class A(a: B) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test069/A.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class A(a: B) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test070/A.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class A(a: B) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test071/A.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class A(a: B) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test072/A.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class A(a: B) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test073/A.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class A(a: B) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.gl/clean.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | rm -rf lib/* include/* *.jar *.properties 4 | -------------------------------------------------------------------------------- /x10.tests/TESTING: -------------------------------------------------------------------------------- 1 | See x10.tests/README for instructions on invoking the test suite. 2 | 3 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test068/B.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class B(b: Long) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test069/B.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class B(b: Long) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test070/B.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class B(b: Long) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test071/B.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class B(b: Long) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test072/B.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class B(b: Long) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test073/B.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class B(b: Long) { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /apgas.sockets/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | bin.includes = META-INF/,\ 3 | . 4 | -------------------------------------------------------------------------------- /apgas.tests/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | bin.includes = META-INF/,\ 3 | . 4 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/parse/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | Parser utility classes. 4 | 5 | -------------------------------------------------------------------------------- /x10.dist/samples/GLB/uts/README.txt: -------------------------------------------------------------------------------- 1 | This code demonstrates how to use GLB to solve UTS problem. 2 | -------------------------------------------------------------------------------- /x10.dist/samples/points.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.dist/samples/points.dat -------------------------------------------------------------------------------- /x10.compiler/src/x10/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | X10eton language extension. 4 |

5 | 6 | -------------------------------------------------------------------------------- /x10.dist/samples/GLB/fib/README.txt: -------------------------------------------------------------------------------- 1 | This code demonstrates how to use GLB to solve Fibonacci problem. 2 | -------------------------------------------------------------------------------- /x10.gml/doc/GML_overview.odp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.gml/doc/GML_overview.odp -------------------------------------------------------------------------------- /x10.gml/doc/GML_overview.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.gml/doc/GML_overview.pdf -------------------------------------------------------------------------------- /x10.gml/doc/GML_overview.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.gml/doc/GML_overview.ppt -------------------------------------------------------------------------------- /x10.runtime/x10rt/doc/cake.dia: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.runtime/x10rt/doc/cake.dia -------------------------------------------------------------------------------- /x10.runtime/x10rt/doc/cake.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.runtime/x10rt/doc/cake.png -------------------------------------------------------------------------------- /apgas/.settings/org.eclipse.core.resources.prefs: -------------------------------------------------------------------------------- 1 | eclipse.preferences.version=1 2 | encoding/=UTF-8 3 | -------------------------------------------------------------------------------- /x10.dist/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /x10.dist/samples/GLB/bcg/README.txt: -------------------------------------------------------------------------------- 1 | This demonstrates how to use GLB to solve BC (Betweeness-Centrality) problem. 2 | -------------------------------------------------------------------------------- /x10.doc/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /x10.tests/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /x10.tests/tests/Samples/points.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.tests/tests/Samples/points.dat -------------------------------------------------------------------------------- /x10.common/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /x10.common/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | output.. = classes/ 3 | bin.includes = META-INF/,\ 4 | . 5 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | AST nodes for the X10 language extension. 4 |

5 | 6 | -------------------------------------------------------------------------------- /x10.doc/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | output.. = classes/ 3 | bin.includes = META-INF/,\ 4 | . 5 | -------------------------------------------------------------------------------- /x10.runtime/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /x10.compiler/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | -------------------------------------------------------------------------------- /x10.compiler/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | output.. = classes/ 3 | bin.includes = META-INF/,\ 4 | . 5 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/types/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | Type objects for the x10 language extension. 4 |

5 | 6 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/visit/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | Visitors for the x10eton language extension. 4 |

5 | 6 | -------------------------------------------------------------------------------- /x10.constraints/build-user.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /x10.constraints/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | output.. = classes/ 3 | bin.includes = META-INF/,\ 4 | . 5 | -------------------------------------------------------------------------------- /x10.network/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | output.. = classes/ 3 | bin.includes = META-INF/,\ 4 | . 5 | -------------------------------------------------------------------------------- /apgas.examples/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | bin.includes = META-INF/,\ 3 | src/**,\ 4 | . 5 | -------------------------------------------------------------------------------- /x10.constraints.tests/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | output.. = bin/ 3 | bin.includes = META-INF/,\ 4 | . 5 | -------------------------------------------------------------------------------- /x10.constraints/src/x10/constraint/XAnd.java: -------------------------------------------------------------------------------- 1 | package x10.constraint; 2 | 3 | public interface XAnd extends XFormula { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.constraints/src/x10/constraint/XNot.java: -------------------------------------------------------------------------------- 1 | package x10.constraint; 2 | 3 | public interface XNot extends XFormula { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /apgas/.settings/org.eclipse.m2e.core.prefs: -------------------------------------------------------------------------------- 1 | activeProfiles= 2 | eclipse.preferences.version=1 3 | resolveWorkspaceProjects=true 4 | version=1 5 | -------------------------------------------------------------------------------- /apgas/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src/ 2 | bin.includes = META-INF/,\ 3 | src/**,\ 4 | doc/**,\ 5 | . -------------------------------------------------------------------------------- /x10.constraints/src/x10/constraint/XEquals.java: -------------------------------------------------------------------------------- 1 | package x10.constraint; 2 | 3 | public interface XEquals extends XFormula { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/extension/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | AST extensions and delegates for the x10 language extension. 4 |

5 | 6 | -------------------------------------------------------------------------------- /x10.constraints/src/x10/constraint/XDisEquals.java: -------------------------------------------------------------------------------- 1 | package x10.constraint; 2 | 3 | public interface XDisEquals extends XFormula { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/lex/package.html: -------------------------------------------------------------------------------- 1 | 2 |

3 | Implementation of the lexical tokens. Each extension defines its own lexer. 4 | 5 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/comm/CompArrayPLH.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.comm; 2 | 3 | public type CompArrayPLH =PlaceLocalHandle[x10.matrix.sparse.CompressArray]; -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test038/Elt.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class Elt (elt: Long) { 4 | def this(elt: Long) { 5 | property(elt); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.runtime/build.properties: -------------------------------------------------------------------------------- 1 | source.. = src-java/,\ 2 | src-java/gen 3 | output.. = classes/ 4 | bin.includes = META-INF/,\ 5 | . 6 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/util/package.html: -------------------------------------------------------------------------------- 1 | 2 | Classes to provide compiler utilities, such as data structures and 3 | convenience classes. 4 | 5 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/InterfaceMethods/clean.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | SCRIPTDIR="$(cd "$(dirname "$0")" && pwd)" 3 | 4 | BINDIR=$SCRIPTDIR/bin 5 | rm -rf "$BINDIR" 6 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/comm/DataArrayPLH.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.comm; 2 | 3 | import x10.matrix.ElemType; 4 | public type DataArrayPLH = PlaceLocalHandle[Rail[ElemType]]; 5 | -------------------------------------------------------------------------------- /x10.dist/build.properties: -------------------------------------------------------------------------------- 1 | output.. = classes/ 2 | bin.includes = .,\ 3 | bin/,\ 4 | etc/,\ 5 | samples/,\ 6 | META-INF/ 7 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/FunctionalInterface/README.txt: -------------------------------------------------------------------------------- 1 | 2 | This example illustrates how to implement Java functional interface in X10. 3 | 4 | Require Java 8 or later. 5 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/FunctionalInterface/clean.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | SCRIPTDIR="$(cd "$(dirname "$0")" && pwd)" 3 | 4 | BINDIR=$SCRIPTDIR/bin 5 | rm -rf "$BINDIR" 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Closures/ClosureFunctionType1.x10.aside: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.tests/tests/Constructs/Closures/ClosureFunctionType1.x10.aside -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Closures/ClosureTypeParameters2a.x10.aside: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.tests/tests/Constructs/Closures/ClosureTypeParameters2a.x10.aside -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Closures/ClosureTypeParameters2b.x10.aside: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.tests/tests/Constructs/Closures/ClosureTypeParameters2b.x10.aside -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Closures/ClosureTypeParameters2c.x10.aside: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/x10-lang/x10/HEAD/x10.tests/tests/Constructs/Closures/ClosureTypeParameters2c.x10.aside -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/InterfaceMethods/README.txt: -------------------------------------------------------------------------------- 1 | 2 | This example illustrates how static and default interface methods can be called from X10. 3 | 4 | Require Java 8 or later. 5 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test035/Pair.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | class Pair (left: Long, right: Long) { 4 | def this(left: Long, right: Long) { 5 | property(left, right); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test037/Pair.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | class Pair (left: Long, right: Long) { 4 | def this(left: Long, right: Long) { 5 | property(left, right); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test039/Pair.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | class Pair (left: Long, right: Long) { 4 | def this(left: Long, right: Long) { 5 | property(left, right); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test041/Pair.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | class Pair (left: Long, right: Long) { 4 | def this(left: Long, right: Long) { 5 | property(left, right); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test042/Pair.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | class Pair (left: Long, right: Long) { 4 | def this(left: Long, right: Long) { 5 | property(left, right); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/comm/RemotePair.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.comm; 2 | 3 | import x10.matrix.ElemType; 4 | 5 | public type RemotePair=x10.util.Pair[GlobalRail[Long], GlobalRail[ElemType]]; 6 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test036/Pair.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | public class Pair (left: Long, right: Long) { 4 | def this(left: Long, right: Long) { 5 | property(left, right); 6 | } 7 | } 8 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/comm/DistCompArray.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.comm; 2 | 3 | import x10.regionarray.DistArray; 4 | 5 | public type DistCompArray = DistArray[x10.matrix.sparse.CompressArray](1); 6 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/main/package.html: -------------------------------------------------------------------------------- 1 | 2 | Contains classes to get and parse command line arguments and run the 3 | compilation process. All static globals should be found in this package. 4 | 5 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/comm/DistDataArray.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.comm; 2 | 3 | import x10.regionarray.DistArray; 4 | import x10.matrix.ElemType; 5 | 6 | public type DistDataArray = DistArray[Rail[ElemType]](1); 7 | -------------------------------------------------------------------------------- /x10.common/contrib/gdb/x10.gdb: -------------------------------------------------------------------------------- 1 | # a few things that are useful for debugging x10 programs with gdb 2 | 3 | set print static-members off 4 | break x10aux::throwException 5 | handle SIGPWR SIGXCPU SIG39 SIG40 nostop noprint 6 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/parser/notes.txt: -------------------------------------------------------------------------------- 1 | Sat Aug 22 10:14:31 2009 2 | 3 | How to add new flags. 4 | 5 | -- Add to softkeywords in x10.g 6 | -- Change productions in x10.g to recognize this. 7 | -- Add to X10Flags. 8 | -- Add to X10KWLexer.gi -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/ElemType.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix; 2 | 3 | /** 4 | Support for parametrizing Matrix and Vector, without using a NumType bound, 5 | which currently does not perform well in the managed backend. 6 | */ 7 | 8 | public type ElemType=Double; 9 | -------------------------------------------------------------------------------- /x10.common/exportPlugin.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.doc/src/com/sun/javadoc/AnnotatedType.java: -------------------------------------------------------------------------------- 1 | package com.sun.javadoc; 2 | 3 | /** 4 | * AnnotatedType is introduced in 1.8. 5 | * This interface provides backward compatibility with 1.7 and below. 6 | */ 7 | 8 | public interface AnnotatedType { 9 | 10 | } 11 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/ElemType.x10.double: -------------------------------------------------------------------------------- 1 | package x10.matrix; 2 | 3 | /** 4 | Support for parametrizing Matrix and Vector, without using a NumType bound, 5 | which currently does not perform well in the managed backend. 6 | */ 7 | 8 | public type ElemType=Double; 9 | -------------------------------------------------------------------------------- /x10.libs/.project: -------------------------------------------------------------------------------- 1 | 2 | 3 | x10.libs 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | -------------------------------------------------------------------------------- /x10.network/exportPlugin.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.compiler/exportPlugin.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.constraints/exportPlugin.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.dist/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 Dist 4 | Bundle-SymbolicName: x10.dist 5 | Bundle-Version: 2.6.2.qualifier 6 | Bundle-Vendor: x10-users@lists.sourceforge.net 7 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 8 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/util/ElemTypeTool.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.util; 2 | 3 | import x10.matrix.ElemType; 4 | 5 | public class ElemTypeTool { 6 | 7 | public static val unit:ElemType = 1 as ElemType; 8 | public static val zero:ElemType = 0 as ElemType; 9 | 10 | } 11 | -------------------------------------------------------------------------------- /x10.tests/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 Tests 4 | Bundle-SymbolicName: x10.tests 5 | Bundle-Version: 2.6.2.qualifier 6 | Bundle-Vendor: x10-users@lists.sourceforge.net 7 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 8 | -------------------------------------------------------------------------------- /x10.tests/tests/APGAS/Place/ClosureBang.x10: -------------------------------------------------------------------------------- 1 | class ClosureBang { 2 | class C { 3 | def n():void { throw new Exception(); } 4 | } 5 | def m(x:()=> GlobalRef[C]{self.home==here}) { 6 | at (Place.places().next(here)) { 7 | x()(); // shd be ok. 8 | } 9 | } 10 | } 11 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/ElemType.x10.float: -------------------------------------------------------------------------------- 1 | package x10.matrix; 2 | 3 | /** 4 | Support for parametrizing Matrix and Vector, without using a NumType bound, 5 | which currently does not perform well in the managed backend. 6 | */ 7 | 8 | public type ElemType=Float; 9 | 10 | -------------------------------------------------------------------------------- /x10.dist/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.tests/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.network/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 Network 4 | Bundle-SymbolicName: x10.network 5 | Bundle-Version: 2.6.2.qualifier 6 | Bundle-Vendor: x10-users@lists.sourceforge.net 7 | Export-Package: x10.network 8 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 9 | -------------------------------------------------------------------------------- /x10.gml/bench/README: -------------------------------------------------------------------------------- 1 | Test and benchmark GML library built applications 2 | 3 | 1) commu --- communication benchmarks 4 | 2) serial --- single-place (sequential computation) of dense and sparse matrix multiplication 5 | 3) summ --- benchmarks of distributed dense and sparse matrix multiplication implemented in SUMMA 6 | 7 | -------------------------------------------------------------------------------- /apgas.pool/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/README.txt: -------------------------------------------------------------------------------- 1 | This portion of the directory tree contains test cases 2 | for language features that either are under development 3 | (and thus not ready to be included in the main test suite) 4 | or that are no longer supported, but might come back at 5 | some future point and therefore aren't simply deleted. 6 | 7 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/parser/auto-gen-sentences/XTENLANG_2013.x10: -------------------------------------------------------------------------------- 1 | transient static static static protected native @ here . x { } @ self . x { } @ [ ] . y ( ) interface x [ - x , + x , y ] extends self . y , "" . x , ( 'a' . x ) { ; ; ; operator - this ; protected def y ( ) { } static atomic y { } protected property native operator - this ; } 2 | -------------------------------------------------------------------------------- /x10.common/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.doc/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test076/Prop.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | import x10.compiler.InferGuard; 4 | 5 | class Prop { 6 | static property eq0(x:Long) = x == 0; 7 | 8 | static def assert0(x: Long){ Prop.eq0(x) }{} 9 | 10 | @InferGuard 11 | static def f (y:Long{/*??< self==0 >??*/}) { 12 | assert0(y); 13 | } 14 | 15 | } 16 | -------------------------------------------------------------------------------- /x10.common/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 Common components 4 | Bundle-SymbolicName: x10.common 5 | Bundle-Version: 2.6.2.qualifier 6 | Export-Package: x10.config, 7 | x10.util 8 | Bundle-Vendor: x10-users@lists.sourceforge.net 9 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 10 | -------------------------------------------------------------------------------- /x10.compiler/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.constraints/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | sudo: required 2 | 3 | branches: 4 | only: 5 | - master 6 | 7 | script: 8 | - wget https://www-us.apache.org/dist/ant/binaries/apache-ant-1.10.7-bin.zip && sudo unzip -q apache-ant-1.10.7-bin.zip -d /usr/local 9 | - PATH=/usr/local/apache-ant-1.10.7/bin:$PATH 10 | - cd x10.dist && ant precommit && ./bin/precommit 11 | 12 | -------------------------------------------------------------------------------- /apgas.pool/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- 1 | cleanup_settings_version=2 2 | eclipse.preferences.version=1 3 | formatter_profile=_JikesRVM 4 | formatter_settings_version=12 5 | org.eclipse.jdt.ui.ignorelowercasenames=true 6 | org.eclipse.jdt.ui.importorder=java;javax;org;com; 7 | org.eclipse.jdt.ui.ondemandthreshold=99 8 | org.eclipse.jdt.ui.staticondemandthreshold=1 9 | -------------------------------------------------------------------------------- /x10.gml/scripts/srun.mvapich: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | export X10_HOSTFILE="hosts.$SLURM_JOB_ID" 3 | export X10_NPLACES=$SLURM_NPROCS 4 | export X10_SINGLE_JVM="" 5 | srun /bin/hostname -s | sort -n > $X10_HOSTFILE 6 | #echo $X10_NPLACES 7 | #cat $X10_HOSTFILE 8 | mpirun_rsh -np $X10_NPLACES -hostfile $X10_HOSTFILE $@ 9 | rc=$? 10 | rm -f $X10_HOSTFILE 11 | exit $rc 12 | -------------------------------------------------------------------------------- /apgas.sockets/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: Sockets 4 | Bundle-SymbolicName: apgas.sockets 5 | Bundle-Version: 1.0.0.qualifier 6 | Export-Package: apgas.sockets 7 | Require-Bundle: apgas;bundle-version="1.0.0", 8 | x10.network;bundle-version="2.6.2" 9 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 10 | -------------------------------------------------------------------------------- /apgas.tests/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: Tests 4 | Bundle-SymbolicName: apgas.tests 5 | Bundle-Version: 2.0.0.qualifier 6 | Export-Package: apgas.tests 7 | Require-Bundle: apgas;bundle-version="2.0.0" 8 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 9 | Bundle-Vendor: x10-users@lists.sourceforge.net 10 | -------------------------------------------------------------------------------- /x10.constraints.tests/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 Constraints Tests 4 | Bundle-SymbolicName: x10.constraints.tests 5 | Bundle-Version: 2.6.2.qualifier 6 | Require-Bundle: org.eclipse.ui, 7 | org.eclipse.core.runtime, 8 | org.junit4, 9 | x10.constraints 10 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 11 | -------------------------------------------------------------------------------- /x10.runtime/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 runtime 4 | Bundle-SymbolicName: x10.runtime 5 | Bundle-Version: 2.6.2.qualifier 6 | Eclipse-AutoStart: true 7 | Bundle-Vendor: x10-users@lists.sourceforge.net 8 | Require-Bundle: x10.common, 9 | x10.network 10 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 11 | 12 | -------------------------------------------------------------------------------- /apgas.examples/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: apgas.examples 4 | Bundle-SymbolicName: apgas.examples 5 | Bundle-Version: 2.0.0.qualifier 6 | Export-Package: apgas.examples 7 | Require-Bundle: apgas;bundle-version="2.0.0" 8 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 9 | Bundle-Vendor: x10-users@lists.sourceforge.net 10 | -------------------------------------------------------------------------------- /x10.doc/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- 1 | #Mon Oct 12 15:08:47 EDT 2009 2 | eclipse.preferences.version=1 3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 4 | org.eclipse.jdt.core.compiler.compliance=1.5 5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error 6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error 7 | org.eclipse.jdt.core.compiler.source=1.5 8 | -------------------------------------------------------------------------------- /x10.gml/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | -------------------------------------------------------------------------------- /x10.dist/samples/README.txt: -------------------------------------------------------------------------------- 1 | This directory and its sub-directories contain a collection of small 2 | sample programs illustrating various aspects of the X10 programming 3 | language. 4 | 5 | Additional larger X10 benchmarks can be found online either from the 6 | main X10 web site at http://x10-lang.org or in the x10-benchmarks 7 | git repository at https://github.com/x10-lang/x10-benchmarks.git 8 | -------------------------------------------------------------------------------- /apgas.impl/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | -------------------------------------------------------------------------------- /x10.constraints/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: X10 Constraints 4 | Bundle-SymbolicName: x10.constraints 5 | Bundle-Version: 2.6.2.qualifier 6 | Require-Bundle: x10.common;visibility:=reexport 7 | Export-Package: x10.constraint, 8 | x10.constraint.visitors, 9 | x10.constraint.xnative 10 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 11 | -------------------------------------------------------------------------------- /x10.doc/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: x10.doc 4 | Bundle-SymbolicName: x10.doc 5 | Bundle-Version: 2.6.2.qualifier 6 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 7 | Require-Bundle: x10.common;visibility:=reexport, 8 | x10.compiler;visibility:=reexport 9 | Export-Package: x10doc, 10 | x10doc.doc, 11 | x10doc.goals, 12 | x10doc.visit 13 | -------------------------------------------------------------------------------- /x10.network/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | -------------------------------------------------------------------------------- /apgas.examples/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /apgas.sockets/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.constraints/src/x10/constraint/XUQV.java: -------------------------------------------------------------------------------- 1 | /** 2 | * 3 | */ 4 | package x10.constraint; 5 | 6 | /** 7 | * An efficient representation of a universally 8 | * quantified variable that is permitted to occur in multiple constraints. 9 | * 10 | * Such a variable may optionally have a string name. 11 | * @author vj 12 | * @see XEQV 13 | * 14 | */ 15 | public interface XUQV extends XVar { 16 | } 17 | -------------------------------------------------------------------------------- /x10.dist/samples/GLB/bcg/Bag.x10: -------------------------------------------------------------------------------- 1 | import x10.compiler.*; 2 | import x10.glb.TaskBag; 3 | public final class Bag implements TaskBag{ 4 | public val lower:Rail[Int]; 5 | public val upper:Rail[Int]; 6 | 7 | public def this(size:Long) { 8 | lower = new Rail[Int](size); 9 | upper = new Rail[Int](size); 10 | } 11 | 12 | @Inline public def size() = lower.size; 13 | } 14 | -------------------------------------------------------------------------------- /x10.runtime/src-cpp/bdwgc-patches-8.0.2/pthread_support.patch.txt: -------------------------------------------------------------------------------- 1 | --- a/include/private/pthread_support.h 2 | +++ b/include/private/pthread_support.h 3 | @@ -137,7 +137,7 @@ 4 | } * GC_thread; 5 | 6 | #ifndef THREAD_TABLE_SZ 7 | -# define THREAD_TABLE_SZ 256 /* Power of 2 (for speed). */ 8 | +# define THREAD_TABLE_SZ 4096 /* Power of 2 (for speed). */ 9 | #endif 10 | 11 | #if CPP_WORDSZ == 64 12 | -------------------------------------------------------------------------------- /apgas/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.constraints.tests/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | -------------------------------------------------------------------------------- /x10.dist/samples/GLB/bcgy/Bag.x10: -------------------------------------------------------------------------------- 1 | 2 | import x10.glb.TaskBag; 3 | import x10.compiler.*; 4 | 5 | public final class Bag implements TaskBag { 6 | public val lower:Rail[Int]; 7 | public val upper:Rail[Int]; 8 | 9 | public def this(size:Long) { 10 | lower = new Rail[Int](size); 11 | upper = new Rail[Int](size); 12 | } 13 | 14 | @Inline public def size() = lower.size; 15 | } 16 | -------------------------------------------------------------------------------- /x10.runtime/x10rt/jni/jni.mk: -------------------------------------------------------------------------------- 1 | # 2 | # This file is part of the X10 project (http://x10-lang.org). 3 | # 4 | # This file is licensed to You under the Eclipse Public License (EPL); 5 | # You may not use this file except in compliance with the License. 6 | # You may obtain a copy of the License at 7 | # http://www.opensource.org/licenses/eclipse-1.0.php 8 | # 9 | # (C) Copyright IBM Corporation 2006-2016. 10 | # 11 | 12 | -------------------------------------------------------------------------------- /x10.tests/tests/Issues/XTENLANG_3383.x10: -------------------------------------------------------------------------------- 1 | import harness.x10Test; 2 | 3 | public class XTENLANG_3383 extends x10Test { 4 | public def run() { 5 | val x = new Rail[Complex](1); 6 | x(0) += Complex.ONE; 7 | assert(x(0) == Complex.ONE); 8 | 9 | return true; 10 | } 11 | 12 | public static def main(args:Rail[String]) { 13 | new XTENLANG_3383().execute(); 14 | } 15 | } 16 | 17 | -------------------------------------------------------------------------------- /x10.tests/tests/MicroBenchmarks/comm-benchmarks/transferspeedtesting/Params.x10: -------------------------------------------------------------------------------- 1 | public struct Params( 2 | abort:Boolean, 3 | len:Long, 4 | window:Long, 5 | iterations:Int, 6 | v:Boolean, // didn't implement it 7 | put:Boolean, // off by default 8 | get:Boolean, // off by default 9 | automatic:Boolean // on by default 10 | ){ 11 | public static Default = Params(false,1024,100,320n,false, false, false, false); 12 | } 13 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test003/Vec.x10: -------------------------------------------------------------------------------- 1 | /** 2 | * Example from Vijay. 3 | * 4 | */ 5 | 6 | 7 | 8 | import x10.compiler.InferGuard; 9 | 10 | class Vec(len: Long) { 11 | static def add (x: Vec, y: Vec{ self.len == x.len }) {} 12 | @InferGuard 13 | static def add2 (x: Vec, y: Vec) { /*??< y.len == x.len >??*/ } { // Here we would like to infer the constraint 14 | add(x, y); // <= x.len == y.len 15 | } 16 | } 17 | -------------------------------------------------------------------------------- /apgas.impl/javadoc.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | -------------------------------------------------------------------------------- /x10.yarn/.project: -------------------------------------------------------------------------------- 1 | 2 | 3 | x10.yarn 4 | 5 | 6 | 7 | 8 | 9 | org.eclipse.jdt.core.javabuilder 10 | 11 | 12 | 13 | 14 | 15 | org.eclipse.jdt.core.javanature 16 | 17 | 18 | -------------------------------------------------------------------------------- /apgas.impl/.project: -------------------------------------------------------------------------------- 1 | 2 | 3 | apgas.impl 4 | 5 | 6 | 7 | 8 | 9 | org.eclipse.jdt.core.javabuilder 10 | 11 | 12 | 13 | 14 | 15 | org.eclipse.jdt.core.javanature 16 | 17 | 18 | -------------------------------------------------------------------------------- /apgas.pool/.project: -------------------------------------------------------------------------------- 1 | 2 | 3 | apgas.pool 4 | 5 | 6 | 7 | 8 | 9 | org.eclipse.jdt.core.javabuilder 10 | 11 | 12 | 13 | 14 | 15 | org.eclipse.jdt.core.javanature 16 | 17 | 18 | -------------------------------------------------------------------------------- /apgas.yarn/.project: -------------------------------------------------------------------------------- 1 | 2 | 3 | apgas.yarn 4 | 5 | 6 | 7 | 8 | 9 | org.eclipse.jdt.core.javabuilder 10 | 11 | 12 | 13 | 14 | 15 | org.eclipse.jdt.core.javanature 16 | 17 | 18 | -------------------------------------------------------------------------------- /x10.gml/scripts/srun.x10sock: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | if [ "$_" != "/usr/bin/salloc" ] ; then 3 | if [ "$SLURM_PROCID" == 0 ] ; then 4 | echo "$0" can only be run via salloc, do not run it with srun 5 | exit 1 6 | fi 7 | fi 8 | X10_HOSTFILE="hosts.$SLURM_JOB_ID" 9 | X10_NPLACES=$SLURM_NPROCS 10 | X10_SINGLE_JVM="" 11 | srun -l /bin/hostname -s | sort -n | awk '{print $2}' > $X10_HOSTFILE 12 | "$@" 13 | rc=$? 14 | rm -f $X10_HOSTFILE 15 | exit $rc 16 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/ScalableFinish/LocalFinish.x10: -------------------------------------------------------------------------------- 1 | import x10.compiler.FinishAsync; 2 | public class LocalFinish { 3 | public static def main(args: Rail[String]) //throws Exception 4 | { 5 | @FinishAsync(1,1,true,1) 6 | finish{ 7 | async{} 8 | async{} 9 | async{} 10 | async{} 11 | async{} 12 | } 13 | } 14 | } 15 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test078/Vec.x10: -------------------------------------------------------------------------------- 1 | /** 2 | * Using constraint comming from return type 3 | * 4 | */ 5 | 6 | 7 | 8 | import x10.compiler.InferGuard; 9 | 10 | class Vec(len: Long) { 11 | static def add (x: Vec, y: Vec){ x.len == y.len }: Vec{ self.len == x.len } { 12 | val v = new Vec(x.len); 13 | return v; 14 | } 15 | 16 | @InferGuard 17 | static def add3 (x: Vec, y: Vec, z: Vec) { 18 | return add(add(x, y), z); 19 | } 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test076/Test076_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test076_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Prop.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test076_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test009/Test009_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test009_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test009.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test009_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test010/Test010_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test010_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test010.f(1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test010_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test011/Test011_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test011_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test011.f(1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test011_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test013/Test013_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test013_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test013.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test013_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test014/Test014_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test014_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test014.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test014_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test015/Test015_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test015_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test015.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test015_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test016/Test016_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test016_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test016.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test016_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test017/Test017_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test017_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test017.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test017_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test018/Test018_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test018_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test018.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test018_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test025/Test025_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test025_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test025.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test025_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test032/Test032_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test032_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test032.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test032_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test033/Test033_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test033_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test033.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test033_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test043/Test043_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test043_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test043.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test043_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test044/Test044_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test044_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test044.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test044_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test045/Test045_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test045_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test045.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test045_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test046/Test046_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test046_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test046.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test046_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test047/Test047_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test047_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test047.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test047_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test050/Test050_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test050_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test050.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test050_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test051/Test051_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test051_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test051.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test051_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test052/Test052_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test052_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test052.f(1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test052_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test053/Test053_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test053_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test053.f(1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test053_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test054/Test054_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test054_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test054.f(1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test054_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test055/Test055_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test055_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test055.f(1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test055_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test057/Test057_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test057_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test057.f(1, 2); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test057_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test058/Test058_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test058_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test058.f(1, 2); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test058_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test060/Test060_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test060_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test060.f(1, 2); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test060_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test061/Test061_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test061_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test061.g(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test061_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test062/Test062_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test062_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test062.g(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test062_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test063/Test063_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test063_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test063.g(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test063_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test064/Test064_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test064_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test064.g(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test064_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test001/Test001_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test001_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test001.f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test001_MustFailCompile().execute(); 16 | } 17 | 18 | 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test027/Test027_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test027_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test027.f(false); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test027_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test029/Test029_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test029_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test029.f(1, 2, 3); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test029_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test030/Test030_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test030_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test030.f(1, 1, 2); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test030_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test034/Test034_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test034_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test034.f(1, 42); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test034_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test035/Test035_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | import harness.x10Test; 5 | 6 | public class Test035_MustFailCompile extends x10Test { 7 | 8 | public def run(): boolean { 9 | Test035.f(new Pair(1, 1)); 10 | return true; 11 | } 12 | 13 | public static def main(Rail[String]) { 14 | new Test035_MustFailCompile().execute(); 15 | } 16 | 17 | } 18 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test074/Test074_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test074_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | (new Test074()).f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test074_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test075/Test075_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test075_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | (new Test075()).f(1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test075_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /apgas.tests/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | -------------------------------------------------------------------------------- /x10.gml/src/x10/matrix/util/StringTool.x10: -------------------------------------------------------------------------------- 1 | package x10.matrix.util; 2 | 3 | public class StringTool { 4 | 5 | public static def parse[T](s:String):T { 6 | if (T==Float) return Float.parseFloat(s) as T; 7 | if (T==Double) return Double.parseDouble(s) as T; 8 | if (T==Int) return Int.parseInt(s) as T; 9 | if (T==Long) return Long.parseLong(s) as T; 10 | throw new Exception("Unexpected type T: Must be one of Float, Double, Int or Long."); 11 | } 12 | } 13 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test021/Test021_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test021_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test021.f(true, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test021_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test022/Test022_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test022_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test022.f(true, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test022_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test036/Test036_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test036_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test036.f(new Pair(1,2)); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test036_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test038/Test038_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test038_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test038.f(new Elt(1)); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test038_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test039/Test039_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test039_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test039.f(new Pair(0, 1)); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test039_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.dist/samples/GLB/uts/Bag.x10: -------------------------------------------------------------------------------- 1 | 2 | 3 | import x10.compiler.*; 4 | 5 | public final class Bag implements x10.glb.TaskBag { 6 | public val hash:Rail[SHA1Rand]; 7 | public val lower:Rail[Int]; 8 | public val upper:Rail[Int]; 9 | 10 | public def this(size:Long) { 11 | hash = new Rail[SHA1Rand](size); 12 | lower = new Rail[Int](size); 13 | upper = new Rail[Int](size); 14 | } 15 | 16 | @Inline public def size() = hash.size; 17 | } 18 | -------------------------------------------------------------------------------- /x10.network/src/x10/network/NetworkTransportCallbacks.java: -------------------------------------------------------------------------------- 1 | package x10.network; 2 | 3 | public interface NetworkTransportCallbacks { 4 | 5 | public void runPlaceAddedHandler(int placeId); 6 | public void runPlaceRemovedHandler(int placeId); 7 | 8 | public void initDataStore(String connectTo); 9 | 10 | public long getEpoch(); 11 | public void setEpoch(long epoch); 12 | 13 | static enum compressionCodec {NONE, SNAPPY}; 14 | public compressionCodec useCompressionCodec(); 15 | } 16 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test005/Test005.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test005 extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v = new Vec(42); 12 | Vec.cp(v, 42); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test005().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test006/Test006.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test006 extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v = new Vec(42); 12 | Vec.cp(v, 42); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test006().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test023/Test023_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test023_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test023.f(true, 1, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test023_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test024/Test024_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test024_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test024.f(false, 1, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test024_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test037/Test037_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test037_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test037.f(2, new Pair(1,1)); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test037_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test041/Test041_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test041_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test041.f(new Pair(1,2), new Pair(2, 3)); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test041_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test004/Test004_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test004_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v = new Vec(42); 11 | Vec.cp(v, 4012); 12 | return true; 13 | } 14 | 15 | public static def main(Rail[String]) { 16 | new Test004_MustFailCompile().execute(); 17 | } 18 | 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test005/Test005_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test005_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v = new Vec(42); 11 | Vec.cp(v, 4012); 12 | return true; 13 | } 14 | 15 | public static def main(Rail[String]) { 16 | new Test005_MustFailCompile().execute(); 17 | } 18 | 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test006/Test006_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test006_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v = new Vec(42); 11 | Vec.cp(v, 4012); 12 | return true; 13 | } 14 | 15 | public static def main(Rail[String]) { 16 | new Test006_MustFailCompile().execute(); 17 | } 18 | 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test042/Test042_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test042_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | Test042.f(new Pair(1, 2), new Pair(1, 2)); 11 | return true; 12 | } 13 | 14 | public static def main(Rail[String]) { 15 | new Test042_MustFailCompile().execute(); 16 | } 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Issues/XTENLANG_3143.x10: -------------------------------------------------------------------------------- 1 | import harness.x10Test; 2 | 3 | public class XTENLANG_3143 extends x10Test { 4 | 5 | public static interface I { 6 | public def m[T]() {String <: T} : void; 7 | } 8 | public static interface C extends I { 9 | public def m[U]() {String <: U} : void; 10 | } 11 | 12 | public def run() : Boolean = true; 13 | 14 | public static def main(args:Rail[String]) { 15 | new XTENLANG_3143().execute(); 16 | } 17 | } 18 | 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test076/Test076.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * Property methods 3 | * 4 | */ 5 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 6 | 7 | 8 | 9 | import harness.x10Test; 10 | import x10.compiler.InferGuard; 11 | 12 | public class Test076 extends x10Test { 13 | 14 | public def run(): boolean { 15 | Prop.f(0); 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test076().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.constraints.compiler.tests/.project: -------------------------------------------------------------------------------- 1 | 2 | 3 | x10.constraints.compiler.tests 4 | 5 | 6 | 7 | 8 | 9 | org.eclipse.jdt.core.javabuilder 10 | 11 | 12 | 13 | 14 | 15 | org.eclipse.jdt.core.javanature 16 | 17 | 18 | -------------------------------------------------------------------------------- /x10.constraints.compiler.tests/src/x10/cconstraints/test/AllTests.java: -------------------------------------------------------------------------------- 1 | package x10.cconstraints.test; 2 | 3 | import junit.framework.Test; 4 | import junit.framework.TestSuite; 5 | public class AllTests { 6 | 7 | public static Test suite() { 8 | TestSuite suite = new TestSuite(); 9 | //$JUnit-BEGIN$ 10 | suite.addTestSuite(BindingTest.class); 11 | suite.addTestSuite(NestedExTest.class); 12 | suite.addTestSuite(QualifiedVarTests.class); 13 | //$JUnit-END$ 14 | return suite; 15 | } 16 | 17 | } 18 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/InterfaceMethods/build.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | SCRIPTDIR="$(cd "$(dirname "$0")" && pwd)" 3 | 4 | BINDIR=$SCRIPTDIR/bin 5 | [[ -d "$BINDIR" ]] || mkdir -p "$BINDIR" 6 | 7 | echo "Compile with Javac" 8 | javac -d $BINDIR $SCRIPTDIR/src-java/*.java 9 | echo "Run with Java" 10 | java -cp $BINDIR InterfaceMethodsJava 11 | 12 | 13 | echo "Compile with X10c" 14 | x10c -cp $BINDIR -d $BINDIR $SCRIPTDIR/src-x10/*.x10 15 | echo "Run with X10" 16 | x10 -cp $BINDIR InterfaceMethodsX10 17 | -------------------------------------------------------------------------------- /x10.runtime/src-cpp/bdwgc-patches-7.4.2/gc_markers.patch.txt: -------------------------------------------------------------------------------- 1 | diff -ur a/pthread_support.c b/pthread_support.c 2 | --- a/pthread_support.c 2014-06-03 02:08:02.000000000 -0400 3 | +++ b/pthread_support.c 2015-04-08 13:21:40.787784161 -0400 4 | @@ -1109,6 +1109,7 @@ 5 | # ifdef PARALLEL_MARK 6 | { 7 | char * markers_string = GETENV("GC_MARKERS"); 8 | + if (markers_string == NULL) markers_string = GETENV("X10_NTHREADS"); 9 | int markers_m1; 10 | 11 | if (markers_string != NULL) { 12 | -------------------------------------------------------------------------------- /x10.runtime/src-cpp/bdwgc-patches-8.0.2/gc_markers.patch.txt: -------------------------------------------------------------------------------- 1 | diff -ur a/pthread_support.c b/pthread_support.c 2 | --- a/pthread_support.c 2014-06-03 02:08:02.000000000 -0400 3 | +++ b/pthread_support.c 2015-04-08 13:21:40.787784161 -0400 4 | @@ -1271,6 +1271,7 @@ 5 | # ifdef PARALLEL_MARK 6 | { 7 | char * markers_string = GETENV("GC_MARKERS"); 8 | + if (markers_string == NULL) markers_string = GETENV("X10_NTHREADS"); 9 | int markers; 10 | 11 | if (markers_string != NULL) { 12 | -------------------------------------------------------------------------------- /x10.common/contrib/sloccount/sloccount.patch: -------------------------------------------------------------------------------- 1 | diff --git a/break_filelist b/break_filelist 2 | index a6fea48..9d0ae27 100755 3 | --- a/break_filelist 4 | +++ b/break_filelist 5 | @@ -182,6 +182,7 @@ $noisy = 0; # Set to 1 if you want noisy reports. 6 | "sh" => "sh", "bash" => "sh", 7 | "csh" => "csh", "tcsh" => "csh", 8 | "java" => "java", 9 | + "x10" => "java", 10 | "lisp" => "lisp", "el" => "lisp", "scm" => "lisp", "sc" => "lisp", 11 | "lsp" => "lisp", "cl" => "lisp", 12 | "jl" => "lisp", 13 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/FunctionalInterface/build.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | SCRIPTDIR="$(cd "$(dirname "$0")" && pwd)" 3 | 4 | BINDIR=$SCRIPTDIR/bin 5 | [[ -d "$BINDIR" ]] || mkdir -p "$BINDIR" 6 | 7 | echo "Compile with X10c" 8 | x10c -d $BINDIR $SCRIPTDIR/src-x10/*.x10 9 | echo "Run with X10" 10 | x10 -cp $BINDIR FunctionalInterfaceX10 11 | 12 | 13 | echo "Compile with Javac" 14 | x10cj -cp $BINDIR -d $BINDIR $SCRIPTDIR/src-java/*.java 15 | echo "Run with Java" 16 | runjava -cp $BINDIR FunctionalInterfaceJava 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/util/Set.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.util; 13 | 14 | public interface Set[T] extends Collection[T] {} 15 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test003/Test003.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test003 extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v1 = new Vec(42); 12 | val v2 = new Vec(42); 13 | Vec.add2(v1, v2); 14 | return true; 15 | } 16 | 17 | public static def main(Rail[String]) { 18 | new Test003().execute(); 19 | } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test005/Test005_DynChecks.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test005_DynChecks extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v = new Vec(42); 12 | Vec.cp(v, 42); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test005_DynChecks().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test006/Test006_DynChecks.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test006_DynChecks extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v = new Vec(42); 12 | Vec.cp(v, 42); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test006_DynChecks().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test068/Test068_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test068_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val b = new B(0); 11 | val a = new A(new B(0)); 12 | Test068.f(a, b); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test068_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test069/Test069_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test069_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val b = new B(0); 11 | val a = new A(new B(0)); 12 | Test069.f(a, b); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test069_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test070/Test070_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test070_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val b = new B(0); 11 | val a = new A(new B(1)); 12 | Test070.f(a, b); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test070_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test071/Test071_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test071_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val b = new B(0); 11 | val a = new A(new B(0)); 12 | Test071.f(a, b); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test071_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test072/Test072_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test072_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val b = new B(0); 11 | val a = new A(new B(0)); 12 | Test072.f(a, b); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test072_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test073/Test073_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test073_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val b = new B(0); 11 | val a = new A(new B(0)); 12 | Test073.f(a, b); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test073_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/ForLoop.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | public interface ForLoop extends X10Loop { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-cpp/x10aux/class_cast.cc: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | #include 13 | 14 | // vim:tabstop=4:shiftwidth=4:expandtab 15 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test003/Test003_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test003_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v1 = new Vec(42); 11 | val v2 = new Vec(4012); 12 | Vec.add2(v1, v2); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test003_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test004/Vec.x10: -------------------------------------------------------------------------------- 1 | /** 2 | * Example from Vijay. 3 | * 4 | */ 5 | 6 | 7 | 8 | import x10.compiler.InferGuard; 9 | 10 | class Vec(len: Long) { 11 | static def copy (x: Vec, y: Vec{ self.len == x.len }) {} 12 | 13 | @InferGuard 14 | static def cp (x: Vec, l: Long) { // l should be a local variable to infer 15 | /* val l <: Long = ?; */ 16 | val y = new Vec(l); // => y.len == l 17 | copy(x, y); // <= x.len == y.len 18 | return y; 19 | } 20 | } 21 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/InlineOnly.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | public interface InlineOnly extends Inline { } 15 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test076/Test076_DynChecks.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * Property methods 3 | * 4 | */ 5 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 6 | 7 | 8 | 9 | import harness.x10Test; 10 | import x10.compiler.InferGuard; 11 | 12 | public class Test076_DynChecks extends x10Test { 13 | 14 | public def run(): boolean { 15 | Prop.f(0); 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test076_DynChecks().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Issues/XTENLANG_3140_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | import harness.x10Test; 2 | 3 | public class XTENLANG_3140_MustFailCompile extends x10Test { 4 | 5 | public static def g() throws java.io.IOException { } 6 | 7 | public static def f() { 8 | g(); 9 | h(); 10 | } 11 | 12 | public static def h() throws java.io.IOException { } 13 | 14 | public def run() : Boolean = true; 15 | 16 | public static def main(args:Rail[String]) { } 17 | } 18 | 19 | // vim: shiftwidth=4:tabstop=4:expandtab 20 | 21 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/frontend/ParserCleanupGoal.java: -------------------------------------------------------------------------------- 1 | /** 2 | * 3 | */ 4 | package polyglot.frontend; 5 | 6 | import x10.parser.antlr.ASTBuilder; 7 | 8 | /** 9 | * @author lmandel 10 | * 11 | */ 12 | public class ParserCleanupGoal extends SourceGoal_c { 13 | 14 | private static final long serialVersionUID = -1766221295003729438L; 15 | 16 | public ParserCleanupGoal(Job job) { 17 | super(job); 18 | } 19 | 20 | @Override 21 | public boolean runTask() { 22 | ASTBuilder.clearState(); 23 | return true; 24 | } 25 | 26 | } 27 | -------------------------------------------------------------------------------- /x10.gl/build.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | (cd src-x10; find . -name '*.x10' -print0 | xargs -0 jar cf ../x10_gl.jar) 4 | 5 | if [[ `uname` = Darwin* ]]; then 6 | GLLIBS="-cxx-postarg -framework -cxx-postarg OpenGL -cxx-postarg -framework -cxx-postarg GLUT" 7 | else 8 | GLLIBS="-cxx-postarg -lGL -cxx-postarg -lglut" 9 | fi 10 | 11 | ../x10.dist/bin/x10c++ -O -NO_CHECKS -STATIC_CHECKS -buildx10lib . src-x10/x10/gl/GL.x10 -o x10_gl -d include ${GLLIBS} -cxx-postarg -lGLEW 12 | 13 | (cd include; find . -name '*.cc' -print0 | xargs -0 rm) 14 | -------------------------------------------------------------------------------- /apgas/src/apgas/package-info.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | /** 13 | * The {@link apgas} package defines the core APGAS abstractions. 14 | */ 15 | package apgas; 16 | -------------------------------------------------------------------------------- /x10.gml/examples/svm/README: -------------------------------------------------------------------------------- 1 | SVM Global Matrix Library code, part of the X10 project (http://x10-lang.org). 2 | 3 | This program is controlled by the Eclipse Public Licence v1.0 4 | http://www.eclipse.org/legal/epl-v10.html 5 | 6 | Summary 7 | ------- 8 | 9 | This GML example code implements a linear support vector machine for binary 10 | classification of real-valued datasets. 11 | 12 | The file ionosphere.data is taken from the UCI Machine Learning Repository: 13 | Ionosphere Data Set. 14 | https://archive.ics.uci.edu/ml/datasets/Ionosphere 15 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/Annotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test004/Test004.x10: -------------------------------------------------------------------------------- 1 | /** 2 | * Example from Vijay. 3 | * 4 | */ 5 | 6 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 7 | 8 | 9 | 10 | import harness.x10Test; 11 | import x10.compiler.InferGuard; 12 | 13 | public class Test004 extends x10Test { 14 | 15 | public def run(): boolean { 16 | val v = new Vec(42); 17 | Vec.cp(v, 42); 18 | return true; 19 | } 20 | 21 | public static def main(Rail[String]) { 22 | new Test004().execute(); 23 | } 24 | 25 | } 26 | -------------------------------------------------------------------------------- /apgas/src/apgas/util/package-info.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | /** 13 | * The {@link apgas.util} package defines utility classes. 14 | */ 15 | package apgas.util; 16 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/regionarray/Range.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.regionarray; 13 | 14 | public type Range = Region{self.rect && self.rank==1}; 15 | 16 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test003/Test003_DynChecks.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test003_DynChecks extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v1 = new Vec(42); 12 | val v2 = new Vec(42); 13 | Vec.add2(v1, v2); 14 | return true; 15 | } 16 | 17 | public static def main(Rail[String]) { 18 | new Test003_DynChecks().execute(); 19 | } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test078/Test078.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test078 extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v1 = new Vec(42); 12 | val v2 = new Vec(42); 13 | val v3 = new Vec(42); 14 | Vec.add3(v1, v2, v3); 15 | return true; 16 | } 17 | 18 | public static def main(Rail[String]) { 19 | new Test078().execute(); 20 | } 21 | 22 | } 23 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test078/Test078bis.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test078bis extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v1 = new Vec(42); 11 | val v2 = new Vec(42); 12 | val v3 = new Vec(42); 13 | val v: Vec{self.len == 42} = Vec.add3(v1, v2, v3); 14 | return true; 15 | } 16 | 17 | public static def main(Rail[String]) { 18 | new Test078bis().execute(); 19 | } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /apgas/src/apgas/impl/package-info.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | /** 13 | * The {@link apgas.impl} package implements the global runtime. 14 | */ 15 | package apgas.impl; 16 | -------------------------------------------------------------------------------- /x10.dist/releng/buildApgas.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | cd /tmp 4 | rm -Rf apgas-build 5 | mkdir apgas-build 6 | cd apgas-build 7 | 8 | git clone -b R4_6 https://git.eclipse.org/r/jdt/eclipse.jdt.core 9 | git clone https://github.com/x10-lang/x10.git 10 | git clone https://github.com/x10-lang/x10dt.git 11 | cd eclipse.jdt.core 12 | patch -p1 < ../x10dt/apgas.compiler/R4_6.patch 13 | cd ../x10dt/apgas.parent 14 | mvn -P build-individual-bundles package 15 | cd ../.. 16 | cp x10/apgas/apgas.zip . 17 | cp x10dt/apgas.site/target/site_assembly.zip apgas-eclipse.zip 18 | -------------------------------------------------------------------------------- /x10.runtime/src-java/x10/core/fun/Fun.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.core.fun; 13 | 14 | import x10.core.Any; 15 | 16 | public interface Fun extends Any { 17 | } 18 | -------------------------------------------------------------------------------- /apgas.impl/src/apgas/impl/package-info.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | /** 13 | * The {@link apgas.impl} package implements the APGAS API. 14 | */ 15 | package apgas.impl; 16 | 17 | -------------------------------------------------------------------------------- /apgas/README.txt: -------------------------------------------------------------------------------- 1 | This is a distribution of the APGAS Library for Java 8. 2 | 3 | To build a sample program use: 4 | javac -cp samples:lib/apgas.jar samples/HelloWorld.java 5 | 6 | Run with: 7 | java -cp 'samples:lib/*' HelloWorld 8 | 9 | Please visit http://x10-lang.org for more detailed instructions. 10 | 11 | 12 | Licensing Terms 13 | --------------- 14 | (c) IBM Corporation 15 | 16 | This program is controlled by the Eclipse Public Licence v1.0. 17 | You may obtain a copy of the License at 18 | http://www.opensource.org/licenses/eclipse-1.0.php 19 | 20 | -------------------------------------------------------------------------------- /x10.constraints/src/x10/constraint/XVar.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.constraint; 13 | 14 | public interface XVar extends XTerm { 15 | public XVar[] vars(); 16 | } 17 | 18 | -------------------------------------------------------------------------------- /x10.dist/BUILDING.txt: -------------------------------------------------------------------------------- 1 | This is a source distribution of the 2 | X10 Programming Language (http://x10-lang.org/). 3 | 4 | Detailed instructions for building X10 from source can be found online 5 | at http://x10-lang.org/x10-development/building-x10-from-source.html. 6 | 7 | In a nutshell, building X10 is driven by ant. 8 | 9 | If you have the prerequisites installed on your machine 10 | (see the online documentation for details), then building X10 11 | from source can be done with a single ant command: 12 | 13 | cd x10.dist && ant -Doptimize=true dist 14 | 15 | -------------------------------------------------------------------------------- /x10.runtime/src-java/x10/core/fun/VoidFun.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.core.fun; 13 | 14 | import x10.core.Any; 15 | 16 | public interface VoidFun extends Any { 17 | } 18 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test078/Test078_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test078_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v1 = new Vec(42); 11 | val v2 = new Vec(42); 12 | val v3 = new Vec(4012); 13 | Vec.add3(v1, v2, v3); 14 | return true; 15 | } 16 | 17 | public static def main(Rail[String]) { 18 | new Test078_MustFailCompile().execute(); 19 | } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /x10.tests/tests/Misc/Temp.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | import x10.regionarray.Region; 13 | 14 | public class Temp { 15 | def m(a: Region{rank==3}): Region{rank==3} = a; 16 | } 17 | -------------------------------------------------------------------------------- /x10.dist/README.txt: -------------------------------------------------------------------------------- 1 | This is a distribution of the X10 Programming Language. 2 | 3 | http://x10-lang.org/ 4 | 5 | Please see INSTALL.txt for basic usage instructions. 6 | 7 | Please visit http://x10-lang.org for more detailed instructions on how to 8 | build from source and for general information about X10. 9 | 10 | 11 | Licensing Terms 12 | --------------- 13 | (c) IBM Corporation 14 | 15 | This program is controlled by the Eclipse Public Licence v1.0. 16 | You may obtain a copy of the License at 17 | http://www.opensource.org/licenses/eclipse-1.0.php 18 | 19 | -------------------------------------------------------------------------------- /apgas.tests/src/apgas/tests/package-info.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | /** 13 | * The {@link apgas.tests} package contains test programs for the APGAS API. 14 | */ 15 | package apgas.tests; 16 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/PropertyDecl.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.FieldDecl; 15 | 16 | public interface PropertyDecl extends FieldDecl { 17 | } 18 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/extension/X10Del.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.extension; 13 | 14 | import polyglot.ast.JL; 15 | 16 | public interface X10Del extends X10Ext, JL { 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/ClassAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface ClassAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/FieldAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface FieldAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/TypeAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface TypeAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Structs/FinalMethod.jl: -------------------------------------------------------------------------------- 1 | /* 2 | * 3 | * (C) Copyright IBM Corporation 2006 4 | * 5 | * This file is part of X10 Test. 6 | * 7 | */ 8 | 9 | 10 | /** 11 | * A struct cannot override a method declared in a super-struct. 12 | * @author vj 13 | */ 14 | public class FinalMethod { 15 | 16 | class A { 17 | final int m() { return 5;} // implicitly final 18 | } 19 | 20 | class B extends A { 21 | // compiler must declare an error here. 22 | int m() { return 6;} 23 | } 24 | 25 | 26 | } 27 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test066/Test066_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | //SKIP_MANAGED_X10: XTENLANG-3328 4 | //SKIP_NATIVE_X10: XTENLANG-3328 5 | 6 | import harness.x10Test; 7 | 8 | public class Test066_MustFailCompile extends x10Test { 9 | 10 | public def run(): boolean { 11 | Test066.g(0, 0); 12 | Test066.f(false, 0, 1); 13 | return true; 14 | } 15 | 16 | public static def main(Rail[String]) { 17 | new Test066_MustFailCompile().execute(); 18 | } 19 | 20 | } 21 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # x10 2 | 3 | This repository contains the core implementation of X10 programming 4 | language including compiler, runtime, class libraries, sample programs 5 | and test suite. For more information about X10, including how to 6 | build the X10 toolchain from the source files in this repository, 7 | please see http://x10-lang.org. 8 | 9 | [![Build Status - Master](https://travis-ci.org/x10-lang/x10.svg?branch=master)](https://travis-ci.org/x10-lang/x10) 10 | [![DOI](https://zenodo.org/badge/21876/x10-lang/x10.svg)](https://zenodo.org/badge/latestdoi/21876/x10-lang/x10) 11 | -------------------------------------------------------------------------------- /x10.gml/scripts/srun.x10java: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | if [ "$_" != "/usr/bin/salloc" ] ; then 3 | if [ "$SLURM_PROCID" == 0 ] ; then 4 | echo "$0" can only be run via salloc, do not run it with srun 5 | exit 1 6 | fi 7 | fi 8 | hostfile="$PWD/hosts.$SLURM_JOB_ID" 9 | nproc=$SLURM_NPROCS 10 | export X10_SINGLE_JVM="" 11 | Xgo=`which X10Launcher` 12 | srun -l /bin/hostname -s | sort -n | awk '{print $2}' > $hostfile 13 | echo $Xgo -np $SLURM_NPROCS -hostfile $hostfile "$@" 14 | $Xgo -np $SLURM_NPROCS -hostfile $hostfile "$@" 15 | rc=$? 16 | rm -f $hostfile 17 | exit $rc 18 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/ImportAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface ImportAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/MethodAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface MethodAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/PackageAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface PackageAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test004/Test004_DynChecks.x10: -------------------------------------------------------------------------------- 1 | /** 2 | * Example from Vijay. 3 | * 4 | */ 5 | 6 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 7 | 8 | 9 | 10 | import harness.x10Test; 11 | import x10.compiler.InferGuard; 12 | 13 | public class Test004_DynChecks extends x10Test { 14 | 15 | public def run(): boolean { 16 | val v = new Vec(42); 17 | Vec.cp(v, 42); 18 | return true; 19 | } 20 | 21 | public static def main(Rail[String]) { 22 | new Test004_DynChecks().execute(); 23 | } 24 | 25 | } 26 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test078/Test078_DynChecks.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | import x10.compiler.InferGuard; 7 | 8 | public class Test078_DynChecks extends x10Test { 9 | 10 | public def run(): boolean { 11 | val v1 = new Vec(42); 12 | val v2 = new Vec(42); 13 | val v3 = new Vec(42); 14 | Vec.add3(v1, v2, v3); 15 | return true; 16 | } 17 | 18 | public static def main(Rail[String]) { 19 | new Test078_DynChecks().execute(); 20 | } 21 | 22 | } 23 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/AddFlags.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.types.Flags; 15 | 16 | public interface AddFlags { 17 | 18 | void addFlags(Flags f); 19 | } 20 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/X10Instanceof.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.Instanceof; 15 | 16 | public interface X10Instanceof extends Instanceof { 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/InferGuard.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface InferGuard extends MethodAnnotation { } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/ExpressionAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface ExpressionAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/annotations/StatementAnnotation.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang.annotations; 13 | 14 | public interface StatementAnnotation extends Annotation { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Instanceof/X10InterfaceOneB.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | import harness.x10Test; 13 | 14 | public interface X10InterfaceOneB { 15 | 16 | def interfaceMethod(): void; 17 | } 18 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/types/X10ThisVar.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.types; 13 | 14 | import x10.constraint.XVar; 15 | 16 | public interface X10ThisVar { 17 | 18 | XVar thisVar(); 19 | 20 | } 21 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/util/CollectionIterator.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.util; 13 | 14 | public interface CollectionIterator[T] extends Iterator[T] { 15 | public def remove(): void; 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/util/Indexed.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.util; 13 | 14 | public interface Indexed[T] extends Container[T], (Long)=>T { 15 | public operator this(index:Long): T; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/BaseUnit.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface BaseUnit extends FieldAnnotation { 17 | } 18 | -------------------------------------------------------------------------------- /apgas.examples/src/apgas/examples/package-info.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | /** 13 | * The {@link apgas.examples} package contains example programs for the APGAS 14 | * API. 15 | */ 16 | package apgas.examples; 17 | -------------------------------------------------------------------------------- /x10.compiler/src/x10c/ast/BackingArrayNewArray.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10c.ast; 13 | 14 | import polyglot.ast.NewArray; 15 | 16 | public interface BackingArrayNewArray extends NewArray { 17 | } 18 | -------------------------------------------------------------------------------- /x10.dist/bin/x10c++: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | UNAME=`uname -s` 4 | unset IS_CYGWIN; if [[ "$UNAME" = CYGWIN* ]]; then IS_CYGWIN=1; fi 5 | FILE_SEP='/'; if [ -n "$IS_CYGWIN" ]; then FILE_SEP='\\'; fi 6 | PATH_SEP=':'; if [ -n "$IS_CYGWIN" ]; then PATH_SEP=';'; fi 7 | 8 | prog=$(readlink "$0" 2>&1) 9 | [ $? -eq 127 -o "$prog" = "" ] && prog="$0" 10 | export X10_DIST="$(cd "$(dirname "$prog")/.." && pwd)" 11 | if [ -n "$IS_CYGWIN" ]; then X10_DIST="$(cygpath -aw "$X10_DIST")"; fi 12 | 13 | export DEXT="x10cuda.ExtensionInfo" 14 | export DDEF="__CPP__" 15 | 16 | exec "${X10_DIST}/bin/x10c" "$@" 17 | -------------------------------------------------------------------------------- /x10.dist/bin/x10doc: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | UNAME=`uname -s` 4 | unset IS_CYGWIN; if [[ "$UNAME" = CYGWIN* ]]; then IS_CYGWIN=1; fi 5 | FILE_SEP='/'; if [ -n "$IS_CYGWIN" ]; then FILE_SEP='\\'; fi 6 | PATH_SEP=':'; if [ -n "$IS_CYGWIN" ]; then PATH_SEP=';'; fi 7 | 8 | prog=$(readlink "$0" 2>&1) 9 | [ $? -eq 127 -o "$prog" = "" ] && prog="$0" 10 | export X10_DIST="$(cd "$(dirname "$prog")/.." && pwd)" 11 | if [ -n "$IS_CYGWIN" ]; then X10_DIST="$(cygpath -aw "$X10_DIST")"; fi 12 | 13 | export DEXT="x10doc.ExtensionInfo" 14 | export DDEF="__DOC__" 15 | 16 | exec "${X10_DIST}/bin/x10c" "$@" 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Measure.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Measure { 15 | // Important! This must be 1. 16 | static _: double = 1.0; 17 | } 18 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Resistance.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Resistance extends Measure { 15 | @DerivedUnit(SI.ohm) static ohm: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/Empty.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang; 13 | 14 | /** 15 | * A class you can use for the cases where you'd use new Object() in Java. 16 | */ 17 | public class Empty { 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test078/Test078bis_MustFailCompile.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test078bis_MustFailCompile extends x10Test { 8 | 9 | public def run(): boolean { 10 | val v1 = new Vec(42); 11 | val v2 = new Vec(42); 12 | val v3 = new Vec(42); 13 | val v: Vec{self.len == 4012} = Vec.add3(v1, v2, v3); 14 | return true; 15 | } 16 | 17 | public static def main(Rail[String]) { 18 | new Test078bis_MustFailCompile().execute(); 19 | } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/X10ClockedLoop.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | /** 15 | * @author igor Jan 24, 2006 16 | */ 17 | public interface X10ClockedLoop extends X10Loop, Clocked { 18 | } 19 | 20 | -------------------------------------------------------------------------------- /x10.compiler/src/x10c/ast/BackingArrayAccess.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10c.ast; 13 | 14 | import polyglot.ast.ArrayAccess; 15 | 16 | 17 | 18 | public interface BackingArrayAccess extends ArrayAccess{ 19 | } 20 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/FunctionalInterface/src-x10/PredicateX10.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2018. 10 | */ 11 | 12 | public class PredicateX10 implements java.util.function.Predicate { 13 | public def test(o:Any):Boolean = false; 14 | } 15 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/bits/Bits.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package bits; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface Bits(bits:Int) extends TypeAnnotation, ExpressionAnnotation {} 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/DerivedUnit.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface DerivedUnit(_m: double) extends FieldAnnotation { 17 | } 18 | -------------------------------------------------------------------------------- /x10.runtime/src-cpp/bdwgc-patches-7.4.2/pthread_support.patch.txt: -------------------------------------------------------------------------------- 1 | diff --git a/include/private/pthread_support.h b/include/private/pthread_support.h 2 | index 525a9aa..1bbb848 100644 3 | --- a/include/private/pthread_support.h 4 | +++ b/include/private/pthread_support.h 5 | @@ -114,7 +114,7 @@ typedef struct GC_Thread_Rep { 6 | # endif 7 | } * GC_thread; 8 | 9 | -# define THREAD_TABLE_SZ 256 /* Must be power of 2 */ 10 | +# define THREAD_TABLE_SZ 4096 /* Must be power of 2 */ 11 | GC_EXTERN volatile GC_thread GC_threads[THREAD_TABLE_SZ]; 12 | 13 | GC_EXTERN GC_bool GC_thr_initialized; 14 | 15 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Acceleration.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Acceleration extends Measure { 15 | static g: double@Unit(Length.m/(Time.s*Time.s)) = 9.8; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Charge.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Charge extends Measure { 15 | @DerivedUnit(SI.coulomb) static coulomb: double = _, C: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Unit.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface Unit(m_: double) extends TypeAnnotation, ExpressionAnnotation { } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Voltage.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Voltage extends Measure { 15 | @DerivedUnit(SI.volt) static volt: double = _, V: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Cast/ReferenceDependentTypeCast/X10InterfaceOne.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | import harness.x10Test; 13 | 14 | public interface X10InterfaceOne { 15 | 16 | public def interfaceMethod(): void; 17 | } 18 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/X10Conditional.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.Conditional; 15 | import polyglot.ast.Expr; 16 | 17 | public interface X10Conditional extends Conditional { 18 | } 19 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/InterfaceMethods/src-java/C.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2018. 10 | */ 11 | 12 | public class C implements I { 13 | @Override 14 | public void h() { 15 | System.out.println("C.h() called"); 16 | } 17 | } 18 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/NativeDef.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | import x10.lang.annotations.MethodAnnotation; 15 | 16 | public interface NativeDef(lang:String) extends MethodAnnotation { } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/Indexable.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang; 13 | 14 | import x10.compiler.Native; 15 | import x10.compiler.NativeRep; 16 | 17 | public interface Indexable[I,V] extends (I)=>V { 18 | } 19 | 20 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Frequency.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Frequency extends Measure { 15 | @DerivedUnit(SI.hertz) static hertz: double = _, Hz: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Inductance.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Inductance extends Measure { 15 | @DerivedUnit(SI.henry) static henry: double = _, H: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /apgas.yarn/.classpath: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Conductance.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Conductance extends Measure { 15 | @DerivedUnit(SI.siemens) static siemens: double = _, S: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/LuminousFlux.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface LuminousFlux extends Measure { 15 | @DerivedUnit(SI.lumen) static lumen: double = _, lm: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/MagneticFlux.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface MagneticFlux extends Measure { 15 | @DerivedUnit(SI.weber) static weber: double = _, Wb: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /apgas/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- 1 | Manifest-Version: 1.0 2 | Bundle-ManifestVersion: 2 3 | Bundle-Name: apgas 4 | Bundle-SymbolicName: apgas 5 | Bundle-Version: 2.0.0.qualifier 6 | Export-Package: apgas, 7 | apgas.impl, 8 | apgas.util 9 | Require-Bundle: com.hazelcast;bundle-version="3.11.1";visibility:=reexport, 10 | com.esotericsoftware.kryo;bundle-version="3.0.3", 11 | com.esotericsoftware.minlog;bundle-version="1.3.0", 12 | com.esotericsoftware.reflectasm;bundle-version="1.10.1", 13 | org.objenesis;bundle-version="2.1.0" 14 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 15 | Bundle-Vendor: x10-users@lists.sourceforge.net 16 | -------------------------------------------------------------------------------- /x10.compiler/src/x10c/ast/BackingArray.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10c.ast; 13 | 14 | import polyglot.ast.Expr; 15 | 16 | 17 | 18 | public interface BackingArray extends Expr { 19 | public abstract Expr container(); 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/README: -------------------------------------------------------------------------------- 1 | This is the test suite for the X10 Programming Language. 2 | 3 | The active set of test cases can be found in the tests directory tree. 4 | 5 | The script bin/runTest.sh is used to compile & execute sets of test cases 6 | and optionally record the results in XML files using the JUnit schema. 7 | For details, on command line arguments to runTests.sh, do 8 | bin/runTest.sh -help 9 | 10 | For example, to run all the test cases in tests/Samples with Native X10 do 11 | 12 | cd tests 13 | ../bin/runTest.sh -native -l Samples 14 | 15 | You might need to make the scripts in bin executable before running them. 16 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/SolidAngle.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface SolidAngle extends Measure { 15 | @DerivedUnit(SI.steradian) static steradian: double = _, sr: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.compiler/src/x10c/ast/BackingArrayAccessAssign.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10c.ast; 13 | 14 | import polyglot.ast.ArrayAccessAssign; 15 | 16 | 17 | 18 | public interface BackingArrayAccessAssign extends ArrayAccessAssign{ 19 | } 20 | -------------------------------------------------------------------------------- /x10.compiler/src/x10cpp/ast/X10CPPExtFactory_c.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10cpp.ast; 13 | 14 | import polyglot.ast.Ext; 15 | import x10.ast.X10ExtFactory_c; 16 | 17 | public class X10CPPExtFactory_c extends X10ExtFactory_c { 18 | } 19 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/CatalyticActivity.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface CatalyticActivity extends Measure { 15 | @DerivedUnit(SI.katal) static katal: double = _, kat: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Radioactivity.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Radioactivity extends Measure { 15 | @DerivedUnit(SI.becquerel) static becquerel: double = _, Bq: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/types/X10InitializerDef.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.types; 13 | 14 | import polyglot.types.InitializerDef; 15 | 16 | public interface X10InitializerDef extends X10CodeDef, InitializerDef, X10MemberDef { 17 | 18 | } 19 | -------------------------------------------------------------------------------- /x10.compiler/src/x10cpp/Version.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10cpp; 13 | 14 | /** 15 | * Version information for x10 extension 16 | */ 17 | public class Version extends x10.Version { 18 | public String name() { return "x10c++"; } 19 | } 20 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/Settable.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang; 13 | 14 | import x10.compiler.Native; 15 | import x10.compiler.NativeRep; 16 | 17 | public interface Settable[I,V] { 18 | operator this(i: I)=(v: V): V; 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/Capacitance.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface Capacitance extends Measure { 15 | @DerivedUnit(SI.farad) static farad: double = Measure._, F: double = Measure._; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/LuminousIntensity.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface LuminousIntensity extends Measure { 15 | @DerivedUnit(SI.candela) static candela: double = _, cd: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.tests/tests-inactive/Annotations/dims/MagneticFluxDensity.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package dims; 13 | 14 | public interface MagneticFluxDensity extends Measure { 15 | @DerivedUnit(SI.tesla) static tesla: double = _, T: double = _; 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/SetOps.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | public interface SetOps[T] { 15 | def $not(): T; 16 | def $and(that: T): T; 17 | def $or(that: T): T; 18 | def $minus(that: T): T; 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test076/Test076_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test076_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Prop.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test076_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.dist/samples/java.interop/InterfaceMethods/src-java/I.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2018. 10 | */ 11 | 12 | interface I { 13 | static void f() { System.out.println("I.f() called"); } 14 | default void g() { System.out.println("I.g() called"); f(); } 15 | void h(); 16 | } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/Ifdef.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface Ifdef(macro:String) extends FieldAnnotation,MethodAnnotation,StatementAnnotation,ClassAnnotation { } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/Ifndef.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | import x10.lang.annotations.*; 15 | 16 | public interface Ifndef(macro:String) extends FieldAnnotation,MethodAnnotation,StatementAnnotation,ClassAnnotation { } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/util/resilient/localstore/Cloneable.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | * (C) Copyright Sara Salem Hamouda 2014-2016. 11 | */ 12 | 13 | package x10.util.resilient.localstore; 14 | 15 | public interface Cloneable { 16 | public def clone():Cloneable; 17 | } -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test051/Test051.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * Constraint through variable declaration 3 | * 4 | */ 5 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 6 | 7 | 8 | 9 | import harness.x10Test; 10 | import x10.compiler.InferGuard; 11 | 12 | public class Test051 extends x10Test { 13 | 14 | @InferGuard 15 | public static def f (y: Long) { 16 | val v: Long{self == 0} = y; 17 | } 18 | 19 | public def run(): boolean { 20 | Test051.f(0); 21 | return true; 22 | } 23 | 24 | public static def main(Rail[String]) { 25 | new Test051().execute(); 26 | } 27 | 28 | } 29 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/ast/package.html: -------------------------------------------------------------------------------- 1 | 2 | Contains the AST node interfaces. 3 |

4 | The nodes all extend the interface 5 | {@link polyglot.ast.Node Node}. 6 | Each node has accessor methods and methods to implement passes over 7 | the node. The setter methods are non-destructive: they create a copy 8 | of the node and return the copy. 9 | The traversal interface is defined 10 | in {@link polyglot.visit.NodeVisitor NodeVisitor}. 11 | Nodes are constructed using a {@link polyglot.ast.NodeFactory NodeFactory}. 12 | @see polyglot.ast.Node 13 | @see polyglot.visit.NodeVisitor 14 | @see polyglot.ast.NodeFactory 15 | 16 | 17 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/Next.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.Stmt; 15 | 16 | /** The node constructed for the X10 construct next; 17 | * @author vj 18 | */ 19 | public interface Next extends Stmt 20 | { 21 | 22 | } 23 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/X10VarDecl.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.Node; 15 | import polyglot.visit.TypeChecker; 16 | 17 | /** 18 | * @author vj 19 | * 20 | */ 21 | public interface X10VarDecl extends Node { 22 | } 23 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/types/constraints/XTypeLit.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.types.constraints; 13 | 14 | import x10.constraint.XLit; 15 | import polyglot.types.Type; 16 | 17 | public interface XTypeLit extends XLit { 18 | public Type type(); 19 | } 20 | -------------------------------------------------------------------------------- /x10.tests/tests/x10lib/testPackage/T1.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package testPackage; 13 | 14 | /** 15 | * Auxiliary class for testing classpath 16 | */ 17 | 18 | public class T1 { 19 | public static def m1(x: int): boolean { 20 | return x==49n; 21 | } 22 | } 23 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/Resume.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.Stmt; 15 | 16 | /** The node constructed for the X10 construct resume; 17 | * @author vj 18 | */ 19 | public interface Resume extends Stmt 20 | { 21 | 22 | } 23 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/UnknownTypeNode.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import polyglot.ast.Ambiguous; 15 | import polyglot.ast.Id; 16 | import polyglot.ast.TypeNode; 17 | 18 | public interface UnknownTypeNode extends TypeNode, Ambiguous { 19 | } 20 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/NativeClass.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | import x10.lang.annotations.ClassAnnotation; 15 | 16 | public interface NativeClass(lang:String, packageName:String, className:String) extends ClassAnnotation { } 17 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/io/IOException.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.io; 13 | 14 | 15 | public class IOException extends Exception { 16 | 17 | public def this() { super(); } 18 | 19 | public def this(message: String) { super(message); } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/IllegalAccAccess.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang; 13 | 14 | /** 15 | * Thrown when one performs operations on an accumulator without being registered on it. 16 | */ 17 | public final class IllegalAccAccess extends Exception { 18 | } -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test009/Test009_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test009_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test009_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test009_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test013/Test013_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test013_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test013_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test013_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test014/Test014_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test014_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test014_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test014_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test015/Test015_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test015_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test015_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test015_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test016/Test016_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test016_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test016_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test016_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test017/Test017_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test017_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test017_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test017_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test018/Test018_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test018_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test018_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test018_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test025/Test025_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test025_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test025_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test025_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test032/Test032_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test032_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test032_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test032_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test033/Test033_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test033_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test033_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test033_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test043/Test043_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test043_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test043_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test043_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test044/Test044_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test044_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test044_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test044_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test045/Test045_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test045_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test045_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test045_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test046/Test046_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test046_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test046_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test046_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test047/Test047_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test047_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test047_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test047_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test050/Test050_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test050_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test050_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test050_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test051/Test051_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test051_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test051_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test051_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test061/Test061_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test061_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test061_DynChecks.g(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test061_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test062/Test062_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test062_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test062_DynChecks.g(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test062_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test063/Test063_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test063_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test063_DynChecks.g(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test063_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test064/Test064_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test064_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test064_DynChecks.g(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test064_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.compiler/src/x10/ast/X10ProcedureCall.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.ast; 13 | 14 | import java.util.List; 15 | 16 | import polyglot.ast.ProcedureCall; 17 | import polyglot.ast.TypeNode; 18 | 19 | public interface X10ProcedureCall extends ProcedureCall { 20 | } 21 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/glb/TaskBag.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.glb; 13 | /** 14 | *

TaskBag interface 15 | *

16 | */ 17 | public interface TaskBag { 18 | /** 19 | * Returns the size of TaskBag 20 | */ 21 | public def size():Long; 22 | } 23 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/io/EOFException.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.io; 13 | 14 | 15 | public class EOFException extends IOException { 16 | 17 | public def this() { super(); } 18 | 19 | public def this(message: String) { super(message); } 20 | 21 | } 22 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/lang/Iterator.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.lang; 13 | 14 | import x10.compiler.NativeRep; 15 | import x10.compiler.Native; 16 | 17 | public interface Iterator[T] { 18 | public def hasNext():Boolean; 19 | public def next():T; 20 | } 21 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test001/Test001_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test001_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test001_DynChecks.f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test001_DynCheckException().execute(); 21 | } 22 | 23 | 24 | } 25 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test010/Test010_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test010_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test010_DynChecks.f(1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test010_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test011/Test011_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test011_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test011_DynChecks.f(1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test011_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test027/Test027_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test027_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test027_DynChecks.f(false); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test027_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test029/Test029_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test029_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test029_DynChecks.f(1, 2, 3); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test029_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test030/Test030_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test030_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test030_DynChecks.f(1, 1, 2); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test030_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test034/Test034_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test034_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test034_DynChecks.f(1, 42); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test034_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test035/Test035_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | import harness.x10Test; 5 | 6 | public class Test035_DynCheckException extends x10Test { 7 | 8 | public def mustFailRun(): boolean { 9 | Test035_DynChecks.f(new Pair(1, 1)); 10 | return true; 11 | } 12 | 13 | public def run() { 14 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 15 | return true; 16 | } 17 | 18 | public static def main(Rail[String]) { 19 | new Test035_DynCheckException().execute(); 20 | } 21 | 22 | } 23 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test052/Test052_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test052_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test052_DynChecks.f(1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test052_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test053/Test053_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test053_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test053_DynChecks.f(1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test053_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test054/Test054_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test054_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test054_DynChecks.f(1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test054_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test055/Test055_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test055_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test055_DynChecks.f(1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test055_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test057/Test057_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test057_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test057_DynChecks.f(1, 2); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test057_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test058/Test058_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test058_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test058_DynChecks.f(1, 2); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test058_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test060/Test060_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test060_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test060_DynChecks.f(1, 2); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test060_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.compiler/src/polyglot/types/package.html: -------------------------------------------------------------------------------- 1 | 2 | Contains the type system and all related classes. This includes the 3 | definitions of {@link polyglot.types.Type Type} as well as all the 4 | concrete classes for it (e.g., for classes and primitives ). It includes 5 | the {@link polyglot.types.TypeSystem TypeSystem} interface. 6 | All type objects, including {@link polyglot.types.Type Type} but also objects 7 | representing variables, methods, constructors, etc., implement the {@link 8 | polyglot.types.TypeObject TypeObject} interface. 9 | 10 | @see polyglot.types.TypeSystem 11 | @see polyglot.types.Type 12 | @see polyglot.types.TypeObject 13 | 14 | -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Import/_T2.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | import ImportTestPackage1.SubPackage.T3; 13 | 14 | /** 15 | * Auxiliary class for ImportTest 16 | */ 17 | public class _T2 { 18 | public static def m2(val x: int): boolean { 19 | return T3.m3(x); 20 | } 21 | } 22 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test001/Test001.x10: -------------------------------------------------------------------------------- 1 | /** 2 | * Example directly on integers. 3 | */ 4 | //OPTIONS: -STATIC_CHECKS=true -CONSTRAINT_INFERENCE=true -VERBOSE_INFERENCE=true 5 | 6 | 7 | import harness.x10Test; 8 | import x10.compiler.InferGuard; 9 | 10 | public class Test001 extends x10Test { 11 | static def assert0(assert_arg: Long{ self == 0 }){} 12 | 13 | @InferGuard 14 | static def f (f_arg: Long) { 15 | assert0(f_arg); 16 | } 17 | 18 | public def run(): boolean { 19 | Test001.f(0); 20 | return true; 21 | } 22 | 23 | public static def main(Rail[String]) { 24 | new Test001().execute(); 25 | } 26 | 27 | } 28 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test021/Test021_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test021_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test021_DynChecks.f(true, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test021_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test022/Test022_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test022_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test022_DynChecks.f(true, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test022_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test036/Test036_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test036_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test036_DynChecks.f(new Pair(1,2)); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test036_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test038/Test038_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test038_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test038_DynChecks.f(new Elt(1)); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test038_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test074/Test074_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test074_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | (new Test074_DynChecks()).f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test074_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test075/Test075_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test075_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | (new Test075_DynChecks()).f(1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test075_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Samples/README.txt: -------------------------------------------------------------------------------- 1 | This directory contains x10Test harnesses for 2 | the programs that are found in x10.dist/samples. 3 | 4 | The default idiom is to invoke the main method 5 | of the program from in x10.dist/samples from 6 | the run method of the Test program. In some 7 | cases, instead of calling the main method, 8 | a different entry point in the Sample program 9 | is called to enable verification of the program 10 | result. 11 | 12 | The point of this directory is to enable robust testing 13 | of the programs in x10.dist/samples without obscuring the 14 | sample code with any extra boilerplate related to being 15 | an X10 regression test. 16 | -------------------------------------------------------------------------------- /x10.runtime/src-x10/x10/compiler/Ephemeral.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package x10.compiler; 13 | 14 | import x10.lang.annotations.StatementAnnotation; 15 | 16 | /** 17 | * Temporary. Processed by WSCodeGenerator. 18 | */ 19 | public interface Ephemeral extends StatementAnnotation {} 20 | -------------------------------------------------------------------------------- /x10.tests/tests/Constructs/Import/ImportTestPackage2/_T4.x10: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of the X10 project (http://x10-lang.org). 3 | * 4 | * This file is licensed to You under the Eclipse Public License (EPL); 5 | * You may not use this file except in compliance with the License. 6 | * You may obtain a copy of the License at 7 | * http://www.opensource.org/licenses/eclipse-1.0.php 8 | * 9 | * (C) Copyright IBM Corporation 2006-2016. 10 | */ 11 | 12 | package ImportTestPackage2; 13 | 14 | /** 15 | * Auxiliary class for ImportTest 16 | */ 17 | public class _T4 { 18 | public static def m4(val x: int): boolean { 19 | return x == 49n; 20 | } 21 | } 22 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test023/Test023_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test023_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test023_DynChecks.f(true, 1, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test023_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | -------------------------------------------------------------------------------- /x10.tests/tests/Inferred/test024/Test024_DynCheckException.x10: -------------------------------------------------------------------------------- 1 | //OPTIONS: -STATIC_CHECKS=false -CONSTRAINT_INFERENCE=false -VERBOSE_INFERENCE=true 2 | 3 | 4 | 5 | import harness.x10Test; 6 | 7 | public class Test024_DynCheckException extends x10Test { 8 | 9 | public def mustFailRun(): boolean { 10 | Test024_DynChecks.f(false, 1, 1, 1, 1); 11 | return true; 12 | } 13 | 14 | public def run() { 15 | try { mustFailRun(); return false; } catch (FailedDynamicCheckException) {} 16 | return true; 17 | } 18 | 19 | public static def main(Rail[String]) { 20 | new Test024_DynCheckException().execute(); 21 | } 22 | 23 | } 24 | --------------------------------------------------------------------------------