This topic describes how to generate the package for a self-contained application. A self-contained application contains your Java or JavaFX application and the JRE needed to run the application.
This topic includes the following sections:
The Java packaging tools provide built-in support for several formats of self-contained application packages. The basic package is a single folder on your hard drive that includes all application resources and the JRE. The package can be redistributed as is, or you can build an installable package (for example, EXE or DMG format.)
From the standpoint of process, producing a self-contained application package is similar to producing a basic application package as discussed in Chapter 5, "Packaging Basics," with the following differences:
Self-contained application packages must be explicitly requested by passing additional arguments to the <fx:deploy>
Ant task or javapackager
tool.
Operating system and tool requirements must be met to be able to build a package in a specific format.
Self-contained application packages can only be built using JDK 7 Update 6 or later.
While it is easy to create a basic self-contained application package, tailoring it to achieve the best user experience for a particular distribution method usually requires some effort and a deeper understanding of the topic.
Deciding whether the use of self-contained application packages is the best way to deploy your application depends on your requirements.
Self-contained application packages provide the following benefits:
Users install the application with an installer that is familiar to them and launch it in the usual way.
You control the version of the JRE used by the application.
Applications can be deployed on fresh systems with no requirement for the JRE to be installed.
Deployment occurs with no need for admin permissions when using ZIP or user-level installers.
File associations can be registered for the application.
Support for secondary launchers enables a suite of applications to be bundled in a single self-contained application package.
Self-contained application packages have the following drawbacks:
"Download and run" user experience
Unlike web deployment, the user experience is not about "launch the application from the web." It is more one of "download, install, and run" process, in which the user might need to go through additional steps to get the application launched. For example, the user might have to accept a browser or operating system security dialog, or find and launch the application installer from the download folder.
Larger download size
In general, the size of self-contained application packages is larger than the size of a standalone application, because a private copy of the JRE is included.
Package per target platform
Self-contained application packages are platform-specific and can only be produced for the same system on which you build. To deliver self-contained application packages on Windows, Linux, and OS X, you must build your project on all three platforms.
Application updates are the responsibility of developer
Web-deployed Java applications automatically download application updates from the web as soon as they are available. The Java Autoupdate mechanism takes care of updating the JRE to the latest secure version several times every year. Self-contained applications do not have built-in support for automatic updates.
Each self-contained application package includes the following items:
Application code, packaged into a set of JAR files, plus any other application resources (data files, native libraries)
Copy of the JRE, to be used by this application only
Native launcher for the application, multiple launchers for a single package are supported
Metadata, such as icons
Multiple package formats are possible. Built-in support is provided for several types of packages. You can also assemble your own packages by post-processing a self-contained application packaged as a folder, for example if you want to distribute your application as a ZIP file.
The basic form of a self-contained application package is a single folder on your hard drive, such as the example in Figure 7-1. When any of the packages are installed, the result is a folder with the same content.
Figure 7-1 Example of a Self-Contained Application Package
The internal structure of a self-contained application folder is platform-specific, and might change in the future. However, the following items apply to all platforms and are not likely to change:
The application package, as defined in Chapter 5, "Packaging Basics," is included as a folder, preserving the application directory structure.
A copy of the JRE is included as another folder, and the JRE directory structure is preserved.
Because directory structure is preserved, the application can load external resources using paths relative to the application JAR or java.home
system property.
|
Note: Only a subset of the JRE is included by default. Some optional and rarely used files are excluded to reduce the package size, such as all executables. If you need something that is not included by default, then you need to copy it in as a post-processing step. For installable packages, you can do this from theconfig script that is executed after populating the self-contained application folder. See Section 7.3.3, "Customizing the Package Using Drop-In Resources." |
The easiest way to produce a self-contained application is to modify the deployment task. To request the creation of all types of self-contained application packages for the platform on which you are running, add nativeBundles="all"
to the <fx:deploy>
task, as shown in Example 7-1.
Example 7-1 Simple Deployment Task to Create All Self-contained Application Packages
<fx:deploy width="${javafx.run.width}" height="${javafx.run.height}" nativeBundles="all" outdir="${basedir}/${dist.dir}" outfile="${application.title}"> <fx:application name="${application.title}" mainClass="${javafx.main.class}"/> <fx:resources> <fx:fileset dir="${basedir}/${dist.dir}" includes="*.jar"/> </fx:resources> <fx:info title="${application.title}" vendor="${application.vendor}"/> </fx:deploy>
You can also specify the exact package format that you want to produce. Use the value image
to produce a basic package, exe
to request an EXE installer, dmg
to request a DMG installer, and so on. For the full list of attribute values, see the nativeBundles
attribute in the <fx:deploy> entry in the Ant Task Reference.
You can also produce native packages using the Java Packager tool. Self-contained application packages are built by default when you use the -makeall
command. You can request specific formats using the -native
option with the -deploy
command. See the javapackager
command reference for Windows or for Solaris, Linux, or OS X.
Example 7-2 shows the use of the -native
option with the -deploy
command, used to generate all applicable self-contained application packages for the BrickBreaker application. The -deploy
command requires a JAR file as input, so it assumes that dist/BrickBreaker.jar
has already been built:
The packaging tools use several built-in resources to produce a package, such as the application icon or configuration files. One way to customize the resulting package is to substitute a built-in resource with your customized version.
The following actions are needed:
Learn what resources are used.
Drop custom resources into a location where the packaging tool looks for them.
The following sections explain how to use custom resources.
To get more insight into what resources are being used, enable verbose mode by adding the verbose="true"
attribute to <fx:deploy>
, or pass the -v
option to the javapackager -deploy
command.
Verbose mode includes the following actions:
The following items are printed:
List of configuration resources that are used for the package that you are generating
Role of each resource
Expected custom resource name
A copy of the configuration files and resources used to create the self contained package are saved to a temporary folder. You can use these files as a starting point for customization
Example 7-3 shows sample output, with the important parts in bold:
Example 7-3 Sample Output in Verbose Mode
Using base JDK at: /Library/Java/JavaVirtualMachines/jdk1.7.0_06.jdk Using default package resource [Bundle config file] (add package/macosx/Info.plist to the class path to customize) Using default package resource [icon] (add package/macosx/DemoApp.icns to the class path to customize) Creating app bundle: /tmp/test/TestPackage/bundles/DemoApp.app Config files are saved to /var/folders/rd/vg2ywnnx3qj081sc5pn9_ vqr0000gn/T/build7039970456896502625.fxbundler/macosx. Use them to customize package.
Now you can grab a copy of the configuration files and tune them to your needs. For example, you can take the configuration file Info.plist
and add localized package names.
|
Note: It is recommended that you disable verbose mode after you are done customizing, or add a custom cleanup action to remove sample configuration files. |
Packaging tools look for customized resources on the class path before reverting to built-in resources. The Java Packager has "." (the current working directory) added to the class path by default. Therefore, to replace the application icon, copy your custom icon to ./package/macosx/DemoApp.icns
in the directory from which javapackager
is run (typically, the root project directory).
The class path for Java Ant tasks is defined when task definitions are loaded. You must add an additional path to the lookup before the path ant-javafx.jar
.
Example 7-4 shows how to add "." to the class path. For a more detailed code example, see Example 6-1.
Example 7-4 Enabling Resource Customization for JavaFX Ant Tasks
<taskdef resource="com/sun/javafx/tools/ant/antlib.xml" uri="javafx:com.sun.javafx.tools.ant" classpath=".:path/to/sdk/lib/ant-javafx.jar"/>
After you provide a customized resource, verbose build output reports that the resource is used. For example, if you added a custom icon to an application, then the verbose output reports the addition, shown in Example 7-5.
Example 7-5 Verbose Output After Adding a Customized Icon Resource
Using base JDK at: /Library/Java/JavaVirtualMachines/jdk1.7.0_06.jdk Using default package resource [Bundle config file] (add package/macosx/Info.plist to the class path to customize) Using custom package resource [icon] (loaded from package/macosx/DemoApp.icns on class path) Creating app bundle: /tmp/test/TestPackage/bundles/DemoApp.app
Many of the existing Java Ant elements are used to customize self-contained application packages. Different sets of parameters are needed for different packages, and the same element might have different roles. Table 7-1 introduces many of the customization options.
Table 7-1 Customization Options with Ant Elements and Attributes
| Element | Attribute | Details |
|---|---|---|
|
|
|
Application identifier. The format is platform and package specific. If not specified, then a value is generated. |
|
|
Application version. The default is |
|
|
|
Short name of the application. Most bundlers use this name to create the name of the output package. If not specified, then the name of the main class is used. |
|
|
|
|
Desktop shortcut request. If set to |
|
|
Menu entry request. If set to true then an entry in the applications menu is requested. |
|
|
|
Scope of installation. If |
|
|
|
|
Role of files in the process of assembling the self-contained application package. Resources of types |
|
|
|
Application title. |
|
|
Application vendor. |
|
|
|
Application category. Category names are package-format specific. |
|
|
|
License type (for example, GPL). This attribute is used only for Linux bundles. |
|
|
|
Short copyright statement. |
|
|
|
Application description. |
|
|
|
Arguments to pass to the application when it is started. |
|
|
|
Types of files to associate with the application. |
|
|
|
JVM arguments to be passed to JVM and used to run the application, for example, large heap size. |
|
|
|
User-changeable JVM arguments to be passed to JVM and used to run the application. See Section <IP_ADDRESS>, "Specifying User JVM Arguments" for more information. |
|
|
|
Properties to be set in the JVM running the application. |
Creating and customizing the basic form of self-contained application packages is a fairly straightforward process, but note the following points:
Different icon types are needed for different platforms.
For example, on Windows, the .ico
format is expected, on Linux, the fomat is .png
, and on OS X the format is .icns
. No icon is embedded into the launcher on Linux, instead the .desktop
file references the icon.
For JavaFX applications, add the icon to the application stage to ensure that the icon is set in the runtime. For example, add the following code to the start()
method of your JavaFX application:
stage.getIcons().add(new
Image(this.getClass().getResourceAsStream("app.png")));
Sign files in the output folder if you plan to distribute the application.
For example, on Windows, the launcher executable can be signed using signtool.exe
.
The resulting package on OS X is an "application bundle".
Several configuration parameters are placed in the Info.plist
file in the application bundle and must conform to the following rules:
Application ID (or main class name if ID is not specified) is used as CFBundleIdentifier
.
Application version is used as CFBundleShortVersionString
.
OS X 10.8 introduces Gatekeeper, which prevents execution of untrusted code by default, regardless of whether this code is implemented in Objective-C or Java.
The user can manually enable the application to run, but this is not a perfect user experience. To get optimal user experience, obtain a Developer ID Certificate from Apple. The Mac bundler uses the certificate to sign the .app
folder. If your local user information differs from the name of the certificate, you might need to set the bundle argument mac.signing-key-user-name
, as shown in the following example:
Example 7-6 Example using mac.signing-key-user-name
// Using javapackager tool javapackager ... -Bmac.signing-key-user-name="Jane Appleseed" // Using Ant tasks <fx:deploy> //... <fx:bundleArgument arg="mac.signing-key-user-name" value="Jane Appleseed"/> //... </fx:deploy>
For more details, see the Developer ID and Gatekeeper topic at the Apple Developer site.
Arguments can be passed to a self-contained application when the application is started from the command line. You can also define a set of arguments to pass to the application if no arguments are provided. To define default arguments, use the -argument
option with the javapackager deploy
command or the <fx:argument> element in an Ant task when the application package is created. Arguments entered from the command line override the default arguments. If the application is started from the launcher icon, the default arguments are used.
The installer for a self-contained application can be set up to register file associations for the application. The <fx:association> element is used in an Ant task to identify the files that can be handled by the application. File associations are based on either the file extension or MIME type.
The following example associates the application with files that have the MIME type application/x-vnd.MyAppFile
.
<fx:info title="Association example"> <fx:association mimetype="application/x-vnd.MyAppFile" description="Sample Test Files"> </fx:association> </fx:info>
The package for self-contained applications can be built to support a suite of products with more than one entry point. Each entry point can have its own shortcut or icon. The mainClass
attribute for the <fx:application> element identifies the primary entry point. Use the <fx:secondaryLauncher> element with the <fx:deploy> task to define each secondary entry point.
|
Note: Multiple entry points are supported only for Windows and Linux applications. |
The following example defines entry points for the TestSuite
application for Windows.
<fx:deploy outdir="test/apps" nativeBundles="image"> <fx:application name="TestSuite Sample" mainClass="samples.TestSuite"/> <fx:info title="Test Suite"/> <fx:secondaryLauncher mainClass="samples.TestSuite" name="Suite Applications"/> shortcut="true"/> <fx:secondaryLauncher name="Editor"> <fx:bundleArgument arg="icon" value="../resources/editor.ico"/> </fx:secondaryLauncher> <fx:secondaryLauncher name="Spreadsheet"> <fx:bundleArgument arg="icon" value="../resources/spreadsheet.ico"/> </fx:secondaryLauncher> </fx:deploy>
A self-contained application can be wrapped into a platform-specific installable package to simplify distribution. Java packaging tools provide built-in support for several formats of installable packages, depending on the availability of third-party tools.
Tuning the user experience for the installation process is specific to the particular installer technology, as described in other sections in this chapter. However, you must decide what type of installer you need. The following considerations might help with your decision:
System-wide or per-user installation?
System-wide installation results in a package installed into a shared location and can be used by any user on the system. Admin permissions are typically required and additional steps are likely to be needed during the installation process, such as an OS prompt to approve elevating installer permissions.
Per-user installation copies the package into a private user directory and does not require admin permissions. This type of installation enables you to show as few dialogs as possible and run the program even if the user is not eligible for admin privileges.
Note that whenever a user- or system-level installable package is requested, the build procedure itself does not require admin permissions.
Do you need a click-through license?
Some installable packages support showing license text before initiating the installation. The installation process starts only after the user accepts the license.
What menu and desktop integration is needed?
The user should be able to launch your application easily. Therefore, having a desktop shortcut or adding the application to the list of applications in the menu is required.
Note that the current implementation contains many simplifying assumptions. For example, installers never ask the user to choose the location in which to install the package. Developers also have limited control of the installation location, and can only specify system-wide or per-user installation.
If the default assumptions do not meet your needs you, advanced customizations are available by tuning the configuration file templates (see Section 7.3.3, "Customizing the Package Using Drop-In Resources") or packaging a basic self-contained application and then wrapping it into an installable package on your own.
The following installable package formats are supported:
Table 7-2 Installable Package Formats
| Package format | Installation Location(Default mode in bold) | Click-Through License | Prerequisites |
|---|---|---|---|
|
EXE |
Per user: System: |
Yes (option) |
|
|
MSI |
Per user: System: |
No special support |
|
|
DMG |
Per user: user's desktop folder System: /Applications |
Yes (option) |
|
|
PKG |
Per user: user's desktop folder System: /Applications |
Yes (option) |
|
|
RPM |
Per user: unsupported System: /opt |
No special support |
|
|
DEB |
Per user: unsupported System: /opt |
No special support |
|
To generate an EXE package, you must have Inno Setup 5 or later installed and available on the PATH
. To validate that it is available, try running iscc.exe
from the command line where you launch the build or from your build script.
By default, the generated package has the following characteristics:
Admin privileges not required
Optimized to have a minimum number of dialogs
Referenced from the programs menu or a desktop shortcut, or both
Launches the application at the end of installation
Figure 7-2 shows a typical dialog box for a self-contained JavaFX application being installed on Windows.
Figure 7-2 Windows Installation Dialog for a Self-Contained JavaFX Application
Customization tips:
If you chose system-wide installation, then the user needs to have admin permissions, and the application is not launched at the end of installation.
A click-through license is supported. An .rtf
file is required.
The image shown in the installation dialogs is different from the application icon.
You can customize the image using the "drop-in technique" described in Section 7.3.3, "Customizing the Package Using Drop-In Resources."
The current version of Inno Setup assumes the image is a bitmap file with a maximum size of 55x58 pixels.
For JavaFX applications, add the icon to the application stage to ensure that the icon is set in the runtime. See Section 7.3.5, "Platform-Specific Customization for Basic Packages."
Sign the resulting .exe
package.
You need to get a certificate from a Trusted Certificate Authority (TSA), then use the Windows signtool.exe
utility to sign the code.
You can fine tune the self-contained application folder before it is wrapped into an .exe
file, for example to sign the launcher executable.
Provide a Windows script file, using the technique described in Section 7.3.3, "Customizing the Package Using Drop-In Resources."
|
Note: While the resulting package is displayed in the list of installed applications, it does not use Windows Installer (MSI) technology and does not require the use of GUIDs. See the Inno Setup FAQ for details. |
MSI packages are generated using the Windows Installer XML (WiX) toolset (also known as WiX). WiX 3.8 or later is required, and it must be available on the PATH
. To validate, try running candle /?
from the command line where you launch the build or from your build script.
By default, a generated MSI package has the following characteristics:
Optimized for deployment using enterprise deployment tools
Installs to a system-wide location
No click-through UI, only a progress dialog is shown
Referenced from the programs menu or a desktop shortcut, or both
Removes all files in the installation folder, even if they were created outside of the installation process. (WiX 3.5 or later is required.)
Tries to use the application identifier as UpgradeCode
.
If the application identifier is not a valid GUID, then a random GUID for UpgradeCode
is generated.
Randomly generates ProductCode
is randomly.
To use a fixed Product code, customize the WiX template file using the technique described in Section 7.3.3, "Customizing the Package Using Drop-In Resources."
If you plan to distribute your MSI package on the network, sign it for the best user experience.
You can also fine tune the self-contained application folder before it is wrapped into the .msi
file, for example, to sign the launcher executable. For details, see Section 7.4.1, "EXE Package."
To add a custom UI to the MSI package, customize the WiX template file used by Java Packager using the technique described in Section 7.3.3, "Customizing the Package Using Drop-In Resources." Consult WiX documentation for more details.
By default, a DMG package provides a simple drag-and-drop installation experience. Figure 7-3 shows an example of the default behavior during installation.
Figure 7-3 Example of Default Installer for OS X
To customize the appearance of the installation window, you can provide a custom background image.
If the background image has different dimensions or you need to position the icons differently, then you must also customize the DMG setup script that is used to modify sizes and positions of elements in the install view. For information on customization, see Section 7.3.3, "Customizing the Package Using Drop-In Resources."
Figure 7-4 Example of Customized Appearance of Installable Package for OS X
To fine tune the self-contained application folder before it is wrapped, provide your own bash script to be executed after the application folder is populated. You can the script for such actions as adding localization files to the package. Figure 7-4 shows an example of a "tuned" application installer.
To create a Gatekeeper-friendly package (for OS X 10.8 or later, see Section <IP_ADDRESS>, "OS X"), the application in the DMG package must be signed. It is not necessary to sign the DMG file itself. The Mac bundler handles the signing of your application. If your local user information differs from the name of the certificate, you might need to set the bundle argument mac.signing-key-user-name
, as shown in Example 7-6.
To sign the application manually, you can use a technique described in Section 7.3.3, "Customizing the Package Using Drop-In Resources" to provide a configuration script that is executed after the application bundle is populated. For the sample DemoApp
, the configuration script is located at package/macosx/DemoApp-post-image.sh
and has the content shown in Example 7-7.
Example 7-7 Example of Configuration Script to Sign the Application
echo "Signing application bundle" #Move to the folder containing application bundle cd ../images/dmg.image #do sign codesign -s "Developer ID Application" *.app echo "Done with signing"
The DMG installer also supports a click-though license provided in text format. If use of rich text format is desired, then prepare the license.plist
file externally and add it to the package using the technique described in Section 7.3.3, "Customizing the Package Using Drop-In Resources."
No third party tools are needed to create a DMG package.
Producing install packages for Linux assumes that the native tools needed to build install packages are installed. For RPM packages, this typically means the RPMBuild package and its dependencies. For DEB packages, dpkg-deb
and dependencies are needed.
No admin permissions are needed to build the package.
By default the resulting package has the following characteristics:
Installs the application to the /opt
directory
Adds a shortcut to the application menu
Does not have any UI for installation, which is normal behavior for Linux packages
Customization tips:
To place the application into a specific category in the application menu, use the category
attribute of <fx:info>.
See Desktop Menu Specification, and your window manager docs for the list of category names.
The icon is expected to be a .png file
Advanced customization is possible by tuning the build template files using techniques described in Section 7.3.3, "Customizing the Package Using Drop-In Resources.".
See the DEB/RPM packaging guides for more information on available options.
Consider a scenario where you have a JavaFX application with the following characteristics:
Uses several third-party libraries
One of the third-party libraries uses JNI and loads a platform-specific native library using System.loadLibrary()
Needs a large 1Gb heap
You want to package this application as a self-contained application that does not need admin permissions to install.
It is assumed that your application works fine as a standalone application, that the main JAR file is built in the dist
folder (using <fx:jar>) and that third-party libraries are copied to the dist/lib
directory.
One way to assemble a self-contained application package is shown in Example 7-8, and consists of the following actions:
Include all application JAR files.
Add native libraries applicable to current platform as resources of type data.
Ensure that the fileset base directory is set to the folder containing the library. This ensures that the libraries are copied to the top-level application folder.
Request a user-level installation with <fx:preferences install="false"/>
Note that the top-level application folder is added to the library search path, and therefore System.loadLibrary()
can be used.
Example 7-8 shows an example <fx:deploy> task.
Example 7-8 Example <fx:deploy> Task
<fx:deploy nativeBundles="all" width="600" height="400" outdir="${basedir}/dist" outfile="NativeLibDemo"> <fx:application name="NativeLib Demo" mainClass="${javafx.main.class}"/> <fx:resources> <!-- include application jars --> <fx:fileset dir="dist" includes="*.jar"/> <fx:fileset dir="dist" includes="lib/*.jar"/> <!-- native libs for self-contained application --> <!-- assume they are stored as native/windows/x86/JNativeHook.dll native/linux/x86_64/libJNativeHook.so .... --> <!-- ensure libraries are included as top level elements to get them on java.library.path --> <fx:fileset dir="${basedir}/native/${os.name}/${os.arch}" type="data"> <include name="*.dll"/> <include name="*.jnilib"/> <include name="*.so"/> </fx:fileset> </fx:resources> <!-- Custom JVM setup for application --> <fx:platform> <fx:jvmarg value="-Xmx1024m"/> <fx:jvmarg value="-verbose:jni"/> <property name="my.property" value="something"/> </fx:platform> <!-- request user level installation --> <fx:preferences install="false"/> </fx:deploy>


