Tutorial by Examples: ti

Postconditions ensure that the returned results from a method will match the provided definition. This provides the caller with a definition of the expected result. Postconditions may allowed for simplied implmentations as some possible outcomes can be provided by the static analyizer. Example......

Let there be Activity B that can be opened, and can further start more Activities. But, user should not encounter it when navigating back in task activities. The simplest solution is to set the attribute noHistory to true for that <activity> tag in AndroidManifest.xml: <activity a...

Imagine you have the following HTML: <div> <label>Name:</label> John Smith </div> And you need to locate the text "John Smith" after the label element. In this case, you can locate the label element by text and then use .next_sibling property: from ...

BeautifulSoup has a limited support for CSS selectors, but covers most commonly used ones. Use select() method to find multiple elements and select_one() to find a single element. Basic example: from bs4 import BeautifulSoup data = """ <ul> <li class="item&quo...

Leading Zeros let number: Int = 7 let str1 = String(format: "%03d", number) // 007 let str2 = String(format: "%05d", number) // 00007 Numbers after Decimal let number: Float = 3.14159 let str1 = String(format: "%.2f", number) // 3.14 let str2 = String(format: &...

Download a distributed archive from Binaries section of JMeter from Download Apache JMeter page. Depending on the version you downloaded, check minimal Java version requirements and install Java if needed. Ensure the JAVA_HOME environment variable is set and points to a correct version. ...

Installing Wildfly is just a matter of unzipping the distribution into your local machine. Wildfly can be dowloaded from its official website. Once it is unzipped go in to bin directory of installation and run standalone.sh for Linux systems or standalone.bat for Windows systems to start your WildF...

demoApp.directive('demoDirective', function () { var directiveDefinitionObject = { multiElement: priority: terminal: scope: {}, bindToController: {}, controller: controllerAs: require: restrict: templateNamespace: template: templateU...

Validating array form input fields is very simple. Suppose you have to validate each name, email and father name in a given array. You could do the following: $validator = \Validator::make($request->all(), [ 'name.*' => 'required', 'email.*' => 'email|unique:users'...

Sometimes it is appropriate to use an immutable empty collection. The Collections class provides methods to get such collections in an efficient way: List<String> anEmptyList = Collections.emptyList(); Map<Integer, Date> anEmptyMap = Collections.emptyMap(); Set<Number> anEmptySe...

In Julia, the @show macro is often useful for debugging purposes. It displays both the expression to be evaluated and its result, finally returning the value of the result: julia> @show 1 + 1 1 + 1 = 2 2 It is straightforward to create our own version of @show: julia> macro myshow(exp...

A pure function is a function that, given the same input, will always return the same output and are side-effect free. // This is a pure function function add($a, $b) { return $a + $b; } Some side-effects are changing the filesystem, interacting with databases, printing to the screen. //...

Partial credit to this SO answer. List Concatenation aggregates a column or expression by combining the values into a single string for each group. A string to delimit each value (either blank or a comma when omitted) and the order of the values in the result can be specified. While it is not part ...

we can use filters to sanitize our variable according to our need. Example $string = "<p>Example</p>"; $newstring = filter_var($string, FILTER_SANITIZE_STRING); var_dump($newstring); // string(7) "Example" above will remove the html tags from $string variable. ...

There are a number of different ways to install the AWS CLI on your machine, depending on what operating system and environment you are using: On Microsoft Windows – use the MSI installer. On Linux, OS X, or Unix – use pip (a package manager for Python software) or install manually with the bundle...

Named functions function multiply(a, b) { return a * b; } Anonymous functions let multiply = function(a, b) { return a * b; }; Lambda / arrow functions let multiply = (a, b) => { return a * b; };

With C++11 and higher calculations at compile time can be much easier. For example calculating the power of a given number at compile time will be following: template <typename T> constexpr T calculatePower(T value, unsigned power) { return power == 0 ? 1 : value * calculatePower(value,...

Here is how to make a Heads Up Notification for capable devices, and use a Ticker for older devices. // Tapping the Notification will open up MainActivity Intent i = new Intent(this, MainActivity.class); // an action to use later // defined as an app constant: // public static final String ME...

Using Razor @functions keyword gives the capability of introducing classes and methods for inline use within a Razor file: @functions { string GetCssClass(Status status) { switch (status) { case Status.Success: return "alert-success&qu...

App::uses('YourModel', 'Model'); $model_1 = new YourModel(array('ds' => 'default')); $model_2 = new YourModel(array('ds' => 'database2'));