From: Claudio Sacerdoti Coen Date: Mon, 19 Oct 2015 15:13:04 +0000 (+0200) Subject: Ported to latest version of Android SDK X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=23a3fa7a8181ef21d272a90dd1ff2ba353268813;p=logicplayer.git Ported to latest version of Android SDK The porting has been done automatically. --- diff --git a/mainActivity/._AndroidManifest.xml b/mainActivity/._AndroidManifest.xml deleted file mode 100755 index 0dfce20..0000000 Binary files a/mainActivity/._AndroidManifest.xml and /dev/null differ diff --git a/mainActivity/.classpath b/mainActivity/.classpath deleted file mode 100644 index 5176974..0000000 --- a/mainActivity/.classpath +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - diff --git a/mainActivity/.gradle/2.4/taskArtifacts/cache.properties b/mainActivity/.gradle/2.4/taskArtifacts/cache.properties new file mode 100644 index 0000000..9488317 --- /dev/null +++ b/mainActivity/.gradle/2.4/taskArtifacts/cache.properties @@ -0,0 +1 @@ +#Mon Oct 19 16:57:34 CEST 2015 diff --git a/mainActivity/.gradle/2.4/taskArtifacts/cache.properties.lock b/mainActivity/.gradle/2.4/taskArtifacts/cache.properties.lock new file mode 100644 index 0000000..c0731a4 Binary files /dev/null and b/mainActivity/.gradle/2.4/taskArtifacts/cache.properties.lock differ diff --git a/mainActivity/.gradle/2.4/taskArtifacts/fileHashes.bin b/mainActivity/.gradle/2.4/taskArtifacts/fileHashes.bin new file mode 100644 index 0000000..053fc42 Binary files /dev/null and b/mainActivity/.gradle/2.4/taskArtifacts/fileHashes.bin differ diff --git a/mainActivity/.gradle/2.4/taskArtifacts/fileSnapshots.bin b/mainActivity/.gradle/2.4/taskArtifacts/fileSnapshots.bin new file mode 100644 index 0000000..422fd52 Binary files /dev/null and b/mainActivity/.gradle/2.4/taskArtifacts/fileSnapshots.bin differ diff --git a/mainActivity/.gradle/2.4/taskArtifacts/outputFileStates.bin b/mainActivity/.gradle/2.4/taskArtifacts/outputFileStates.bin new file mode 100644 index 0000000..5c3b110 Binary files /dev/null and b/mainActivity/.gradle/2.4/taskArtifacts/outputFileStates.bin differ diff --git a/mainActivity/.gradle/2.4/taskArtifacts/taskArtifacts.bin b/mainActivity/.gradle/2.4/taskArtifacts/taskArtifacts.bin new file mode 100644 index 0000000..c6bf0c2 Binary files /dev/null and b/mainActivity/.gradle/2.4/taskArtifacts/taskArtifacts.bin differ diff --git a/mainActivity/.idea/.name b/mainActivity/.idea/.name new file mode 100644 index 0000000..563ac5a --- /dev/null +++ b/mainActivity/.idea/.name @@ -0,0 +1 @@ +mainActivity \ No newline at end of file diff --git a/mainActivity/.idea/compiler.xml b/mainActivity/.idea/compiler.xml new file mode 100644 index 0000000..96cc43e --- /dev/null +++ b/mainActivity/.idea/compiler.xml @@ -0,0 +1,22 @@ + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/copyright/profiles_settings.xml b/mainActivity/.idea/copyright/profiles_settings.xml new file mode 100644 index 0000000..e7bedf3 --- /dev/null +++ b/mainActivity/.idea/copyright/profiles_settings.xml @@ -0,0 +1,3 @@ + + + \ No newline at end of file diff --git a/mainActivity/.idea/gradle.xml b/mainActivity/.idea/gradle.xml new file mode 100644 index 0000000..bd4202c --- /dev/null +++ b/mainActivity/.idea/gradle.xml @@ -0,0 +1,19 @@ + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/libraries/support_v4_19_1_0.xml b/mainActivity/.idea/libraries/support_v4_19_1_0.xml new file mode 100644 index 0000000..db7d4f3 --- /dev/null +++ b/mainActivity/.idea/libraries/support_v4_19_1_0.xml @@ -0,0 +1,11 @@ + + + + + + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/misc.xml b/mainActivity/.idea/misc.xml new file mode 100644 index 0000000..f49240e --- /dev/null +++ b/mainActivity/.idea/misc.xml @@ -0,0 +1,22 @@ + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/modules.xml b/mainActivity/.idea/modules.xml new file mode 100644 index 0000000..d87a494 --- /dev/null +++ b/mainActivity/.idea/modules.xml @@ -0,0 +1,9 @@ + + + + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/runConfigurations.xml b/mainActivity/.idea/runConfigurations.xml new file mode 100644 index 0000000..7f68460 --- /dev/null +++ b/mainActivity/.idea/runConfigurations.xml @@ -0,0 +1,12 @@ + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/vcs.xml b/mainActivity/.idea/vcs.xml new file mode 100644 index 0000000..45cf85c --- /dev/null +++ b/mainActivity/.idea/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/mainActivity/.idea/workspace.xml b/mainActivity/.idea/workspace.xml new file mode 100644 index 0000000..4378a46 --- /dev/null +++ b/mainActivity/.idea/workspace.xml @@ -0,0 +1,1819 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $USER_HOME$/.subversion + 125 + + + + + 1445264549146 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/mainActivity/.project b/mainActivity/.project deleted file mode 100644 index 53dc2e1..0000000 --- a/mainActivity/.project +++ /dev/null @@ -1,33 +0,0 @@ - - - mainActivity - - - - - - com.android.ide.eclipse.adt.ResourceManagerBuilder - - - - - com.android.ide.eclipse.adt.PreCompilerBuilder - - - - - org.eclipse.jdt.core.javabuilder - - - - - com.android.ide.eclipse.adt.ApkBuilder - - - - - - com.android.ide.eclipse.adt.AndroidNature - org.eclipse.jdt.core.javanature - - diff --git a/mainActivity/.settings/org.eclipse.jdt.core.prefs b/mainActivity/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index 7341ab1..0000000 --- a/mainActivity/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,11 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 -org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.7 -org.eclipse.jdt.core.compiler.debug.lineNumber=generate -org.eclipse.jdt.core.compiler.debug.localVariable=generate -org.eclipse.jdt.core.compiler.debug.sourceFile=generate -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.7 diff --git a/mainActivity/AndroidManifest.xml b/mainActivity/AndroidManifest.xml deleted file mode 100755 index b9b6088..0000000 --- a/mainActivity/AndroidManifest.xml +++ /dev/null @@ -1,47 +0,0 @@ - - - - - - - - - - - - - - - - - - android:label="@string/listEs" > - - - - - - - - - diff --git a/mainActivity/app/app.iml b/mainActivity/app/app.iml new file mode 100644 index 0000000..2e3372b --- /dev/null +++ b/mainActivity/app/app.iml @@ -0,0 +1,93 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/mainActivity/app/build.gradle b/mainActivity/app/build.gradle new file mode 100644 index 0000000..7dc6364 --- /dev/null +++ b/mainActivity/app/build.gradle @@ -0,0 +1,27 @@ +apply plugin: 'com.android.application' + +android { + compileSdkVersion 19 + buildToolsVersion "23.0.1" + + defaultConfig { + applicationId "com.example.furt.myapplication" + minSdkVersion 16 + targetSdkVersion 19 + compileOptions { + sourceCompatibility JavaVersion.VERSION_1_7 + targetCompatibility JavaVersion.VERSION_1_7 + } + } + + buildTypes { + release { + minifyEnabled false + proguardFiles getDefaultProguardFile('proguard-android.txt'), 'proguard-rules.txt' + } + } +} + +dependencies { + compile 'com.android.support:support-v4:19.1.0' +} diff --git a/mainActivity/app/build/generated/source/buildConfig/androidTest/debug/com/example/furt/myapplication/test/BuildConfig.java b/mainActivity/app/build/generated/source/buildConfig/androidTest/debug/com/example/furt/myapplication/test/BuildConfig.java new file mode 100644 index 0000000..365acb0 --- /dev/null +++ b/mainActivity/app/build/generated/source/buildConfig/androidTest/debug/com/example/furt/myapplication/test/BuildConfig.java @@ -0,0 +1,13 @@ +/** + * Automatically generated file. DO NOT MODIFY + */ +package com.example.furt.myapplication.test; + +public final class BuildConfig { + public static final boolean DEBUG = Boolean.parseBoolean("true"); + public static final String APPLICATION_ID = "com.example.furt.myapplication.test"; + public static final String BUILD_TYPE = "debug"; + public static final String FLAVOR = ""; + public static final int VERSION_CODE = -1; + public static final String VERSION_NAME = ""; +} diff --git a/mainActivity/app/build/generated/source/buildConfig/debug/com/example/furt/myapplication/BuildConfig.java b/mainActivity/app/build/generated/source/buildConfig/debug/com/example/furt/myapplication/BuildConfig.java new file mode 100644 index 0000000..20b4022 --- /dev/null +++ b/mainActivity/app/build/generated/source/buildConfig/debug/com/example/furt/myapplication/BuildConfig.java @@ -0,0 +1,13 @@ +/** + * Automatically generated file. DO NOT MODIFY + */ +package com.example.furt.myapplication; + +public final class BuildConfig { + public static final boolean DEBUG = Boolean.parseBoolean("true"); + public static final String APPLICATION_ID = "com.example.furt.myapplication"; + public static final String BUILD_TYPE = "debug"; + public static final String FLAVOR = ""; + public static final int VERSION_CODE = -1; + public static final String VERSION_NAME = ""; +} diff --git a/mainActivity/app/build/generated/source/r/debug/com/example/furt/myapplication/R.java b/mainActivity/app/build/generated/source/r/debug/com/example/furt/myapplication/R.java new file mode 100644 index 0000000..9816617 --- /dev/null +++ b/mainActivity/app/build/generated/source/r/debug/com/example/furt/myapplication/R.java @@ -0,0 +1,94 @@ +/* AUTO-GENERATED FILE. DO NOT MODIFY. + * + * This class was automatically generated by the + * aapt tool from the resource data it found. It + * should not be modified by hand. + */ + +package com.example.furt.myapplication; + +public final class R { + public static final class attr { + } + public static final class dimen { + public static final int activity_horizontal_margin=0x7f050000; + public static final int activity_vertical_margin=0x7f050001; + } + public static final class drawable { + public static final int def=0x7f020000; + public static final int ic_launcher=0x7f020001; + } + public static final class id { + public static final int abandon=0x7f09001c; + public static final int aggiorna=0x7f09000f; + public static final int annulla=0x7f090014; + public static final int button2=0x7f090005; + public static final int dlglobal=0x7f09000e; + public static final int esci=0x7f09001b; + public static final int formulaLayout=0x7f090017; + public static final int glob_agg=0x7f09000a; + public static final int global=0x7f090009; + public static final int hpscroll=0x7f090006; + public static final int invia=0x7f090013; + public static final int listView=0x7f09000d; + public static final int literals=0x7f090015; + public static final int loading=0x7f09000b; + public static final int login=0x7f090001; + public static final int logout=0x7f090002; + public static final int newPass=0x7f090012; + public static final int oldPass=0x7f090003; + public static final int operators=0x7f090016; + public static final int passreim=0x7f090011; + public static final int progressBar=0x7f09000c; + public static final int recupera=0x7f090019; + public static final int reimposta=0x7f09001a; + public static final int rowTextView=0x7f090018; + public static final int scrollView3=0x7f090000; + public static final int startEs=0x7f090010; + public static final int userId=0x7f090004; + public static final int vscroll=0x7f090007; + public static final int window=0x7f090008; + } + public static final class layout { + public static final int activity_login=0x7f030000; + public static final int activity_my=0x7f030001; + public static final int aggiornamento=0x7f030002; + public static final int download=0x7f030003; + public static final int reimpostapass=0x7f030004; + public static final int ruledialog=0x7f030005; + public static final int string_layout=0x7f030006; + public static final int textviewgeneral=0x7f030007; + } + public static final class menu { + public static final int login_set=0x7f080000; + public static final int menu_dow=0x7f080001; + public static final int my=0x7f080002; + } + public static final class raw { + public static final int halloween=0x7f040000; + public static final int keystore=0x7f040001; + } + public static final class string { + public static final int Credenziali=0x7f060000; + public static final int action_settings=0x7f060001; + public static final int aggiornamento=0x7f060002; + public static final int app_name=0x7f060003; + public static final int esci=0x7f060004; + public static final int first=0x7f060005; + public static final int hello_world=0x7f060006; + public static final int invia=0x7f060007; + public static final int listEs=0x7f060008; + public static final int listaEsercizi=0x7f060009; + public static final int pass=0x7f06000a; + public static final int recuperapass=0x7f06000b; + public static final int registrati=0x7f06000c; + public static final int reimposta=0x7f06000d; + public static final int sync=0x7f06000e; + public static final int user=0x7f06000f; + } + public static final class style { + /** Customize your theme here. + */ + public static final int AppTheme=0x7f070000; + } +} diff --git a/mainActivity/app/build/intermediates/dex/debug/classes.dex b/mainActivity/app/build/intermediates/dex/debug/classes.dex new file mode 100644 index 0000000..2996aa0 Binary files /dev/null and b/mainActivity/app/build/intermediates/dex/debug/classes.dex differ diff --git a/mainActivity/app/build/intermediates/incremental/aidl/androidTest/debug/dependency.store b/mainActivity/app/build/intermediates/incremental/aidl/androidTest/debug/dependency.store new file mode 100644 index 0000000..8b8400d Binary files /dev/null and b/mainActivity/app/build/intermediates/incremental/aidl/androidTest/debug/dependency.store differ diff --git a/mainActivity/app/build/intermediates/incremental/aidl/debug/dependency.store b/mainActivity/app/build/intermediates/incremental/aidl/debug/dependency.store new file mode 100644 index 0000000..8b8400d Binary files /dev/null and b/mainActivity/app/build/intermediates/incremental/aidl/debug/dependency.store differ diff --git a/mainActivity/app/build/intermediates/incremental/mergeAssets/androidTest/debug/merger.xml b/mainActivity/app/build/intermediates/incremental/mergeAssets/androidTest/debug/merger.xml new file mode 100644 index 0000000..b255e4d --- /dev/null +++ b/mainActivity/app/build/intermediates/incremental/mergeAssets/androidTest/debug/merger.xml @@ -0,0 +1,2 @@ + + \ No newline at end of file diff --git a/mainActivity/app/build/intermediates/incremental/mergeAssets/debug/merger.xml b/mainActivity/app/build/intermediates/incremental/mergeAssets/debug/merger.xml new file mode 100644 index 0000000..531914c --- /dev/null +++ b/mainActivity/app/build/intermediates/incremental/mergeAssets/debug/merger.xml @@ -0,0 +1,2 @@ + + \ No newline at end of file diff --git a/mainActivity/app/build/intermediates/incremental/mergeResourcesandroidTest/debug/merger.xml b/mainActivity/app/build/intermediates/incremental/mergeResourcesandroidTest/debug/merger.xml new file mode 100644 index 0000000..5d353ae --- /dev/null +++ b/mainActivity/app/build/intermediates/incremental/mergeResourcesandroidTest/debug/merger.xml @@ -0,0 +1,2 @@ + + \ No newline at end of file diff --git a/mainActivity/app/build/intermediates/incremental/mergeResourcesdebug/merger.xml b/mainActivity/app/build/intermediates/incremental/mergeResourcesdebug/merger.xml new file mode 100644 index 0000000..c954e90 --- /dev/null +++ b/mainActivity/app/build/intermediates/incremental/mergeResourcesdebug/merger.xml @@ -0,0 +1,4 @@ + +16dp16dpinserisci una stringaSettingsLogicPlayerrecupera passwordLista esercizi:Reimposta passworddownload disponibili:AggiornaaccediLista esercizi:registratiInserisci le tue credenziali:sto aggiornandopasswordEsciUsername64dp \ No newline at end of file diff --git a/mainActivity/app/build/intermediates/manifest/androidTest/debug/AndroidManifest.xml b/mainActivity/app/build/intermediates/manifest/androidTest/debug/AndroidManifest.xml new file mode 100644 index 0000000..160594a --- /dev/null +++ b/mainActivity/app/build/intermediates/manifest/androidTest/debug/AndroidManifest.xml @@ -0,0 +1,16 @@ + + + + + + + + + + + diff --git a/mainActivity/app/build/intermediates/manifests/full/debug/AndroidManifest.xml b/mainActivity/app/build/intermediates/manifests/full/debug/AndroidManifest.xml new file mode 100644 index 0000000..5aea220 --- /dev/null +++ b/mainActivity/app/build/intermediates/manifests/full/debug/AndroidManifest.xml @@ -0,0 +1,52 @@ + + + + + + + + + + + + + + + + + + + + + + + + android:label="@string/listEs" > + + + + + + + + \ No newline at end of file diff --git a/mainActivity/app/build/intermediates/pre-dexed/debug/support-v4-19.1.0-8faefc2ba4cd5a2975855f5f7f9dd384b0788ebc.jar b/mainActivity/app/build/intermediates/pre-dexed/debug/support-v4-19.1.0-8faefc2ba4cd5a2975855f5f7f9dd384b0788ebc.jar new file mode 100644 index 0000000..43e66b0 Binary files /dev/null and b/mainActivity/app/build/intermediates/pre-dexed/debug/support-v4-19.1.0-8faefc2ba4cd5a2975855f5f7f9dd384b0788ebc.jar differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/def.jpg b/mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/def.jpg new file mode 100644 index 0000000..e81ddc1 Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/def.jpg differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/ic_launcher.png b/mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/ic_launcher.png new file mode 100644 index 0000000..bcfa058 Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/ic_launcher.png differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/def.jpg b/mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/def.jpg new file mode 100644 index 0000000..39cdd6e Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/def.jpg differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/ic_launcher.png b/mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/ic_launcher.png new file mode 100644 index 0000000..85848ff Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/ic_launcher.png differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/def.jpg b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/def.jpg new file mode 100644 index 0000000..47e817d Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/def.jpg differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/ic_launcher.png b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/ic_launcher.png new file mode 100644 index 0000000..916901e Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/ic_launcher.png differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/def.jpg b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/def.jpg new file mode 100644 index 0000000..8d7903d Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/def.jpg differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/ic_launcher.png b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/ic_launcher.png new file mode 100644 index 0000000..b36186f Binary files /dev/null and b/mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/ic_launcher.png differ diff --git a/mainActivity/app/build/intermediates/res/merged/debug/layout-land/download.xml b/mainActivity/app/build/intermediates/res/merged/debug/layout-land/download.xml new file mode 100644 index 0000000..715bb8b --- /dev/null +++ b/mainActivity/app/build/intermediates/res/merged/debug/layout-land/download.xml @@ -0,0 +1,37 @@ + + + + +