[dscrd-chips] <PHBA2061> as the fund grows, I think we should start using multisig address
GatewayBOT05-Aug-19 12:55 AM
[dscrd-chips] <NutellaLicka> I agree. I will have a chat with jorian and discuss that idea.
[dscrd-chips] <NutellaLicka> When he is back :P
GatewayBOT05-Aug-19 03:09 PM
[dscrd-chips] <Bitfinger> If there's an Anon on a Moose around here... DM me bro, it's Stan :D
GatewayBOT07-Aug-19 02:38 PM
[dscrd-chips] <Oszy> DP disabled deposits until they can generate R addresses instead of B addresses. Can someone contact them and tell them how to fix?
[dscrd-chips] <Oszy> don't know which branch is good now
GatewayBOT07-Aug-19 02:49 PM
[dscrd-chips] <phm87> @jl777c sorry to ping you. I am also interested in this fix
for example @Oszy I don't have contact with DP though(edited)
GatewayBOT07-Aug-19 04:28 PM
[dscrd-chips] <Oszy> I'll forward it to them then, I'll be the contact (edited)
GatewayBOT08-Aug-19 04:20 PM
[dscrd-chips] <helios> With all existing poker and casino projects. Chips have future?
GatewayBOT08-Aug-19 04:42 PM
[dscrd-chips] <PHBA2061> yes, why not ?
[dscrd-chips] <Oszy> name another blockchain based poker game where you can mine the chips
[dscrd-chips] <allbits> @helios where are there decentralized poker and casino projects. I see only hosted projects
GatewayBOT08-Aug-19 06:55 PM
[dscrd-chips] <Privatoshi> @Oszy WINK
[dscrd-chips] <Privatoshi> Users can create accounts with DAO.Casino’s TestNet 2.0, as well as deposit test tokens with Validators, and stake them against Blockchain’s resources. Users can become Validators, as long as they possess enough of the BET token, which is the native token for the DAO.Casino platform.
According to the company, some of the most important innovations in DAO.Casino’s TestNet 2.0 are:
-Dedicated staking resource type “vote” used for Validator voting along with traditional CPU and
bandwidth;
-Dynamic number of Validator nodes based on the total stake amount (from 21 up to 100);
-Transaction sponsorship for providing a way to “sponsor” resource reservation needed for
transactions made by other accounts. This feature will allow organizations to easily onboard new
users by performing actions on the blockchain without initial token deposits.
[dscrd-chips] <Privatoshi> ____
Not sure if that helps any.
But I've followed the project for a while, thought I'd post it.
[dscrd-chips] <Privatoshi> I need to try out KMDice
GatewayBOT08-Aug-19 09:31 PM
[dscrd-chips] <hyperDEX> WINK is tronbet right?
[dscrd-chips] <hyperDEX> @Privatoshi
[dscrd-chips] <hyperDEX> I dont think they are p2p, all the players interact on a centralized server with smart contracts
GatewayBOT08-Aug-19 11:55 PM
[dscrd-chips] <helios> Yes wink is tronbet
GatewayBOT09-Aug-19 05:31 AM
[dscrd-chips] <passcombo.com > Eth and Tron got some caisno games using daps, having millions $ monthly transfers (maybe fake?)
[dscrd-chips] <passcombo.com > but for end user does not matter much if this is centralized game or whatever
[dscrd-chips] <passcombo.com > what matters is user experience mostly - if nice = people come
GatewayBOT09-Aug-19 10:42 AM
[dscrd-chips] <jl777c> using that logic, just go to pokerstars.com
[dscrd-chips] <hyperDEX> Cant it is blocked
GatewayBOT09-Aug-19 11:02 AM
[dscrd-chips] <jl777c> how do people in police states play online poker?
GatewayBOT09-Aug-19 11:36 AM
[dscrd-chips] <pixelshove> VPN
GatewayBOT09-Aug-19 12:11 PM
[dscrd-chips] <hyperDEX> Not when you have to KYC
GatewayBOT09-Aug-19 03:29 PM
[dscrd-chips] <allbits> The world wants unhosted p2p games. It's a giant step forward. Just like unhosted p2p crypto trading.
GatewayBOT09-Aug-19 04:30 PM
[dscrd-chips] <miner707> Yes let get gui working first(edited)
GatewayBOT09-Aug-19 07:29 PM
[dscrd-chips] <$tefano.> we hope soon
GatewayBOT09-Aug-19 10:25 PM
[dscrd-chips] <helios> We have an idea for the GUI stable release ?
GatewayBOT10-Aug-19 12:20 AM
[dscrd-chips] <Privatoshi> @jl777c vpn wink
[dscrd-chips] <Privatoshi> using a tron dapp browser
[dscrd-chips] <Privatoshi> tronlink Android app
GatewayBOT10-Aug-19 03:37 AM
[dscrd-chips] <hyperDEX> @helios @sg777 and @pixelshove are working on that. The GUI is basically done, now it is iterating the backend and the GUI as differences come up. Biggest one they are working on is actual multiplayer, up to this point it had been someone playing but have control over all nodes
[dscrd-chips] <hyperDEX> @Privatoshi he was talking about pokerstars not tron bet
[dscrd-chips] <Privatoshi> I got u
[dscrd-chips] <Privatoshi> @hyperDEX what's the deal with KMDice?
[dscrd-chips] <Privatoshi> Ever used it ?
[dscrd-chips] <hyperDEX> No idea, i am not working on that. Basically like tronbet
GatewayBOT10-Aug-19 04:31 AM
[dscrd-chips] <Privatoshi> Why no dice game here?
[dscrd-chips] <Privatoshi> Just poker, or?
GatewayBOT10-Aug-19 04:53 AM
[dscrd-chips] <hyperDEX> Dice is the easiest
[dscrd-chips] <hyperDEX> Poker then BJ then lots and lots of other games
GatewayBOT10-Aug-19 05:29 AM
[dscrd-chips] <Privatoshi> Wen live?
GatewayBOT10-Aug-19 09:28 AM
[dscrd-chips] <NutellaLicka> There is no specific date set. The team are working away trying to get all of the back/front integration sorted. Once that is done there will be a bunch of testing, cashier integration and maybe then a V1.0 release date can be thought about (along with website release). Anybody is free to use it in the current state if they so choose though.
[dscrd-chips] <jl777c> before public release, multisig lock/unlock of table bets would need to be implemented, the gui integration is first as that will allow gui level testing in parallel with removing this last exposure
GatewayBOT10-Aug-19 10:13 AM
[dscrd-chips] <NutellaLicka> Would @sg777 be able to work on the multisig when the gui integration is complete, or will that require another dev?
I'll add it to the trello to do list tomorrow
GatewayBOT10-Aug-19 10:33 AM
[dscrd-chips] <jl777c> sg777 can do it
[dscrd-chips] <hyperDEX> Well GUI is complete, backend and front ends being iterated as we find things that are missing to support multiplayer over 2 different players.(edited)
GatewayBOT11-Aug-19 01:39 AM
[dscrd-chips] <Privatoshi> I can help testing.
GatewayBOT11-Aug-19 06:17 AM
[dscrd-chips] <NutellaLicka> I received an email back from CMC, unfortunately they won't update our information until we get more trade volume on their recognised exchanges. Also, CoinGecko will only update their information once we have a website. So looks like i'm getting to work on the website
GatewayBOT11-Aug-19 09:42 AM
[dscrd-chips] <NutellaLicka> @grewalsatinder there is a second and third account in here with your name @grewalsatinder & @grewalsatinder(edited)
[dscrd-chips] <grewalsatinder> very strange! not mine at all.
[dscrd-chips] <grewalsatinder> I remember early in days when I singed up on Discord, I did sign up with two different email addresses, but never used the other email signed up account.
[dscrd-chips] <grewalsatinder> so, in case any other account is known to use my handle, feel free to block it, kick it or ban it.
[dscrd-chips] <grewalsatinder> @NutellaLicka
[dscrd-chips] <ph03nix>
[dscrd-chips] <NutellaLicka> Gone
GatewayBOT12-Aug-19 07:27 AM
[dscrd-chips] <Privatoshi> @helios
GatewayBOT12-Aug-19 03:10 PM
[dscrd-chips] <$tefano.> hi, someone from the team could be a escrow for a transaction? @jorian(edited)
GatewayBOT12-Aug-19 03:22 PM
[dscrd-chips] <Oszy> @PHBA2061 DP dones't seem to respond to me or solve the issue, could someone please open a ticket and let them know to use chips-cli getnewaddress "" "legacy" to generate deposit addresses?
[dscrd-chips] <dukeleto> They usually charge for code updates
[dscrd-chips] <dukeleto> $200 per code update, was the last I heard
[dscrd-chips] <Oszy> @$tefano. I can do it if it's a KMD/CHIPS trade for 1% on both sides. (if no one else is around)
[dscrd-chips] <Oszy> @dukeleto it's $200 to add 7 letters to the command they currently use?
[dscrd-chips] <Oszy> which is by the way wrong
[dscrd-chips] <Oszy> they generate P2SH now..
[dscrd-chips] <dukeleto> Welcome to the show
[dscrd-chips] <dukeleto> This is why HUSH left DP
[dscrd-chips] <Oszy> not surprised
[dscrd-chips] <dukeleto> They wanted to charge us to change anything or update anything
[dscrd-chips] <dukeleto> So the listing fee is actually a lie
[dscrd-chips] <$tefano.> @Oszy i will ask, thank you
GatewayBOT12-Aug-19 07:40 PM
[dscrd-chips] <$tefano.> thanks @Oszy probably it's not necessary, i will confirm you in the next hours
[dscrd-chips] <Oszy> i'll be around for 1-2 hours then only tomorrow
[dscrd-chips] <Oszy> let me know
GatewayBOT13-Aug-19 09:37 AM
[dscrd-chips] <helios> It is possible to forward website chips ? Or need to wait ??
[dscrd-chips] <Oszy> @NutellaLicka are you going to mock up a site, or shall I? got some free time now
[dscrd-chips] <Oszy> i just walk back into my cave after seeing this
[dscrd-chips] <NutellaLicka> Work in progress! Thank @webworker01 I just wrote the copy
[dscrd-chips] <Oszy> stunning and i love it
[dscrd-chips] <NutellaLicka> :CHIPS:
GatewayBOT13-Aug-19 02:15 PM
[dscrd-chips] <sg777> @PHBA2061 will you able to set up the nodes and test the new gui on your backend nodes, i'll share the repo details and commands shortly...
GatewayBOT13-Aug-19 02:26 PM
[dscrd-chips] <hyperDEX> @sg777 @PHBA2061 controls the 4 nodes we have too. Can you let him know how much ram the machines should have so he can spin them up
[dscrd-chips] <PHBA2061> @sg777 surely, I'll be waiting for the details
GatewayBOT13-Aug-19 03:32 PM
[dscrd-chips] <sg777> @hyperDEX sure, I'll share the details, @PHBA2061 I'm updating the readme file will share with you soon..
Learn all about real #decentralized #poker and why this matters! #Blockchain, #gaming, #betting & #gambling are made for each other. Get the latest insights at our Summer Special: August 20th! $KMD $CHIPS https://t.co/FmIQbtyaGAhttps://t.co/00PFUNbbQx
GatewayBOT13-Aug-19 04:45 PM
[dscrd-chips] <helios> August 20th?
GatewayBOT13-Aug-19 06:45 PM
[dscrd-chips] <cascrypto> Yes in Amsterdam
[dscrd-chips] <cascrypto> Beurs van berlage
GatewayBOT13-Aug-19 09:39 PM
[dscrd-chips] <hyperDEX> @PHBA2061 can you spin up 4 nodes with 8gb ram on each?
[dscrd-chips] <hyperDEX> let me know if you are getting low on funds
GatewayBOT13-Aug-19 10:00 PM
[dscrd-chips] <PHBA2061> yes, but I'll be waiting for sg777 instructions first, I think 4Gb should be enough
GatewayBOT14-Aug-19 01:01 AM
[dscrd-chips] <grewalsatinder> Does CHIPS support nSPV?
[dscrd-chips] <grewalsatinder> If not how much of work it might be?


I am Thomas Beckman. I am a professional Web Developer and Designer at For Time Design. I see to expand my pool of skills and depth of knowledge in all areas of web and software development.


fraction module¶
Mathematical background¶
All calculations obey the rules governing adding, subtracting, multiplying and dividing fractions. Subtraction and division default to modified addition and multiplication, and the greatest common divisors are always reduced.
Members of Fraction class¶
-
class
fraction.
Fraction
(numerator, denominator)[source]¶ Represents a fraction with two integers.
-
__add__
(other)[source]¶ Adds an integer or another fraction to this instance and returns the result.
Parameters: other – The other value to add; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the addition.
-
__div__
(other)[source]¶ Divides this instance by an integer or another fraction and returns the result.
Parameters: other – The other value to divide with; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the division.
-
__eq__
(other)[source]¶ Compares this Fraction with another Fraction, float, int or long for value-equality.
Parameters: other – The other value to compare with; it can be another Fraction, float, int or long Returns: True, if the values are equal; otherwise False.
-
__float__
()[source]¶ Converts the value of this instance into a float-value. The result must not be exact.
Returns: A approximated float-value of this instances value.
-
__ge__
(other)[source]¶ Checks if the value of this instance is greater or equal than another value.
Parameters: other – The other value to compare with; it can be another Fraction float, int or long Returns: True if this instances value is greater or equal then the other value; otherwise False.
-
__gt__
(other)[source]¶ Checks if the value of this instance is greater than another value.
Parameters: other – The other value to compare with; it can be another Fraction float, int or long Returns: True if this instances value is greater then the other value; otherwise False.
-
__init__
(numerator, denominator)[source]¶ Initializes a new Fraction-Instance with a value.
Parameters: - numerator – The numerator in the instance to created.
- denominator – The denominator in the instance to create.
-
__le__
(other)[source]¶ Checks if the value of this instance is less or equal than another value.
Parameters: other – The other value to compare with; it can be another Fraction float, int or long Returns: True if this instances value is less or equal then the other value; otherwise False.
-
__lt__
(other)[source]¶ Checks if the value of this instance is less then another value.
Parameters: other – The other value to compare with; it can be another Fraction float, int or long Returns: True if this instances value is less then the other value; otherwise False.
-
__mul__
(other)[source]¶ Multiplies an integer or another fraction with this instance and returns the result.
Parameters: other – The other value to multiply with; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the multiplication.
-
__ne__
(other)[source]¶ Compares this Fraction with another Fraction, float, int or long for value-inequality.
Parameters: other – The other value to compare with; it can be another Fraction, float, int or long Returns: False, if the values are equal; otherwise True.
-
__neg__
()[source]¶ Negates the value of this instance and returns it.
Returns: A new Fraction instance with the negated value of this instance
-
__radd__
(other)[source]¶ Adds an integer or another fraction to this instance and returns the result.
Parameters: other – The other value to add; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the addition.
-
__rdiv__
(other)[source]¶ Divides an integer or another fraction with this instance and returns the result.
Parameters: other – The other value to divide; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the division.
-
__rmul__
(other)[source]¶ Multiplies an integer or another fraction with this instance and returns the result.
Parameters: other – The other value to multiply with; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the multiplication.
-
__rsub__
(other)[source]¶ Subtracts this instance from an integer or another fraction and returns the result.
Parameters: other – The other value to subtract from; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the subtraction.
-
__str__
()[source]¶ Creates a string representation for this instance.
Returns: - “NaN” if the denominator is 0;
- ”0” if the denominator is 0;
- the numerator-value as a string if the denominator is 1;
- otherwise “numerator / denominator”
-
__sub__
(other)[source]¶ Subtracts an integer or another fraction from this instance and returns the result.
Parameters: other – The other value to subtract; it can be a Fraction, int or long. Returns: A new Fraction instance with the result of the subtraction.
-


Add to List
Bread
edit
remove
Milk
edit
remove
CSS
edit
remove
You have 2 todos left
Clear List
Clear Completed


climate fuel stock time fish des growth harvest model change upwelling subsidies pêches fishery biomass equilibrium projections Fisheries fisheries effect increase prices data mean price high impact Climate Direction SST economic fishing use Fig different years development maritimes. {border-style Sardinella catch low survival Marine Research Senegalese impacts px;} #ffffff;} fishers pelagic results trend ECE-o changes effects Section adaptation models variability artisanal food important rents resource used year aurita decrease higher productivity small NESM-bc West available average billion case fall larger monthly policy positive pressure total BAU Fish Ministère NESM-o République Senegal; catches function l’économie maritime, maritimes, shows study winter yearly Africa. Résultats Sciences annual costs estimate estimated généraux harvesting is, large linear lower particularly period population prices, standard value welfare ECE-bc German Result analysis compare contribution extinction long observed potential projections, rate scenarios. subsidy sustainable uncertainty wind (see Agriculture Centre Earth Food NESM-bc, United based consumers cost future means overall px; resources significant support sustainability {font-family ./j.fishres... Data ECE-bc, ECE-bc. Environmental However, Institute NESM-o, NPV Nations North Northwest Oceanography. Pelagic Research. Science Thiaw additional analyze benefits consider elasticity estimation factor fishery. following font-size income lead leads level. line local model, natural purse scenario security stable temperature variable Africa African Bergen: Development Economics. FCFA File Lam Lancker Olsen Organization Research; Small Survey Thus, World [], amounts beneficial bias catchability curve dependence depends difference differences direct distribution double; earlier early effort environmental favorable global help literature longer management market measure medium negative projections. regional relative rent represent result role scenarios security. species thus, trends variability. yield (FAO); (significant ./j.marpol... Biology Brochier Cheung ECE-o, FAO FAO. File). Foundation Fuel Monthly Pauly Policy. SSB Sarre Schmidt Senegal Sumaila University Weather access area assume benefit biomass, border-color border-width capital coastal concerning consequence constant crop current demand depend dummies dynamic example, harvest, horizon, impacts, increased increases increasing main maximum need net observe open-access original outcomes output productivity. projection. propensity relatively rents. research respect sardinella sector solid; spatial spread spring strong substitution supply technological term upward upwelling. years. {font-style {font-weight Africa: Belhabib Biodiversity Biology. Brehmer Brent C): Conceptualization Diankha European Fishing Future Group Kira Krakstad Life Management. Mauritanian Mean Model Oceanographic Population Price Progress Report Rome: SST, Science. Sow Supplement Sustainable Thiao Variability Working abolished, abundance account acknowledges allows alternative approach assessment assumed bio-economic biological biomass. bold business-as-usual carrying case. constitute consumers. consumers’ courier; dataset develop dynamics easily em; empirical estimates exemplary expected explore extinct findings fisheries. fishery’s gains general group growth, hand, highest indicate information inverse labor landed level lie lies light lowest models, ocean outcome over-fishing owing particular partly patterns pressure. previous primary processes projected proper provided provides pt;} quantity reanalysis redistribution reduced reduction remain reproduction retention seasonal sector’s seine seines share simulate simulation size studies takes term, term. test trend, turn unfavorable unsustainable upwelling, using value. values waters


Interface IMixedRealitySpatialMeshObserver
The interface contract for Mixed Reality spatial observers.
Inherited Members
Namespace: XRTK.Interfaces.Providers.SpatialObservers
Assembly: XRTK.dll
Syntax
public interface IMixedRealitySpatialMeshObserver : IMixedRealitySpatialObserverDataProvider, IMixedRealityDataProvider, IMixedRealityService, IDisposable, IMixedRealityEventSource, IEqualityComparer
Properties
| Improve this Doc View SourceIsStationaryObserver
Should the observer remain stationary in the scene?
Declaration
bool IsStationaryObserver { get; }
Property Value
| Type | Description |
|---|---|
| Boolean |
Remarks
Set IsStationaryObserver set to false, to move the volume with the user. If set to true, the origin will be 0,0,0 or the last known location.
MeshDisplayOption
Gets or sets a value indicating how the mesh subsystem is to display surface meshes within the application.
Declaration
SpatialMeshDisplayOptions MeshDisplayOption { get; }
Property Value
| Type | Description |
|---|---|
| SpatialMeshDisplayOptions |
Remarks
Applications that wish to process the Meshes should set this value to None.
MeshLevelOfDetail
Gets or sets the level of detail, as a MixedRealitySpatialAwarenessMeshLevelOfDetail value, for the returned spatial mesh. Setting this value to Custom, implies that the developer is specifying a custom value for MeshTrianglesPerCubicMeter.
Declaration
SpatialAwarenessMeshLevelOfDetail MeshLevelOfDetail { get; }
Property Value
| Type | Description |
|---|---|
| SpatialAwarenessMeshLevelOfDetail |
Remarks
Specifying any other value will cause MeshTrianglesPerCubicMeter to be overwritten.
MeshOcclusionMaterial
Gets or sets the Material to be used when SpatialMeshObjects should occlude other objects.
Declaration
Material MeshOcclusionMaterial { get; }
Property Value
| Type | Description |
|---|---|
| Material |
MeshPhysicsLayerOverride
The optional Physics layer override of the base PhysicsLayer
Declaration
int MeshPhysicsLayerOverride { get; }
Property Value
| Type | Description |
|---|---|
| Int32 |
MeshRecalculateNormals
Gets or sets a value indicating if the spatial awareness system to generate normal for the returned meshes as some platforms may not support returning normal along with the spatial mesh.
Declaration
bool MeshRecalculateNormals { get; }
Property Value
| Type | Description |
|---|---|
| Boolean |
MeshTrianglesPerCubicMeter
Gets or sets the level of detail, in triangles per cubic meter, for the returned spatial mesh.
Declaration
uint MeshTrianglesPerCubicMeter { get; }
Property Value
| Type | Description |
|---|---|
| UInt32 |
Remarks
When specifying Coarse or Fine for the MeshLevelOfDetail, this value will be automatically overwritten with system default values.
MeshVisibleMaterial
Gets or sets the Material to be used when displaying SpatialMeshObjects.
Declaration
Material MeshVisibleMaterial { get; }
Property Value
| Type | Description |
|---|---|
| Material |
ObservationExtents
Gets or sets the size of the volume, in meters per axis, from which individual observations will be made.
Declaration
Vector3 ObservationExtents { get; }
Property Value
| Type | Description |
|---|---|
| Vector3 |
ObserverOrientation
Gets for sets the rotation of the observer
Declaration
Quaternion ObserverOrientation { get; }
Property Value
| Type | Description |
|---|---|
| Quaternion |
ObserverOrigin
Gets or sets the origin of the observer.
Declaration
Vector3 ObserverOrigin { get; }
Property Value
| Type | Description |
|---|---|
| Vector3 |
Remarks
Moving the observer origin allows the spatial awareness system to locate and discard meshes as the user navigates the environment.
SpatialMeshObjects
The collection of mesh SpatialMeshObjects that have been observed.
Declaration
IReadOnlyDictionary<int, SpatialMeshObject> SpatialMeshObjects { get; }
Property Value
| Type | Description |
|---|---|
| IReadOnlyDictionary<Int32, SpatialMeshObject> |
Methods
| Improve this Doc View SourceRaiseMeshAdded(SpatialMeshObject)
Forwards mesh added event to the IMixedRealitySpatialAwarenessSystem.
Declaration
void RaiseMeshAdded(SpatialMeshObject spatialMeshObject)
Parameters
| Type | Name | Description |
|---|---|---|
| SpatialMeshObject | spatialMeshObject | The SpatialMeshObject data. |
RaiseMeshRemoved(SpatialMeshObject)
Forwards mesh removed event to the IMixedRealitySpatialAwarenessSystem.
Declaration
void RaiseMeshRemoved(SpatialMeshObject spatialMeshObject)
Parameters
| Type | Name | Description |
|---|---|---|
| SpatialMeshObject | spatialMeshObject | The SpatialMeshObject data. |
RaiseMeshUpdated(SpatialMeshObject)
Forwards mesh updated event to the IMixedRealitySpatialAwarenessSystem.
Declaration
void RaiseMeshUpdated(SpatialMeshObject spatialMeshObject)
Parameters
| Type | Name | Description |
|---|---|---|
| SpatialMeshObject | spatialMeshObject | The SpatialMeshObject data. |


| Coupon |
* Sponsored Results
bettertransport.org.nz View topic - Why no intercity train ...
Why no intercity train services in the holiday periods? . geoff_184: Uber Transit Geek: Posts: 6768: Joined: Sun Apr 13, 2008 6:51 pm: Location: Swansonville . market for bus services between Auckland and Whangarei for Intercity and Naked . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
http://www.bettertransport.org.nz/forum/viewtopic.php?f=8&t=3149
bettertransport.org.nz View topic - Air NZ $29 AKL <-> WLG Night ...
pickle: Railfan: Posts: 2343: Joined: Sun Nov 02, 2008 5:45 am: Location: Auckland. Top . Naked Bus or Intercity Bus! Campaign for the .
http://www.bettertransport.org.nz/forum/viewtopic.php?f=4&t=3427
subway station ave york walking above the line director cost
400 Elm Ave
Yukon,
OK 73099
united states flag official website
Family Night Dinner Group Studies Ministries for all ages
museum of church history and art pumpkin cream cheese squares physiotherapy associates in grand ledge mi
900 S Littler Ave
Edmond,
OK 73034
magic want tube video
Forum | Ebonite - Bowl to Win
Jul 13, 2012 . Joined: 05 Sep 2008 . Cup and picking up a silver medal in 2009 Asian Intercity Championships. Hong . Powered by phpBB © phpBB Group .
http://ebonite.com/forums/viewtopic.php?t=1072&sid=98a227611084890e10249483b27bb78f
inkjet printer cleaning pads villians of the middle ages nora lamb and china cry
500 S Country Club Rd
Bicycle Network Forums View topic - Melbourne Trains.
Oct 16, 2012 . hoo: Posts: 405: Joined: Wed 15 Oct 2008, 6:22 am: Location: Aroundabouts . Try getting a tandem on a intercity Velocity which is why our next tandem is going to have . Powered by phpBB® Forum Software © phpBB Group.
https://www.bicyclenetwork.com.au/forums/viewtopic.php?f=5&t=25135
Making Tracks Forum View topic - BREL Class 90 Stock Pack
Dec 14, 2011 . 90001 InterCity Swallow; 90006 ONE - Unbranded; 90009 Virgin - unbranded; 90012 InterCity Swallow - "British Transport Police" . Joined: Sun Jun 01, 2008 3 :56 pm . Powered by phpBB © 2000-2009 phpBB Group .
http://forums.makingtracks-online.co.uk/viewtopic.php?f=53&p=39209
new york palace hotel new york james pott co bible bravero princess resort dominican republic
Basic Listings
226 S 29th St
Australian Transport Discussion Board View topic - Inter-Bus ...
Post subject: Inter-Bus Driver Courtesy . on this forum, but I have been reading and following the forum since 2008 (just couldn't be bothered ACTUALLY signing up). :D . Powered by phpBB® Forum Software © phpBB Group.
http://www.busaustralia.com/forum/viewtopic.php?f=5&t=65721
wow 2003 sheet music pelican at cabo san lucas shannon rose irish pub
1202 W Grand Ave
yourdomain.com View topic - Welcome to phpBB3
This is an example post in your phpBB3 installation. Everything seems to be working. You may delete this post if you like and continue to set up your board.
http://www.ccpgh.com/forum/viewtopic.php?f=2&t=1
lori grenier earring sliding stanfords home center plum pa intercity 2008 phpbb group
116 E Georgia Ave
New Railway Modellers Forums View topic - Farish Intercity 125 ...
I bought a second-hand Graham Farish Intercity 125 which initially worked well. However the train now only works for about 2-3 minutes and .
http://www.newrailwaymodellers.co.uk/Forums/viewtopic.php?f=20&t=38976
vrem sa vedem operati what is a cash sweep airlines leaving from brazil
301 S 2nd St
Railroadfan.com View topic - Amtrak cutting the Hoosier State?
If you carefully re-read what I wrote I said that the IC trains used to reach speeds of up to 100 mph at least as far south of Champaign. I never .
http://railroadfan.com/phpbb/viewtopic.php?f=27&p=252400
university of alabama foster auditorium historical used cars kurt russell mayor of anaheim contact info
1910 S 20th St
Kuala Lumpur Sentral railway station - Wikipedia, the free ...
Opened, 2001 (KTM Komuter, KTM Intercity and the Kelana Jaya Line) . Originally to be developed by MRCB, Kuwait Finance House and Quill Group, but . Constructions for all buildings began in H2 2008 and expected to be done by 2012.
http://en.wikipedia.org/wiki/Kuala_Lumpur_Sentral_railway_station
colanto 2010 jelsoft enterprises ltd physiotherapy associates in grand ledge mi keep internet logged on
728 W Michigan Ave
Philippine Chess Portal View forum - Philippine Chess Scene ...
PHL WOODPUSHERS BAG 23 MEDALS IN TARAKAN AGE GROUP by vonvon on Thu Jun . 2011 National Inter- Cities and municipalities Chess team ch by vonvon on Fri Oct . by Pinoychess on Wed Feb 13, 2008 12:56 am: 1 Replies: 1291 . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group © 2007- 2008 .
http://pinoychess.informe.com/forum/philippine-chess-scene-national-chess-federation-of-the-philippines-ncfp-f1/
youth and conflict styles player's tennis club hilliard ohio discount tickets to coyotes tickets
3340 S 16th St
Transport Tycoon Forums View topic - The Netherlands(Finished?)
Intercity Service Den Haag-Berlin(Terminal in Oldenzaal) . With the nearby Soest(34k) not having a intercity service Amersfoort has to . Joined: Fri Apr 04, 2008 6:43 pm . Powered by phpBB © 2000-2012 phpBB Group .
http://www.tt-forums.net/viewtopic.php?f=60&t=58041
firewood for sale sc lawrance county fair arkansas what are the lyrics to caldonia
828 S 9th St
Michigan Radio & TV Buzzboard View topic - WJRT-TV Early ...
Joined: Wed Oct 22, 2008 8:52 am . Lake Rd., where the Intercity Microwave Tower and alternate head end for off air program source antennas were later located. . Powered by phpBB® Forum Software © phpBB Group.
http://mibuzzboard.com/phpBB3/viewtopic.php?p=446253&sid=944376553543dc2fb40be11b65364601
making patterns in photoshop cs4 john ragsdale cherokee county texas what is a cash sweep
1300 S 29th St
Transport Tycoon Forums View topic - Major parts of Thameslink ...
Because they would not fit in a Intercity foucsed TOC. . Joined: Tue Jan 08, 2008 6:51 pm . 9 units of 5 carriages each is a 57% reduction in capacity for that group of trains. . Powered by phpBB © 2000-2012 phpBB Group .
http://www.tt-forums.net/viewtopic.php?f=49&t=61053&start=160
jeff ambrosino and powerlifting usa heavy vehicle parts inc buy luxury sport cars
102 E Almar Dr
Bluemoon-MCFC: Manchester City, Man City View topic - dortmund ...
Joined: Mon Jun 02, 2008 10:05 am. Posts: 6650 . ICE means Intercity Express . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
http://forums.bluemoon-mcfc.co.uk/viewtopic.php?f=1&t=271115&p=6241263&sid=58d532e838a98cc036e22fa98b1d177d
heartland oakland troy michigan case farming equipment 8900 barrett jackson classic car auctions
320 S 4th St
Roger Deakins, ASC, BSC View topic - Controlling the camera on a ...
ender1: Posts: 4: Joined: Wed Feb 13, 2008 10:20 pm: Location: Santa Monica . It's tough on an intercity greyhound, but on a city bus there may be a wide enough space . Powered by phpBB® Forum Software © phpBB Group.
http://www.deakinsonline.com/forum2/viewtopic.php?f=2&t=1810
project management fundamentals training seminar nuptse northface 900 down the best homemade hd tv antenna
901 W Grand Ave
Retro Gamer forum View topic - Scary washing machine advert?
TwoHeadedBoy: Posts: 7503: Joined: Fri Nov 21, 2008 2:55 pm: Location: Liverpool . Caroline Quentin as well), the "Relax" Intercity one, PG Tips with the chimps. . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
http://www.retrogamer.net/forum/viewtopic.php?f=5&t=36672&p=819617
safe driver classes birmingham al who wants ro be a million egg harbor business association
2414 State Highway 92
www.scottishleague.net View topic - Floodlit Firsts
First floodlit inter-city match... ... 10 Nov 1954, Glasgow . of floodlights... ... ?? HibeeJibee: Posts: 487: Joined: Sat Dec 27, 2008 5:36 pm. Top . index; All times are UTC. Powered by phpBB® Forum Software © phpBB Group.
http://www.scottishleague.net/forum/viewtopic.php?f=3&t=3573
wich force acts on a tower lifeguard training 2007 and greensboro
124 S 6th St
New Railway Modellers Forums View topic - Great Western Merlin ...
However I have decide to but a buffet carrage in Intercity swallow livery and also a TGS as at the time when they were introducing the livery .
http://www.newrailwaymodellers.co.uk/Forums/viewtopic.php?f=20&t=39703
3320 S 16th St
Turkey Travel Planner View topic - Bus/Taxi?? from Dalamain ...
by Dubaimom » Wed Mar 12, 2008 3:34 pm . The shuttles of Hava? from Marmaris to Dalaman Airport leave from the City Garage that is to say Inter-cities Bus Terminal of Marmaris. . Powered by phpBB® Forum Software © phpBB Group.
http://www.turkeytravelplanner.com/phpBB2/viewtopic.php?f=13&t=4142
clonidine for sleep issues cooling curve of stearic acid ff7 cloud's wolf jewelry
802 Frisco Ave
Northern Railways View topic - Scotrail announces £4 million ...
Joined: Fri Jan 04, 2008 11:24 pm. Posts: 10104 . Welcome to InterCity. . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
http://northernrailways.co.uk/forum/viewtopic.php?f=22&t=10056
usaopoly chicago edition monopoly hauntings at black swan inn texas britton movie theater in tampa
609 W Highway 277
The LNER Encyclopedia View topic - DMU pulling vans
Tail traffic was not permitted on Inter City diesel trains with buckeye couplings or 2 car "Gloucester" stock. Thanks for the explanation, I knew .
http://www.lner.info/forums/viewtopic.php?f=5&t=7799&start=15
sole makeup for mephisto adama shoes mankato state university minnesota communication disorders beverly hills avalon hotel
2828 S 9th St
Toon onderwerp - Minimaal 2 maanden geen intercity tussen Brabant ...
Minimaal 2 maanden geen intercity tussen Brabant en België . Meltrain: Berichten: 4983: Geregistreerd: wo 12 maart 2008, 20:29 . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group | phpBB.nl Vertaling .
http://www.ovinnederland.nl/viewtopic.php?f=36&t=8251&start=50
volkswagen gas station advert game genie rom torrent dental assistant gainesville florida
202 S 6th St
The TruckNet® UK Drivers RoundTable View topic - BRS DEPOTS
There was also that group of private hauliers who subbed off BRS . windrush: SENIOR MEMBER: Posts: 1049: Joined: Tue Dec 16, 2008 11:10 pm: Location: MATLOCK . staffed when compared to Inter City Transport or Suttons (St Helens ) . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group .
http://www.trucknetuk.com/phpBB/viewtopic.php?f=35&t=33478&start=270
changing cultural status2 of tattoo art sweet child o mine daycare
428 E Almar Dr
The Sweeney Forum View topic - The Age Of The Train ..BBC4 ...
Posts: 509: Joined: Sun Jan 27, 2008 5:35 pm . The Intercity 125 is a fantastically engineered train, and a quality build by the . And anybody who has ever waited for a train at Northallerton station and experienced the Intercity 125 thunder past at full speed will . Powered by phpBB © 2012 phpBB Group.
http://www.thetvlounge.co.uk/sweeney/viewtopic.php?f=33&t=7213
children cooking stock cubes tips the work of irsa pakistan usaopoly chicago edition monopoly
Atomic Systems View topic - Motorail Vans
. Sun Jan 06, 2008 12:53 pm: Location: Sunny Southend, Essex . FG DMU repaint project back in full swing - recommencing work on Swindon Inter City sets . . Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
http://ftp.uktrainsim.com/viewtopic.php?f=241&t=124616&p=1578015
Westbahn New train service between Vienna and Salzburg - Vienna ...
Whether WESTbahn succeeds in breaking ÖBB's dominant position for passenger intercity services, remains to be seen. . Insanity in individuals is something rare - but in groups, parties, nations and . Posts: 71: Joined: Tue Jan 29, 2008 2:52 am . Powered by phpBB® Forum Software © phpBB Group .
http://www.vienna-expats.net/community-forums/viewtopic.php/p,145010/
PowerSwitch :: View topic - Virgin loose West Coast rail franchise ...
Aug 16, 2012 . Will the west coast rail service get better under First group ? . Joined: 08 Mar 2008 . The intercity 125s (and the electric 225s on the east coast main line) are so much more . Powered by phpBB © 2001, 2005 phpBB Group.
http://www.powerswitch.org.uk/forum/viewtopic.php?t=21631&sid=051ba2f32b46b917d654a3fb1465f422
* Sponsored Results
| Select from the listings below | (stanfords home center plum pa) | |
|
rosario under the same moon 226 S 29th St The Sweeney Forum View topic - Jimmy Savile |
||
|
aussie awsome volumizing shampoo 1202 W Grand Ave New Railway Modellers Forums View topic - Bachmann 32-385 Class ... |
||
|
fbu business unit of client 116 E Georgia Ave Northern Railways View topic - More stations get CIS screens |
||
|
game genie rom torrent 301 S 2nd St Trichy Forum TRICHYPORTAL.COM View topic - Train & Railways News ... |
||
|
herpes vias de transmision 1910 S 20th St Atomic Systems View topic - At last a big New England route ... |
||
|
europeans affecting natives culture 728 W Michigan Ave BikeRadar.com View topic - Bikes on First Great Western Trains |
||
|
events maryland state fair grounds 3340 S 16th St BusTalk :: View topic - Fullington Trailways Acquired by a French ... |
||
|
wood router photo software 828 S 9th St Which backpacker bus company to go with?? | backpackerboard Forum |
||
|
risk evaluation in supply chain management 1300 S 29th St BikesZone - Cycling View topic - Transport bike in Train |
||
|
stanfords home center plum pa 102 E Almar Dr SENSITIZE © View forum - Louis P. Burns aka Lugh on Sensitize © |
||
|
universal fuel tank fuel line fitting 320 S 4th St Tycoonez.com:munity » Zobrazit téma - ZSSK InterCity Set [Released ... |
||
|
reviews on premium edge dog food 901 W Grand Ave SABRE View topic - Conversion to alpha-numeric route numbering |
||
|
craftsman style windows and doors 2414 State Highway 92 Lithuania-Forum.Com View topic - All about Kaunas transport ... |
||
|
cyfluthrin for black vine weevil 124 S 6th St PonyFans.com View topic - Hart/Jones in NYC Tonight |
||
|
harvey satz lexington ma 3320 S 16th St CTC Forum View topic - Bikes permitted on Greater Anglia Railway |
||
|
shadow of the tempers walk-through 802 Frisco Ave Stummis Modellbahnforum Thema anzeigen - Modellbau im M 1:160 ... |
||
|
cardio dr richard nelson orlando fl 609 W Highway 277 bettertransport.org.nz View topic - Southerner |
||
|
family city u s a 2828 S 9th St New Railway Modellers Forums View topic - DMU - Class 150. 156. 158 |
||
|
acceleration circular track a b relative 202 S 6th St Transport Tycoon Forums View topic - Specific Destinations for ... |
||
|
arron allen yuma arizona 428 E Almar Dr bettertransport.org.nz View topic - Have you used the Manukau ... |
||
| Select from the listings above | (used cars kurt russell) | |


{exp:excerpt limit="25" indicator="..."}{blog_text_body}{/exp:excerpt}
Continue ReadingDIGITAL MARKETING
Result-driven strategies and campaigns expand your business and enhance your bottom line.
DIGITAL MARKETINGDESIGN & DEVELOPMENT
Stunning design and intelligent usability captures your audience and drives business.
DESIGN & DEVELOPMENTMAINTENANCE & HOSTING
A dedicated client services team to manage updates, enhancements, and limit site downtime.
MAINTENANCE & HOSTINGRecent Works.
Our Blog
Ready to Get Started?
Instantly access out template building tool-set that are user friendly and easy to use. Building your own beautiful, cutting-edge, mobile-responsive website themes is now easier than ever to get started and a breeze to update and maintain yourself. Pick your favorite layout options and customize your website functions to best fit your business's unique needs.  Click button below to get started.
Contact Us
Want to say hello? Want to know more about us? Give us a call or drop us an email and we will get back to you as soon as we can.


ENJOY THE SOLITUDE & SOLACE OF
ARCTIC WILD
Search
RAFTING TRIPS
BASE CAMP TRIPS
BACKPACKING TRIPS
CANOE TRIPS
PHOTOGRAPHY TRIPS
CUSTOM TRIPS


---
layout: archive
title: Lean Prover Zulip Chat Archive
permalink: 113489newmembers/76959Canconvbeusedtousenestedhypotheses.html
---
The archive URL format has changed. Please find this page at:
https://leanprover-community.github.io/archive/stream/113489-new-members/topic/Can.20conv.20be.20used.20to.20use.20nested.20hypotheses.3F.html


Your picked username or email already existed in system, or you have one or more fields empty. Please try again.
Version 1.0 Alpha - Programmed By Guannan Lyu
Return To Landing


Listing ID
{{
_resourceListing?.resourceListType?.label ==
"Seller paid disposal"
? "Payment for Disposal"
: "Price"
}}
Listing Type
Approx. Resource Value
Commodity
Quantity
Frequency
Negotiable
Date Listed
Company Name
Company Phone
Location
Total Transactions
Make an Offer
[
]


In open elections, anyone can request a voter ID and participate. To receive a voter ID, please enter your email address in the field below and click 'Request link'. An email will be sent to you with your own personalized voter ID. With this ID, you may vote as many times as you wish on any of the issues in this election, however only the last vote you cast on any given issue will be your final vote.
Powered by Apache STeVe. Copyright 2016, the Apache Software Foundation. Licensed under the Apache License 2.0


 But the one thing you can’t say, the one thing that everybody skips over, is that these sites aren’t anything serious. And so when Michael Arrington told us that these stories of acquisition were his favorite part of the “entrepreneurial spirit”, I couldn’t help but think that somebody was missing the point."
Read more about Reddit.com:
http://www.aaronsw.com/weblog/theaftermath


As a student,I want to make Global website,So i am going to study hard
I'm Civil Engineer, I was work in this field for long time, this is technolgy time, So I'm studing coding now
Which country I want to visit? (Top Ten)
- Malaysia
- Maldives
- Netherlands
- Grmeny
- France
- USA
- Canada
- Morocco
- South Africa
- Turkey
my work experience and education summary
- Graduation from Ibn Al-Atheer School in 2015
- Graduation from Al-Balqa Applied University
- work as Site Engineer for 2 projects


Presenter Simon Elvery / elvery.net
designcollege.com.au
→ <IP_ADDRESS>

Unless someone like you cares a whole awful lot,
Nothing is going to get better. It's not.

Unless someone like you cares a whole awful lot,
Nothing is going to get better.
It's not.

pen
<!doctype html>

<title>Bare bones</title>

div
— A generic container elementh1
— Level 1 headinga
— A hyperlink (anchor)p
— Paragraphul
— Unordered listol
— Ordered listli
— List itemimg
— Image


%%header.html%%
I am a student at the University of Cincinnati studying computer engineering.
Company: Regal Beloit Corp. Term: Fall 2017 Co-op Role: Electrical Engineer • Worked on embedded real-time operating systems • Wrote Windows drivers and software to interface with low-level hardware devices • SMD Soldering • Worked on circuit design and optimizations • Invented technologies current under review for patent
Company: Vantiv Now Worldpay Term: Summer 2018 Co-op Role: Information Technology • Worked with SQL and C#.net on development of financial systems • Learned about Agile software development model • Participated in Agile software development


| Class and Description |
|---|
| BaseParquetMetadataProvider
Implementation of
ParquetMetadataProvider which contains base methods for obtaining metadata from
parquet statistics. |
| BaseParquetMetadataProvider.Builder |
| ParquetReaderConfig
Stores consolidated parquet reading configuration.
|
| Class and Description |
|---|
| ParquetReaderStats |
| Class and Description |
|---|
| AbstractParquetGroupScan |
| AbstractParquetGroupScan.RowGroupScanFilterer
This class is responsible for filtering different metadata levels including row group level.
|
| AbstractParquetRowGroupScan |
| AbstractParquetScanBatchCreator |
| AbstractParquetScanBatchCreator.AbstractDrillFileSystemManager
Helper class responsible for creating and managing DrillFileSystem.
|
| BaseParquetMetadataProvider
Implementation of
ParquetMetadataProvider which contains base methods for obtaining metadata from
parquet statistics. |
| BaseParquetMetadataProvider.Builder |
| ParquetReaderConfig
Stores consolidated parquet reading configuration.
|
| RowGroupReadEntry |
| Class and Description |
|---|
| AbstractParquetGroupScan |
| AbstractParquetGroupScan.RowGroupScanFilterer
This class is responsible for filtering different metadata levels including row group level.
|
| AbstractParquetRowGroupScan |
| AbstractParquetScanBatchCreator |
| AbstractParquetScanBatchCreator.AbstractDrillFileSystemManager
Helper class responsible for creating and managing DrillFileSystem.
|
| BaseParquetMetadataProvider
Implementation of
ParquetMetadataProvider which contains base methods for obtaining metadata from
parquet statistics. |
| BaseParquetMetadataProvider.Builder |
| FieldInfo |
| FilterEvaluatorUtils.FieldReferenceFinder
Search through a LogicalExpression, finding all internal schema path references and returning them in a set.
|
| ParquetFormatConfig |
| ParquetFormatPlugin |
| ParquetGroupScan |
| ParquetGroupScanStatistics
Holds common statistics about data in parquet group scan,
including information about total row count, columns counts, partition columns.
|
| ParquetReaderConfig
Stores consolidated parquet reading configuration.
|
| ParquetReaderConfig.Builder |
| ParquetReaderUtility.DateCorruptionStatus
For most recently created parquet files, we can determine if we have corrupted dates (see DRILL-4203)
based on the file metadata.
|
| ParquetRowGroupScan |
| ParquetSimpleTestFileGenerator.EnumType |
| ParquetTestProperties |
| ParquetWriter |
| RowGroupInfo |
| RowGroupReadEntry |
| Class and Description |
|---|
| ParquetReaderStats |
| ParquetReaderUtility.DateCorruptionStatus
For most recently created parquet files, we can determine if we have corrupted dates (see DRILL-4203)
based on the file metadata.
|
| Class and Description |
|---|
| ParquetReaderConfig
Stores consolidated parquet reading configuration.
|
| Class and Description |
|---|
| ParquetReaderUtility.DateCorruptionStatus
For most recently created parquet files, we can determine if we have corrupted dates (see DRILL-4203)
based on the file metadata.
|
| RowGroupReadEntry |
Copyright © 2021 The Apache Software Foundation. All rights reserved.


PositioNZ status report
The following table checks the integrity of NZGD2000. Two items are checked:
- How well the geodetic database coordinate matches results of daily processing
- How well the station coordinate prediction models used in PositioNZ-PP match the station coordinates
Last updated: .
Deformation model version: .
Comparison based on the days results.
Show
horizontal
vertical


{% include header.html %}
{{ page.title }}
{% include nav.html %}
{{ page.title }}
{{ content }}
If you liked it, share it!
Please enable JavaScript to view the
comments powered by Disqus.
{% include footer.html %}


Mapping Fields
Purpose: The Mapping Fields applet helps to visualize the structure of two dimensional vector fields using the “grass seeds” or “iron filings” representation [1]. By “two dimensional vector field” we mean a vector field that is given by
(1)
In the “grass seeds” representations, the direction of the field at any point is indicated by the orientation of the correlations in texture near that point.
Usage: To use the applet, enter the x and y components of your field (that is, g(x,y) and h(x,y)) in the boxes provided, and hit “Grass Seeds”. After a few seconds the screen will display the grass seeds representation of your function. A blue rectangular box shows you the region within which the field is represented. Initially, the center is at the center of coordinates (x = 0 and y = 0), and the scale is set to 8, meaning that the range is –8 < x < 8 (horizontal) and –8 < y < 8 (vertical). You can change the center of the evaluation region by either dragging around the blue rectangular box on the display screen, or entering proper center coordinates in the provided boxes. You can change the scale of the evaluation region by using either the provided slider, or its accompanying textbox. After a texture is displayed, you can zoom in and out using “alt-left click-drag”.
If you choose “Equipotential Lines” instead of “Grass Seeds”, the applet will display the vector field that is everywhere perpendicular to , i.e. it will display the field
(2)
If is an electrostatic vector field, this would define the equipotentials of that problem. To get you started in exploring various functions, we give some examples, which can be selected using the “Example” pull down box (left click and scroll to select).
Functions: Use “^” for power, “*” for multiplication, “/” for division, “+” and “–” for addition and subtraction. You are also provided with a set of elementary functions, such as square root (sqrt), trigonometric (sin, cos and tan), inverse trigonometric (asin, acos and atan), hyperbolic (sinh, cosh and tanh), exponential (exp) and logarithmic (natural: ln, and base 10: log).
Polar coordinates: If you enter “r”, the program will interpret that letter as “sqrt(x^2+y^2)”, so that entering e.g. the field of a dipole is easier. If you enter “t”, the program will interpret it as the counter-clockwise angle θ from the x-axis, equivalent to “atan(y/x)”, but will yield a value between –π and π, in contrast to using “atan” explicitly, which ranges between –π/2 and π/2 only.
Hints: In two dimensions the divergence of F(x,y) is given by
(3)
where the partial of g(x,y) with respect to x is just the ordinary derivative with respect to x holding y constant. If you want to make a function which has no sources ( ), choose g(x,y) and h(x,y) so that the quantity on the right hand side above is zero. An example of this would be g(x,y) = x and h(x,y) = – y. In two dimensions, the curl of F(x,y) is given by
(4)
If you want to make a function that has no sources but has a circulation, choose g(x,y) and h(x,y) so that the divergence is zero but the curl is not. For example, g(x,y) = – y and h(x,y) = x is a function with zero divergence and non-zero curl. To get a function which both has a source and a circulation, you must have both of the quantities defined above non-zero (for example, g(x,y) = – y + x and h(x,y) = y + x).
In electrostatics, all of our vector electric fields will have non-zero divergence and zero curl. In magnetostatics, all of our vector magnetic fields will have zero divergence and non-zero curl. When we let things vary with time, we will pick up electric fields with both non-zero divergence and non-zero curls, but as far as we know magnetic fields even in time varying situations always have zero divergence (there are no magnetic monopoles).
[1] B. Cabral and C. Leedom, “Imaging Vector Fields Using Line Integral Convolution” Proc. SIGGRAPH ’93, pp. 263-270, 1993.


Exercise
Click on
when you are ready to begin!.
Next finger (in spanish at this time):
Errors:
0
Exercise finished
Your speed:
CPM:
WPM:


|
MetroCollect
2.3.4
|
Generic class to store and manage metrics. More...
#include <MetricsArray.h>
Public Types | |
| using | ValueType = T |
| Type of stored metrics on the container. More... | |
| using | Iterator = typename std::vector< T >::iterator |
| Iterator type. More... | |
| using | ConstIterator = typename std::vector< T >::const_iterator |
| Const iterator type. More... | |
Public Member Functions | |
| MetricsArray () noexcept | |
| Construct a new Metrics Array object. More... | |
| MetricsArray (MetricsSource::SourceInterests sourceInterests) noexcept | |
| Construct a new Metrics Array object. More... | |
| MetricsArray (const MetricsArray &other) noexcept | |
| Copy constructor. More... | |
| MetricsArray & | operator= (const MetricsArray &other) noexcept |
| Assignment operator. More... | |
| MetricsSource::SourceInterests | sourceInterests () const noexcept |
| Returns the source interests. More... | |
| void | setSourcesInterests (MetricsSource::SourceInterests sourceInterests) noexcept |
| Set the source interests. More... | |
| const std::chrono::system_clock::time_point & | timestamp () const noexcept |
| Returns the timestamp of stored metrics. More... | |
| size_t | fieldCount () const noexcept |
| Returns the total number of available metrics. More... | |
| const std::vector< size_t > | indexesOfFieldName (const MetricsSource::FieldName &fieldName, bool setInterest=true) const noexcept |
| Finds indexes of a field from its name across sources. More... | |
| const MetricsSource::FieldInfo | fieldInfoAtIndex (size_t index) const noexcept |
| Get details about a specific metric field. More... | |
| const std::vector< MetricsSource::FieldInfo > | allFieldsInfo () const noexcept |
| Get details about all fields. More... | |
| size_t | size () const noexcept |
| Returns the size of the underlying array. More... | |
| T & | at (size_t index) |
| Access specified element. More... | |
| const T & | at (size_t index) const |
| Access specified element. More... | |
| T & | operator[] (size_t index) |
| Access specified element. More... | |
| const T & | operator[] (size_t index) const |
| Access specified element. More... | |
| std::pair< Iterator, Iterator > | metricsSliceForSource (size_t sourceIndex) |
| Returns the iterator pair associated with a source. More... | |
| Iterator | begin () noexcept |
| Returns an iterator to the first element of the container. More... | |
| const ConstIterator | begin () const noexcept |
| Returns an iterator to the first element of the container. More... | |
| Iterator | end () noexcept |
| Returns an iterator to the element following the last element of the container. More... | |
| const ConstIterator | end () const noexcept |
| Returns an iterator to the element following the last element of the container. More... | |
Protected Member Functions | |
| void | setSize () noexcept |
| Resize the underlying container to fit the total number of metrics. More... | |
| void | setIterators () noexcept |
| Update internal iterators pairs. More... | |
Protected Attributes | |
| MetricsSource::SourceInterests | sourceInterests_ |
| Boolean arrays to store source interests. More... | |
| std::chrono::system_clock::time_point | timestamp_ |
| Time at which metrics were collected. More... | |
| std::vector< T > | data_ |
| Underlying data storage. More... | |
| MetricsSource::MetricsSourceArray | sources_ |
| Array of sources to fetch data from. More... | |
| std::array< std::pair< Iterator, Iterator >, MetricsSource::MetricsSourceArray::count > | sourceIterators_ |
| Iterators pairs associating metrics to a source. More... | |
| friend | MetricsDiffArray |
| To allow internal access by subclass. More... | |
Generic class to store and manage metrics.
| T | Type of stored metrics on the container |
Definition at line 40 of file MetricsArray.h.
| using MetroCollect::MetricsArray< T >::ConstIterator = typename std::vector<T>::const_iterator |
Const iterator type.
Definition at line 44 of file MetricsArray.h.
| using MetroCollect::MetricsArray< T >::Iterator = typename std::vector<T>::iterator |
Iterator type.
Definition at line 43 of file MetricsArray.h.
| using MetroCollect::MetricsArray< T >::ValueType = T |
Type of stored metrics on the container.
Definition at line 42 of file MetricsArray.h.
|
noexcept |
Construct a new Metrics Array object.
Definition at line 31 of file MetricsArray.cc.
|
explicitnoexcept |
Construct a new Metrics Array object.
| sourceInterests | boolean arrays to store source interests |
Definition at line 36 of file MetricsArray.cc.
|
noexcept |
Copy constructor.
| other | Metrics Array to copy from |
Definition at line 42 of file MetricsArray.cc.
|
noexcept |
Get details about all fields.
Definition at line 122 of file MetricsArray.cc.
| T & MetroCollect::MetricsArray< T >::at | ( | size_t | index | ) |
Access specified element.
| index | position of the element to return |
Definition at line 140 of file MetricsArray.cc.
| const T & MetroCollect::MetricsArray< T >::at | ( | size_t | index | ) | const |
Access specified element.
| index | position of the element to return |
Definition at line 145 of file MetricsArray.cc.
|
noexcept |
Returns an iterator to the first element of the container.
Definition at line 157 of file MetricsArray.cc.
|
noexcept |
Returns an iterator to the first element of the container.
Definition at line 162 of file MetricsArray.cc.
|
noexcept |
Returns an iterator to the element following the last element of the container.
Definition at line 167 of file MetricsArray.cc.
|
noexcept |
Returns an iterator to the element following the last element of the container.
Definition at line 172 of file MetricsArray.cc.
|
noexcept |
Returns the total number of available metrics.
It is the same as the size of the underlying array
Definition at line 74 of file MetricsArray.cc.
|
noexcept |
Get details about a specific metric field.
| index | Index of field to get details of |
Definition at line 103 of file MetricsArray.cc.
|
noexcept |
Finds indexes of a field from its name across sources.
| fieldName | name of the field to search |
| setInterest | whether to activate the corresponding source interests |
Definition at line 85 of file MetricsArray.cc.
| std::pair< typename MetricsArray< T >::Iterator, typename MetricsArray< T >::Iterator > MetroCollect::MetricsArray< T >::metricsSliceForSource | ( | size_t | sourceIndex | ) |
Returns the iterator pair associated with a source.
| sourceIndex | index of the source to get metric iterators |
Definition at line 151 of file MetricsArray.cc.
|
noexcept |
Assignment operator.
| other | Metrics Array to copy from |
Definition at line 47 of file MetricsArray.cc.
|
inline |
Access specified element.
| index | position of the element to return |
Definition at line 177 of file MetricsArray.h.
|
inline |
Access specified element.
| index | position of the element to return |
Definition at line 185 of file MetricsArray.h.
|
protectednoexcept |
Update internal iterators pairs.
Definition at line 185 of file MetricsArray.cc.
|
protectednoexcept |
Resize the underlying container to fit the total number of metrics.
Definition at line 178 of file MetricsArray.cc.
|
noexcept |
Set the source interests.
| sourceInterests | new source interests to copy |
Definition at line 62 of file MetricsArray.cc.
|
noexcept |
Returns the size of the underlying array.
It returns the same value as fieldCount().
Definition at line 135 of file MetricsArray.cc.
|
noexcept |
Returns the source interests.
Definition at line 57 of file MetricsArray.cc.
|
noexcept |
Returns the timestamp of stored metrics.
Definition at line 68 of file MetricsArray.cc.
|
protected |
Underlying data storage.
Definition at line 50 of file MetricsArray.h.
|
protected |
To allow internal access by subclass.
Definition at line 54 of file MetricsArray.h.
|
protected |
Boolean arrays to store source interests.
Definition at line 47 of file MetricsArray.h.
|
protected |
Iterators pairs associating metrics to a source.
Definition at line 52 of file MetricsArray.h.
|
protected |
Array of sources to fetch data from.
Definition at line 51 of file MetricsArray.h.
|
protected |
Time at which metrics were collected.
Definition at line 48 of file MetricsArray.h.