text:
class CreateTasks < ActiveRecord::Migration
  def change
    create_table :tasks do |t|
      t.references :project
      t.string :name
      t.text :content

      t.timestamps
    end
    add_index :tasks, :project_id
  end
end


text:
"""Config flow for NEW_NAME integration."""
from __future__ import annotations

import logging
from typing import Any

import voluptuous as vol

from homeassistant import config_entries
from homeassistant.core import HomeAssistant
from homeassistant.exceptions import HomeAssistantError

from .const import DOMAIN

_LOGGER = logging.getLogger(__name__)

# TODO adjust the data schema to the data that you need
STEP_USER_DATA_SCHEMA = vol.Schema({"host": str, "username": str, "password": str})

class PlaceholderHub:
    """Placeholder class to make tests pass.

    TODO Remove this placeholder class and replace with things from your PyPI package.
    """

    def __init__(self, host: str) -> None:
        """Initialize."""
        self.host = host

    async def authenticate(self, username: str, password: str) -> bool:
        """Test if we can authenticate with the host."""
        return True

async def validate_input(hass: HomeAssistant, data: dict[str, Any]) -> dict[str, Any]:
    """Validate the user input allows us to connect.

    Data has the keys from STEP_USER_DATA_SCHEMA with values provided by the user.
    """
    # TODO validate the data can be used to set up a connection.

    # If your PyPI package is not built with async, pass your methods
    # to the executor:
    # await hass.async_add_executor_job(
    #     your_validate_func, data["username"], data["password"]
    # )

    hub = PlaceholderHub(data["host"])

    if not await hub.authenticate(data["username"], data["password"]):
        raise InvalidAuth

    # If you cannot connect:
    # throw CannotConnect
    # If the authentication is wrong:
    # InvalidAuth

    # Return info that you want to store in the config entry.
    return {"title": "Name of the device"}

class ConfigFlow(config_entries.ConfigFlow, domain=DOMAIN):
    """Handle a config flow for NEW_NAME."""

    VERSION = 1
    # TODO pick one of the available connection classes in homeassistant/config_entries.py
    CONNECTION_CLASS = config_entries.CONN_CLASS_UNKNOWN

    async def async_step_user(
        self, user_input: dict[str, Any] | None = None
    ) -> dict[str, Any]:
        """Handle the initial step."""
        if user_input is None:
            return self.async_show_form(
                step_id="user", data_schema=STEP_USER_DATA_SCHEMA
            )

        errors = {}

        try:
            info = await validate_input(self.hass, user_input)
        except CannotConnect:
            errors["base"] = "cannot_connect"
        except InvalidAuth:
            errors["base"] = "invalid_auth"
        except Exception:  # pylint: disable=broad-except
            _LOGGER.exception("Unexpected exception")
            errors["base"] = "unknown"
        else:
            return self.async_create_entry(title=info["title"], data=user_input)

        return self.async_show_form(
            step_id="user", data_schema=STEP_USER_DATA_SCHEMA, errors=errors
        )

class CannotConnect(HomeAssistantError):
    """Error to indicate we cannot connect."""

class InvalidAuth(HomeAssistantError):
    """Error to indicate there is invalid auth."""

redpajama_set_name: RedPajamaGithub


text:
package school.androidgame.animations;

public interface ITransition<T> {
    public void transform(T src);
}


text:
layout: default
---

        Who am I ?

        Well I am guy that like of development, no matter the plataform (web, desktop, embedded,
            mobile) whatever.

        I am not nerd, but curious for logical problem and try solve them.

        What I do ?

            Architecture to web application

            Development to web

        Some thoughts that I think!

        When we build software, patterns emerge. We hate re-inventing the wheel, so when we can't find an existing library or utility to solve common problems, we extract a solution ourselves and release it as an open source software project.

        How I do ?

Continuum Integration

DevOps

Sass

Agile

Pass

        I am learning now!

Machine Learning

Elixir

KrLsdu - Web, Desktop, Embedded, App Developer


text:
<?= "<?php\n" ?>

namespace App\Containers\{{ $crud->containerName() }}\Tasks{{ $crud->solveGroupClasses() }};

use App\Containers\{{ $crud->containerName() }}\Data\Repositories\{{ $repoClass = $crud->entityName().'Repository' }};
use App\Containers\{{ $crud->containerName() }}\Exceptions\{{ $crud->entityName() }}CreationFailedException;
use App\Ship\Parents\Tasks\Task;

/**
 * {{ $crud->taskClass('Create') }} Class.
 *
 * @author [name] <[<email address>]>
 */
class {{ $crud->taskClass('Create') }} extends Task
{
	public function run(array $input) {
		try {
            ${{ $camelEntity = camel_case($crud->entityName()) }} = app({{ $repoClass }}::class)->create($input);
        } catch (Exception $e) {
            throw (new {{ $crud->entityName() }}CreationFailedException())->debug($e);
        }

        return ${{ $camelEntity }};
	}
}


text:
module Calendars
  module Exports
    # Exports all events in community
    class CommunityEventsExport < EventsExport
      protected

      def scope
        base_scope.where(calendar_nodes: {community_id: user.community_id})
      end
    end
  end
end


text:
package com.jufan.cloud.sso.domain;

import lombok.Data;
import lombok.EqualsAndHashCode;

import javax.persistence.Entity;
import javax.persistence.GeneratedValue;
import javax.persistence.Id;

@Entity
@Data
@EqualsAndHashCode(callSuper = false)
public  class SysAuthority extends AbstractAuditingEntity{
    @Id
    @GeneratedValue
    private Long id;
    private String name;
    private String value;
}


text:
"""Tests for Brother Printer integration."""
import json
from unittest.mock import patch

from homeassistant.components.brother.const import DOMAIN
from homeassistant.const import CONF_HOST, CONF_TYPE

from tests.common import MockConfigEntry, load_fixture

async def init_integration(hass, skip_setup=False) -> MockConfigEntry:
    """Set up the Brother integration in Home Assistant."""
    entry = MockConfigEntry(
        domain=DOMAIN,
        title="HL-L2340DW 0123456789",
        unique_id="0123456789",
        data={CONF_HOST: "localhost", CONF_TYPE: "laser"},
    )

    entry.add_to_hass(hass)

    if not skip_setup:
        with patch(
            "brother.Brother._get_data",
            return_value=json.loads(load_fixture("printer_data.json", "brother")),
        ):
            await hass.config_entries.async_setup(entry.entry_id)
            await hass.async_block_till_done()

    return entry


text:
"""Manipulate colors"""

try:
    from colordict import THECOLORS
except ImportError:
    #the colordict module isn't available
    THECOLORS = {}

def Color(colorname):
    """pygame.color.Color(colorname) -> RGBA
       Get RGB values from common color names

       The color name can be the name of a common english color,
       or a "web" style color in the form of 0xFF00FF. The english
       color names are defined by the standard 'rgb' colors for X11.
       With the hex color formatting you may optionally include an
       alpha value, the formatting is 0xRRGGBBAA. You may also specify
       a hex formatted color by starting the string with a '#'.
       The color name used is case insensitive and whitespace is ignored.
    """

    if colorname[:2] == '0x' or colorname[0] == '#': #webstyle
        if colorname[0] == '#':
            colorname = colorname[1:]
        else:
            colorname = colorname[2:]
        a = 255
        try:
            r = int('0x' + colorname[0:2], 16)
            g = int('0x' + colorname[2:4], 16)
            b = int('0x' + colorname[4:6], 16)
            if len(colorname) > 6:
                a = int('0x' + colorname[6:8], 16)
        except ValueError:
            raise ValueError("Illegal hex color")
        return r, g, b, a

    else: #color name
        #no spaces and lowercase
        name = colorname.replace(' ', '').lower()
        try:
            return THECOLORS[name]
        except KeyError:
            raise ValueError("Illegal color name, " + name)

def _splitcolor(color, defaultalpha=255):
    try:
        second = int(color)
        r = g = b = color
        a = defaultalpha
    except TypeError:
        if len(color) == 4:
            r, g, b, a = color
        elif len(color) == 3:
            r, g, b = color
            a = defaultalpha
    return r, g, b, a

def add(color1, color2):
    """pygame.color.add(color1, color2) -> RGBA
       add two colors

       Add the RGB values of two colors together. If one of the
       colors is only a single numeric value, it is applied to the
       RGB components of the first color. Color values will be clamped
       to the maximum color value of 255.
    """
    r1, g1, b1, a1 = _splitcolor(color1)
    r2, g2, b2, a2 = _splitcolor(color2)
    m, i = min, int
    return m(i(r1+r2), 255), m(i(g1+g2), 255), m(i(b1+b2), 255), m(i(a1+a2), 255)

def subtract(color1, color2):
    """pygame.color.subtract(color1, color2) -> RGBA
       subtract two colors

       Subtract the RGB values of two colors together. If one of the
       colors is only a single numeric value, it is applied to the
       RGB components of the first color. Color values will be clamped
       to the minimum color value of 0.
    """
    r1, g1, b1, a1 = _splitcolor(color1)
    r2, g2, b2, a2 = _splitcolor(color2, 0)
    m, i = max, int
    return m(i(r1-r2), 0), m(i(g1-g2), 0), m(i(b1-b2), 0), m(i(a1-a2), 0)

def multiply(color1, color2):
    """pygame.color.multiply(color1, color2) -> RGBA
       multiply two colors

       Multiply the RGB values of two colors together. If one of the
       colors is only a single numeric value, it is applied to the
       RGB components of the first color.
    """
    r1, g1, b1, a1 = _splitcolor(color1)
    r2, g2, b2, a2 = _splitcolor(color2)
    m, i = min, int
    return m(i(r1*r2)/255, 255), m(i(g1*g2)/255, 255), m(i(b1*b2)/255, 255), m(i(a1*a2)/255, 255)


text:
package org.apache.tinkerpop.gremlin.structure.io.gryo.kryoshim;

import org.apache.tinkerpop.shaded.kryo.io.Input;

/**
 * A minimal {@link Input}-like abstraction.  See that class for method documentation.
 */
public interface InputShim {

    public byte readByte();

    public byte[] readBytes(final int size);

    public String readString();

    public short readShort();

    public long readLong();

    public int readInt();

    public boolean readBoolean();

    public double readDouble();
}


text:
try:
	import usocket as socket
except:
	import socket

from machine import Pin
import time
import gc

CONTENT = b"""HTTP/1.0 200 OK
Content-Type: text/html

<html>
<head>
<title>{0}</title>
</head>
<body>
{1}
</body>
</html>
"""

class WebFiesta:
	def __init__(self,content=None,port=8080,host="0.0.0.0",blocking=True):
		self.PORT = port # the default port is 23, but you can change it if you like.
		self.HOST = host
		self.blocking = blocking
		self.__bind()

		if not content:
			self.content = CONTENT
		else:
			self.content = content

		#these are just some default functions.
		self.functions = {}
		self.registerFunction("time",getTime) #gets uptime.
		self.registerFunction("reboot",reboot) #reboots the device.
		self.registerFunction("exit",exit) #closes the connection.

	def __bind(self):
		'''
		Private function for binding and rebinding the socket as clients come and go.
		'''
		self.sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
		self.closed = True
		try:
			self.sock.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
			self.sock.bind((self.HOST, self.PORT))
			self.sock.listen(10)
		except Exception as msg:
			print("Web Binding error: ",msg)
		print('Web Socket bind complete')

	def run(self):
		'''
		ME! CALL ME! This is the main function call for the AF Web Server. When this
		function is called it will do one of many things.

		'''
		if not self.blocking:
			self.sock.settimeout(5)
		else:
			self.sock.settimeout(None)

		try:
			#wait to accept a connection
			self.conn, self.addr = self.sock.accept()
			print('Web Connected with ' + self.addr[0] + ':' + str(self.addr[1]))
		except OSError as e:
			print("Web OS Error in connecting: ",e)
			return

		recv = self.conn.recv(1024).decode("utf-8").split("\r\n")[0].split(" ")

		func,data = recv[1][1:],recv
		print("What I got: ",func,data)
		if func in self.functions.keys():
			reply = self.functions[func](data,self)
		else:
			reply = "Command not find.\n"
		reply = self.content.format("Success",reply)
		print(reply)
		self.conn.send(reply)

		del reply
		del recv
		gc.collect()

	def registerFunction(self,name,func):
		'''
		Register a new function with the telnet server. the prototype for the function is:

			def functionName(stringFromClinet,telServer=None):
				return "response\n"

		Meaning, your function must accept one positional argument which will be the string
		sent in from the telnet client. And then a second argument, which will be the telnet
		server itself. For example:

			def getTime(val,telServer=None):
				return str(time.time()) + "\n"

		name -- the word that will invoke the call.
		func -- the function to call, as described above.
		'''
		self.functions[name] = func

def getTime(val,telServer=None):
	return str(time.time()) + "\n"

def reboot(val,telServer=None):
	if telServer:
		telServer.conn.sendall(telServer.content.format("Rebooting","Rebooting...\n\000"))
		telServer.conn.close()

	import machine
	machine.reset()

def exit(val,telServer=None):
	if telServer:
		telServer.closed=True
	return "Closing\n\000"

"""
Example Request:
GET /toggle HTTP/1.1
Host: 192.168.0.16:8080
Connection: keep-alive
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/51.0.2704.63 Safari/537.36
Accept: text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,*/*;q=0.8
Accept-Encoding: gzip, deflate, sdch
Accept-Language: en-GB,en-US;q=0.8,en;q=0.6
"""


text:
.class Lcom/android/server/enterprise/email/ExchangeAccountPolicy$2;
.super Landroid/content/BroadcastReceiver;
.source "ExchangeAccountPolicy.java"

# annotations
.annotation system Ldalvik/annotation/EnclosingMethod;
    value = Lcom/android/server/enterprise/email/ExchangeAccountPolicy;->getDeviceId(Lcom/samsung/android/knox/ContextInfo;)Ljava/lang/String;
.end annotation

.annotation system Ldalvik/annotation/InnerClass;
    accessFlags = 0x0
    name = null
.end annotation

# instance fields
.field final synthetic this$0:Lcom/android/server/enterprise/email/ExchangeAccountPolicy;

.field final synthetic val$sync:Ljava/lang/Object;

# direct methods
.method constructor <init>(Lcom/android/server/enterprise/email/ExchangeAccountPolicy;Ljava/lang/Object;)V
    .locals 0

    iput-object p1, p0, Lcom/android/server/enterprise/email/ExchangeAccountPolicy$2;->this$0:Lcom/android/server/enterprise/email/ExchangeAccountPolicy;

    iput-object p2, p0, Lcom/android/server/enterprise/email/ExchangeAccountPolicy$2;->val$sync:Ljava/lang/Object;

    invoke-direct {p0}, Landroid/content/BroadcastReceiver;-><init>()V

    return-void
.end method

# virtual methods
.method public onReceive(Landroid/content/Context;Landroid/content/Intent;)V
    .locals 5

    const-string/jumbo v2, "userid"

    const/4 v3, -0x1

    invoke-virtual {p2, v2, v3}, Landroid/content/Intent;->getIntExtra(Ljava/lang/String;I)I

    move-result v1

    const-string/jumbo v2, "com.samsung.android.knox.intent.extra.USER_ID_INTERNAL"

    invoke-virtual {p2, v2, v1}, Landroid/content/Intent;->getIntExtra(Ljava/lang/String;I)I

    move-result v1

    const-string/jumbo v2, "deviceid"

    invoke-virtual {p2, v2}, Landroid/content/Intent;->getStringExtra(Ljava/lang/String;)Ljava/lang/String;

    move-result-object v0

    if-nez v0, :cond_0

    const-string/jumbo v2, "com.samsung.android.knox.intent.extra.DEVICE_ID_INTERNAL"

    invoke-virtual {p2, v2}, Landroid/content/Intent;->getStringExtra(Ljava/lang/String;)Ljava/lang/String;

    move-result-object v0

    :cond_0
    const-string/jumbo v2, "ExchangeAccountPolicy"

    new-instance v3, Ljava/lang/StringBuilder;

    invoke-direct {v3}, Ljava/lang/StringBuilder;-><init>()V

    const-string/jumbo v4, "getDeviceId() : receive userId = "

    invoke-virtual {v3, v4}, Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;

    move-result-object v3

    invoke-virtual {v3, v1}, Ljava/lang/StringBuilder;->append(I)Ljava/lang/StringBuilder;

    move-result-object v3

    const-string/jumbo v4, " , deviceid = "

    invoke-virtual {v3, v4}, Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;

    move-result-object v3

    invoke-virtual {v3, v0}, Ljava/lang/StringBuilder;->append(Ljava/lang/String;)Ljava/lang/StringBuilder;

    move-result-object v3

    invoke-virtual {v3}, Ljava/lang/StringBuilder;->toString()Ljava/lang/String;

    move-result-object v3

    invoke-static {v2, v3}, Landroid/util/Slog;->d(Ljava/lang/String;Ljava/lang/String;)I

    invoke-static {}, Lcom/android/server/enterprise/email/ExchangeAccountPolicy;->-get1()Ljava/util/HashMap;

    move-result-object v2

    invoke-static {v1}, Ljava/lang/Integer;->valueOf(I)Ljava/lang/Integer;

    move-result-object v3

    invoke-virtual {v2, v3, v0}, Ljava/util/HashMap;->put(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;

    iget-object v3, p0, Lcom/android/server/enterprise/email/ExchangeAccountPolicy$2;->val$sync:Ljava/lang/Object;

    monitor-enter v3

    :try_start_0
    iget-object v2, p0, Lcom/android/server/enterprise/email/ExchangeAccountPolicy$2;->val$sync:Ljava/lang/Object;

    invoke-virtual {v2}, Ljava/lang/Object;->notifyAll()V
    :try_end_0
    .catchall {:try_start_0 .. :try_end_0} :catchall_0

    monitor-exit v3

    return-void

    :catchall_0
    move-exception v2

    monitor-exit v3

    throw v2
.end method


text:
#ifndef _COLORS_H
#define _COLORS_H

//
// Screen Color Settings
//
#define PICKLIST_HIGHLIGHT_TEXT       EFI_WHITE
#define PICKLIST_HIGHLIGHT_BACKGROUND EFI_BACKGROUND_CYAN
#define TITLE_TEXT                    EFI_WHITE
#define TITLE_BACKGROUND              EFI_BACKGROUND_BLUE
#define KEYHELP_TEXT                  EFI_LIGHTGRAY
#define KEYHELP_BACKGROUND            EFI_BACKGROUND_BLACK
#define SUBTITLE_TEXT                 EFI_BLUE
#define SUBTITLE_BACKGROUND           EFI_BACKGROUND_LIGHTGRAY
#define BANNER_TEXT                   EFI_BLUE
#define BANNER_BACKGROUND             EFI_BACKGROUND_LIGHTGRAY
#define FIELD_TEXT                    EFI_BLACK
#define FIELD_TEXT_GRAYED             EFI_DARKGRAY
#define FIELD_BACKGROUND              EFI_BACKGROUND_LIGHTGRAY
#define FIELD_TEXT_HIGHLIGHT          EFI_LIGHTGRAY
#define FIELD_BACKGROUND_HIGHLIGHT    EFI_BACKGROUND_BLACK
#define POPUP_TEXT                    EFI_LIGHTGRAY
#define POPUP_BACKGROUND              EFI_BACKGROUND_BLUE
#define POPUP_INVERSE_TEXT            EFI_LIGHTGRAY
#define POPUP_INVERSE_BACKGROUND      EFI_BACKGROUND_BLACK
#define HELP_TEXT                     EFI_BLUE
#define ERROR_TEXT                    EFI_RED | EFI_BRIGHT
#define INFO_TEXT                     EFI_YELLOW | EFI_BRIGHT
#define ARROW_TEXT                    EFI_RED | EFI_BRIGHT
#define ARROW_BACKGROUND              EFI_BACKGROUND_LIGHTGRAY

#endif


text:
package utils

import java.io.{ByteArrayOutputStream, PrintStream}

object Extensions {
  implicit class EnrichException(ex: Throwable) {
    def stackTraceToString: String = {
      val output = new ByteArrayOutputStream()
      val stream = new PrintStream(output)
      ex.printStackTrace(stream)
      output.toString("UTF-8").trim
    }
  }
}


text:
import os

import numpy
from setuptools import Extension

ROOT = os.path.relpath(os.path.dirname(__file__))

def get_extensions():
    sources = ["_np_utils.pyx", "_column_mixins.pyx"]
    include_dirs = [numpy.get_include()]

    exts = [
        Extension(
            name="astropy.table." + os.path.splitext(source)[0],
            sources=[os.path.join(ROOT, source)],
            include_dirs=include_dirs,
        )
        for source in sources
    ]

    return exts


text:
/*global require, define, test, expect, strictEqual, location */
"use strict";

var shim = {};

// Defer Qunit so RequireJS can work its magic
// and resolve all modules.
QUnit.config.autostart = false;

// Configure RequireJS so it resolves relative module paths
require.config({
    baseUrl: '../',
    shim: shim,
    paths: {
        "realtimekinematics": "realtimekinematics"
    }
});
//Override if in "dist" mode
if (location.href.indexOf('-dist') !== -1) {
    //Set location of mocap to the dist location
    require.config({
        paths: {
            'realtimekinematics': 'dist/realtimekinematics'
        }
    });
}

// A list of all QUnit test Modules.  Make sure you include the `.js`
// extension so RequireJS resolves them as relative paths rather than using
// the `baseUrl` value supplied above.
var testModules = [
    "kinematics/PastAndPresentTests.js",
    "kinematics/RollingAverageTests.js",
    "kinematics/RoundingTests.js",
    "kinematics/RunningArrayStatTests.js",
    "kinematics/RunningLineStraightnessStatTests.js",
    "kinematics/RunningSpeedStatTests.js",
    "kinematics/RunningStatTests.js"
];

// Resolve all testModules and then start the Test Runner.
require(testModules, QUnit.start);


text:
package org.apache.shiro.authc;

import org.apache.shiro.ExceptionTest;

/**
 * Created by IntelliJ IDEA.
 * User: lhazlewood
 * Date: Mar 29, 2008
 * Time: 1:33:05 PM
 * To change this template use File | Settings | File Templates.
 */
public class ExpiredCredentialsExceptionTest extends ExceptionTest {

    protected Class getExceptionClass() {
        return ExpiredCredentialsException.class;
    }
}


text:
"""
Use nose
`$ pip install nose`
`$ nosetests`
"""

from hyde.generator import Generator
from hyde.site import Site
from hyde.model import Config

from fswrap import File

TEST_SITE = File(__file__).parent.parent.child_folder('_test')

class TestFlattner(object):

    def setUp(self):
        TEST_SITE.make()
        TEST_SITE.parent.child_folder(
                    'sites/test_jinja').copy_contents_to(TEST_SITE)

    def tearDown(self):
        TEST_SITE.delete()

    def test_can_flatten(self):
        s = Site(TEST_SITE)
        cfg = """
        plugins:
            - hyde.ext.plugins.structure.FlattenerPlugin
        flattener:
            items:
                -
                    source: blog
                    target: ''
        """
        import yaml
        s.config = Config(TEST_SITE, config_dict=yaml.load(cfg))
        s.load()
        gen = Generator(s)
        gen.generate_all()

        assert not s.config.deploy_root_path.child_folder('blog').exists
        assert File(s.config.deploy_root_path.child('merry-christmas.html')).exists

    def test_flattener_fixes_nodes(self):
        s = Site(TEST_SITE)
        cfg = """
        plugins:
            - hyde.ext.plugins.structure.FlattenerPlugin
        flattener:
            items:
                -
                    source: blog
                    target: ''
        """
        import yaml
        s.config = Config(TEST_SITE, config_dict=yaml.load(cfg))
        s.load()
        gen = Generator(s)
        gen.generate_all()
        blog_node = s.content.node_from_relative_path('blog')

        assert blog_node
        assert blog_node.url == '/'


text:
String Trim
=============

This was plucked from the [Luvit Snippets Wiki](https://github.com/luvit/luvit/wiki/Snippets).

### Install

```sh
$ lit install james2doyle/string-trim
```

### Usage

```lua
local trim = require('string-trim')

print(trim("   a string ")) -- prints 'a string'
```


text:
/*eslint-env jquery, browser*/
/*globals aboutstyle */
var current = 1; //keeps track of the current div
var height = $('.roles').height(); //the height of the roles div
var numberDivs = $('.roles').children().length; //the number of children of the roles div
var first = $('.roles div:nth-child(1)'); //the first div nested in roles div
setInterval(function() {
    var number = current * -height;
    aboutstyle.css('margin-top', number + 'px');
    if (current === numberDivs) {
        first.css('margin-top', '0px');
        current = 1;
    } else current++;
}, 2000);


text:
package io.buoyant.router

import com.twitter.conversions.time._
import com.twitter.finagle.service.Retries
import com.twitter.finagle.stack.nilStack
import com.twitter.finagle.http.{Request, Response, Status, Version}
import com.twitter.finagle.stats.{NullStatsReceiver, InMemoryStatsReceiver}
import com.twitter.finagle.tracing.{Annotation, BufferingTracer, NullTracer}
import com.twitter.finagle.{Http => FinagleHttp, Status => _, http => _, _}
import com.twitter.util._
import io.buoyant.test.Awaits
import java.net.InetSocketAddress
import org.scalatest.FunSuite

class HttpEndToEndTest extends FunSuite with Awaits {

  case class Downstream(name: String, server: ListeningServer) {
    val address = server.boundAddress.asInstanceOf[InetSocketAddress]
    val port = address.getPort
    val dentry = Dentry(
      Path.read(s"/svc/$name"),
      NameTree.read(s"/$$/inet/127.1/$port")
    )
  }

  object Downstream {
    def factory(name: String)(f: ClientConnection => Service[Request, Response]): Downstream = {
      val factory = new ServiceFactory[Request, Response] {
        def apply(conn: ClientConnection): Future[Service[Request, Response]] = Future(f(conn))
        def close(deadline: Time): Future[Unit] = Future.Done
      }
      val server = FinagleHttp.server
        .configured(param.Label(name))
        .configured(param.Tracer(NullTracer))
        .serve(":*", factory)
      Downstream(name, server)
    }

    def mk(name: String)(f: Request=>Response): Downstream =
      factory(name) { _ =>
        Service.mk[Request, Response] { req =>
          Future(f(req))
        }
      }

    def const(name: String, value: String): Downstream =
      mk(name) { _ =>
        val rsp = Response()
        rsp.contentString = value
        rsp
      }
  }

  def upstream(server: ListeningServer) = {
    val address = Address(server.boundAddress.asInstanceOf[InetSocketAddress])
    val name = Name.Bound(Var.value(Addr.Bound(address)), address)
    FinagleHttp.client
      .configured(param.Stats(NullStatsReceiver))
      .configured(param.Tracer(NullTracer))
      .newClient(name, "upstream").toService
  }

  test("end-to-end routing") {
    val stats = NullStatsReceiver
    val tracer = new BufferingTracer
    def withAnnotations(f: Seq[Annotation] => Unit): Unit = {
      f(tracer.iterator.map(_.annotation).toSeq)
      tracer.clear()
    }

    val cat = Downstream.const("cat", "meow")
    val dog = Downstream.const("dog", "woof")
    val router = {
      val dtab = Dtab.read(s"""
        /p/cat => /$$/inet/127.1/${cat.port} ;
        /p/dog => /$$/inet/127.1/${dog.port} ;

        /svc/felix => /p/cat ;
        /svc/clifford => /p/dog ;
      """)

      val factory = Http.router
        .configured(RoutingFactory.BaseDtab(() => dtab))
        .factory()

      Http.server
        .serve(new InetSocketAddress(0), factory)
    }

    val client = upstream(router)
    def get(host: String, path: String = "/")(f: Response => Unit): Unit = {
      val req = Request()
      req.host = host
      req.uri = path
      val rsp = await(client(req))
      f(rsp)
    }

    try {
      get("felix") { rsp =>
        assert(rsp.status == Status.Ok)
        assert(rsp.contentString == "meow")
        ()
      }

      get("clifford", "/the/big/red/dog") { rsp =>
        assert(rsp.status == Status.Ok)
        assert(rsp.contentString == "woof")
        ()
      }

      // todo check stats
      // todo check tracer
      //tracer.clear()
    } finally {
      await(client.close())
      await(cat.server.close())
      await(dog.server.close())
      await(router.close())
    }
  }

  test("strips connection header") {
    @volatile var connection: Option[Option[String]] = None
    val srv = Downstream.mk("srv") { req =>
      connection = Some(req.headerMap.get("Connection"))
      Response()
    }

    val router = {
      val dtab = Dtab.read(s"/svc/* => /$$/inet/127.1/${srv.port};")
      val factory = Http.router
        .configured(RoutingFactory.BaseDtab(() => dtab))
        .factory()
      Http.serve(new InetSocketAddress(0), factory)
    }
    val client = upstream(router)

    try {
      val req = Request()
      req.host = "host"
      req.headerMap.set("Connection", "close")
      val _ = await(client(req))
      assert(connection == Some(None))

    } finally {
      await(client.close())
      await(srv.server.close())
      await(router.close())
    }
  }

  test("http/1.1: server closes connection after response") {
    @volatile var connection: Option[ClientConnection] = None
    val downstream = Downstream.factory("ds") { conn =>
      connection = Some(conn)
      Service.mk[Request, Response](_ => Future.value(Response()))
    }

    val stats = new InMemoryStatsReceiver
    def downstreamCounter(name: String) = {
      val k = Seq("http", "client", s"$$/inet/127.1/${downstream.port}", name)
      stats.counters.get(k)
    }

    @volatile var retriesToDo = 0
    @volatile var err: Option[Throwable] = None
    val router = {
      val dtab = Dtab.read(s"/svc/ds => /$$/inet/127.1/${downstream.port}")
      def doReq(req: () => Future[Response], retries: Int = 0): Future[Response] =
        req().transform { ret =>
          if (retries > 0) {
            doReq(req, retries - 1)
          } else Future.const(ret)
        }
      val retryFilter = Filter.mk[Request, Response, Request, Response] { (req, svc) =>
        doReq(() => svc(req), retriesToDo)
      }
      val errFilter = Filter.mk[Request, Response, Request, Response] { (req, svc) =>
        svc(req).onFailure { e =>
          err = Some(e)
        }
      }
      val factory = Http.router
        .withPathStack(Http.router.pathStack
          .replace(ClassifiedRetries.role, retryFilter)
          .insertBefore(ClassifiedRetries.role, errFilter))
        .configured(RoutingFactory.BaseDtab(() => dtab))
        .configured(param.Stats(stats))
        .factory()
      Http.serve(new InetSocketAddress(0), factory)
    }

    val client = upstream(router)
    def get() = {
      val req = Request()
      req.host = "ds"
      req.version = Version.Http11
      await(client(req))
    }

    // Issue a request
    try {
      val rsp0 = get()
      // don't disconnect to prove we reuse the connection
      assert(err == None)
      assert(rsp0.status == Status.Ok)
      assert(downstreamCounter("connects") == Some(1))
      assert(downstreamCounter("closed") == None)

      val rsp1 = get()
      // disconnect, to show that linkerd handles the following request gracefully
      assert(connection.isDefined)
      connection.foreach(c => await(c.close()))
      connection = None
      assert(err == None)
      assert(rsp1.status == Status.Ok)
      assert(downstreamCounter("connects") == Some(1))

      retriesToDo = 1
      val rsp2 = get()
      assert(connection.isDefined)
      connection.foreach(c => await(c.close()))
      connection = None
      assert(err == None)
      assert(rsp2.status == Status.Ok)
      assert(downstreamCounter("connects") == Some(2))

    } finally {
      await(client.close())
      await(router.close())
      await(downstream.server.close())
    }
  }

  test("http/1.0: server closes connection after response") {
    val downstream = Downstream.mk("ds") { req =>
      Response(Version.Http10, Status.Ok)
    }

    val stats = new InMemoryStatsReceiver
    def downstreamCounter(name: String) = {
      val k = Seq("http", "client", s"$$/inet/127.1/${downstream.port}", name)
      stats.counters.get(k)
    }
    def serverCounter(name: String) = {
      val k = Seq("server", name)
      stats.counters.get(k)
    }

    @volatile var retriesToDo = 0
    @volatile var err: Option[Throwable] = None
    val router = {
      val dtab = Dtab.read(s"/svc => /$$/inet/127.1/${downstream.port}")
      def doReq(req: () => Future[Response], retries: Int = 0): Future[Response] =
        req().transform { ret =>
          if (retries > 0) {
            doReq(req, retries - 1)
          } else Future.const(ret)
        }
      val retryFilter = Filter.mk[Request, Response, Request, Response] { (req, svc) =>
        doReq(() => svc(req), retriesToDo)
      }
      val errFilter = Filter.mk[Request, Response, Request, Response] { (req, svc) =>
        svc(req).onFailure { e =>
          err = Some(e)
        }
      }
      val factory = Http.router
        .withPathStack(Http.router.pathStack
          .replace(ClassifiedRetries.role, retryFilter)
          .insertBefore(ClassifiedRetries.role, errFilter))
        .configured(RoutingFactory.BaseDtab(() => dtab))
        .configured(param.Stats(stats))
        .factory()
      Http.server
        .configured(param.Stats(stats.scope("server")))
        .serve(new InetSocketAddress(0), factory)
    }

    val client = upstream(router)
    def get() = {
      val req = Request()
      req.host = "ds"
      req.version = Version.Http10
      await(client(req))
    }

    // Issue a request
    try {
      val rsp0 = get()
      assert(err == None)
      assert(rsp0.status == Status.Ok)
      assert(downstreamCounter("connects") == Some(1))
      assert(serverCounter("connects") == Some(1))

      val rsp1 = get()
      assert(err == None)
      assert(rsp1.status == Status.Ok)
      // downstream connection is reused but upstream is not
      assert(downstreamCounter("connects") == Some(1))
      assert(serverCounter("connects") == Some(2))

      retriesToDo = 1
      val rsp2 = get()
      assert(err == None)
      assert(rsp2.status == Status.Ok)
      assert(downstreamCounter("connects") == Some(1))
      assert(serverCounter("connects") == Some(3))

    } finally {
      await(client.close())
      await(router.close())
      await(downstream.server.close())
    }
  }
}


text:
ofRotateZ produces a rotation of angle "degrees" around the Z-axis of our coordinate system represented by the vector (0,0,1).
"degrees"specifies the angle of rotation, in degrees.
```cpp
void ofApp::draw(){
    ofRotateZ(45); //rotates the coordinate system 45 degrees around the x-axis
    ofDrawRectangle(20,20,100,100);
}
```


text:
        <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
        <title>W30039_text</title>
        <link rel="stylesheet" type="text/css" href="style.css" />

                «

    <p class="styleSans19.0000<enum PANGO_WEIGHT_NORMAL of type PangoWeight><enum PANGO_STYLE_NORMAL of type PangoStyle>">

    <p class="styleSans9.0000<enum PANGO_WEIGHT_NORMAL of type PangoWeight><enum PANGO_STYLE_NORMAL of type PangoStyle>">Oasis
South Cottonwood 157N-92W-3/10 Lars 5792 11-3 6T

    <p class="styleSans9.0000<enum PANGO_WEIGHT_NORMAL of type PangoWeight><enum PANGO_STYLE_NORMAL of type PangoStyle>">Lars 5792 11-3 6T Design #1

    <p class="styleSans19.0000<enum PANGO_WEIGHT_NORMAL of type PangoWeight><enum PANGO_STYLE_NORMAL of type PangoStyle>">Anticollision Report

    <p class="styleSans9.0000<enum PANGO_WEIGHT_NORMAL of type PangoWeight><enum PANGO_STYLE_NORMAL of type PangoStyle>">02 October, 2014


text:
package main

import (
	"flag"
	"fmt"
	"github.com/APTrust/bagman/bagman"
	"github.com/APTrust/bagman/partner-apps"
	"os"
)

var configFile string
var verbose bool
var showHelp bool

func main() {
	parseCommandLine()
	client, err := bagman.NewPartnerS3ClientFromConfigFile(configFile, verbose)
	if err != nil {
		fmt.Printf("[FATAL] %v\n", err)
		return
	}
	fmt.Printf("Uploading %d files to s3 bucket %s\n", len(flag.Args()), client.PartnerConfig.ReceivingBucket)
	client.UploadFiles(flag.Args())
}

func parseCommandLine() {
	showVersion := false
	flag.BoolVar(&showVersion, "version", false, "Print version and exit")
	flag.BoolVar(&showHelp, "help", false, "Show help")
	flag.BoolVar(&verbose, "verbose", false, "Verbose - print verbose messages")
	flag.StringVar(&configFile, "config", "", "APTrust config file")
	flag.Parse()
	if showVersion {
		partnerapps.PrintVersion("apt_upload")
		os.Exit(0)
	}
	if showHelp {
		partnerapps.PrintVersion("apt_upload")
		printUsage()
		os.Exit(0)
	}
	if configFile == "" {
		if partnerapps.DefaultConfigFileExists() {
			configFile, _ = partnerapps.DefaultConfigFile()
			fmt.Printf("Using default config file %s\n", configFile)
		} else {
			partnerapps.PrintVersion("apt_upload")
			printUsage()
			os.Exit(0)
		}
	}
	if len(os.Args) < 2 {
		fmt.Printf("Please specify one or more files to upload. ")
		fmt.Printf("Or use apt_upload -h for help.\n")
		os.Exit(1)
	}
}

func printUsage() {
	message := `
apt_upload [--config=pathToConfigFile] [--verbose] <file1> <file2> ... <fileN>

Uploads APTrust bag files to S3 so they can be archived in APTrust.
The files you upload should be tar files that conform to the APTrust
bagit specification. You may use apt_validate to make sure your bags
are valid before uploading. The bags you upload will go into the
receiving bucket specified in your config file.

You may omit the --config option if you want to use the default
config file in your home directory (~/.aptrust_partner.conf).

Examples:
	apt_upload archive1.tar archive2.tar
	apt_upload  ~/my_data/*.tar
	apt_upload -config=aptrust.conf --verbose ~/my_data/*

When using the * pattern, as in the second and third examples above,
apt_upload will not recurse into sub directories. It will upload
files only, and will skip directories.

apt_upload prints all output to stdout. Typical output includes the
result of the file upload (OK or ERROR). Failed uploads should show
a description of the error. Successful uploads show the md5 checksum
that S3 calculated on receiving the file. Check this against your
local md5 checksum if you want to ensure the file was received
successfully.

Non-verbose output looks like this:

[OK]    S3 returned md5 checksum adae53cf8373b2c6b20a99f8db518e56 for file1.tar
[OK]    S3 returned md5 checksum 4d66f1ec9491addded54d17b96df8c96 for file2.tar
Finished uploading. 2 succeeded, 0 failed.

The -v option will give verbose output, providing additional information
about what's happening.
`
	fmt.Println(message)
	fmt.Println(partnerapps.ConfigHelp)
	fmt.Println(partnerapps.BagSpecMessage)
}


text:
package org.grickle.jsondtotest.client;

import java.util.Map;
import java.util.TreeMap;

import org.grickle.jsondto.client.IsJSONSerializable;
import org.grickle.jsondto.client.Pickler;

import com.google.gwt.core.client.GWT;

/**
 *
 */
public class MapPicklerTest extends AbstractGWTTest
{
    @IsJSONSerializable
    public static class Foo
    {
        public int id;
        public Foo(){}
        public Foo(int id){this.id = id;}
        @Override
        public boolean equals(Object rhs)
        {
            if ( rhs == null )
                return false;
            if ( ! (rhs instanceof Foo) )
                return false;
            return id == ((Foo)rhs).id;
        }
        @Override
        public String toString() { return "Foo<" + id + ">"; }
    }

    public interface StringMapPickler extends Pickler<Map<String,String>> { }
    public interface IntegerMapPickler extends Pickler<Map<String,Integer>> { }
    public interface FooMapPickler extends Pickler<Map<String,Foo>> { }

    private Map<String,Foo> makeFooMap(int... numbers)
    {
        Map<String,Foo> rv = new TreeMap<String,Foo>();
        for(int i : numbers)
            rv.put(Integer.toString(i), new Foo(100*i));
        return rv;
    }

    private Map<String,String> makeMap(String... items)
    {
        Map<String,String> rv = new TreeMap<String,String>();
        for(String i : items)
            rv.put(i, "*" + i + "*");
        return rv;
    }

    private Map<String,Integer> makeMap(int... items)
    {
        Map<String,Integer> rv = new TreeMap<String,Integer>();
        for(int i: items)
            rv.put(Integer.toString(i), i*100);
        return rv;
    }

    public void testStringMap()
    {
        StringMapPickler pickler = GWT.create(StringMapPickler.class);
        runPUTest(pickler, null);
        runPUTest(pickler, new TreeMap<String,String>());
        runPUTest(pickler, makeMap("foo", "bar", "baz"));
    }

    public void testIntegerMap()
    {
        IntegerMapPickler pickler = GWT.create(IntegerMapPickler.class);
        runPUTest(pickler, null);
        runPUTest(pickler, new TreeMap<String,Integer>());
        runPUTest(pickler, makeMap(1,2,3,4,5,6,-1));
    }

    public void testObjectMap()
    {
        FooMapPickler pickler = GWT.create(FooMapPickler.class);
        runPUTest(pickler, null);
        runPUTest(pickler, makeFooMap());
        runPUTest(pickler, makeFooMap(1,3,5,7,9,-10,-13));
    }
}


text: <timer interval="1000" countdown="5" finish-callback="count.begin()" class="timer">{{ countdown + 1 }}</timer>


text:
{% extends "v12_2/online_licence/reg/1_guidance.html" %}
{% block john_create_account_link %}
{% block wendy_create_account_link %}
{% endblock %}
{% endblock %}


text:
package ch.difty.scipamato.core.persistence;

import java.util.Optional;

import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;

import ch.difty.scipamato.core.entity.User;
import ch.difty.scipamato.core.entity.search.UserFilter;

/**
 * The {@link UserService} interface - defining {@link User} specific service methods.
 *
 * @author u.joss
 */
public interface UserService extends EntityService<Integer, User, UserFilter> {

    /**
     * Find {@link User} by username and return it as optional.
     *
     * @param userName
     *     the name of the user to be found
     * @return user optional of user
     */
    @NotNull
    Optional<User> findByUserName(@Nullable String userName);
}


text:
package org.apache.causeway.core.metamodel.postprocessors.param;

import java.util.function.BiConsumer;

import org.apache.causeway.commons.collections.Can;
import org.apache.causeway.core.metamodel.consent.InteractionInitiatedBy;
import org.apache.causeway.core.metamodel.facetapi.FacetHolder;
import org.apache.causeway.core.metamodel.facets.collections.CollectionFacet;
import org.apache.causeway.core.metamodel.facets.param.choices.ActionParameterChoicesFacetAbstract;
import org.apache.causeway.core.metamodel.interactions.managed.ActionInteractionHead;
import org.apache.causeway.core.metamodel.object.ManagedObject;
import org.apache.causeway.core.metamodel.spec.ObjectSpecification;
import org.apache.causeway.core.metamodel.spec.feature.OneToManyAssociation;

import lombok.val;

public class ActionParameterChoicesFacetFromParentedCollection
extends ActionParameterChoicesFacetAbstract {

    private final OneToManyAssociation coll;

    public ActionParameterChoicesFacetFromParentedCollection(
            final FacetHolder holder,
            final OneToManyAssociation coll) {
        super(holder);
        this.coll = coll;
    }

    @Override
    public Can<ManagedObject> getChoices(
            final ObjectSpecification requiredSpec,
            final ActionInteractionHead head,
            final Can<ManagedObject> pendingArgs,
            final InteractionInitiatedBy interactionInitiatedBy) {

        val collectionAsObject = coll.get(head.getOwner(), interactionInitiatedBy);
        return CollectionFacet.streamAdapters(collectionAsObject).collect(Can.toCan());
    }

    @Override
    public void visitAttributes(final BiConsumer<String, Object> visitor) {
        super.visitAttributes(visitor);
        visitor.accept("oneToManyAssociation", coll.getId());
    }
}


text:
<?xml version="1.0" encoding="UTF-8"?>

         <meta content="Centers for Disease Control and Prevention" name="citation_publisher"></meta>
         <meta content="10.3201/eid1509.090442" name="citation_doi"></meta>
         <meta content="Zika Virus Outside Africa" name="citation_title"></meta>
         <title>Zika Virus Outside Africa</title>

            <meta content="Edward B. Hayes" name="citation_author"></meta>
            <meta content="" name="citation_author_institution_ref"></meta>
            <meta content=" " name="citation_author_institution"></meta>

         <meta content="" name="email"></meta>
         <meta content="" name="conflict"></meta>
         <meta content="" name="contribs"></meta>
         <meta content="--" name="citation_pubdate"></meta>
         <meta content="Copyright : " name="citation_copyright"></meta>
         <meta content="Licence " name="citation_licence"></meta>
         <meta content="" name="citation_funding"></meta>
         <meta content="" name="citation_pagecount"></meta>
         <meta content="" name="citation_data"></meta>

This should be considered an emerging pathogen.

Zika virus (ZIKV) is a flavivirus related to yellow fever, dengue, West Nile, and
            Japanese encephalitis viruses. In 2007 ZIKV caused an outbreak of relatively mild
            disease characterized by rash, arthralgia, and conjunctivitis on Yap Island in the
            southwestern Pacific Ocean. This was the first time that ZIKV was detected outside
            of Africa and Asia. The history, transmission dynamics, virology, and clinical manifestations
            of ZIKV disease are discussed, along with the possibility for diagnostic confusion
            between ZIKV illness and dengue.The emergence of ZIKV outside of its previously known
            geographic range should prompt awareness of the potential for ZIKV to spread to other
            Pacific islands and the Americas.

In April 2007, an outbreak of illness characterized by rash, arthralgia, and conjunctivitis
         was reported on Yap Island in the Federated States of Micronesia. Serum samples from
         patients in the acute phase of illness contained RNA of Zika virus (ZIKV), a flavivirus
         in the same family as yellow fever, dengue, West Nile, and Japanese encephalitis viruses.
         These findings show that ZIKV has spread outside its usual geographic range (

            1
         ,

            2
         ).

Sixty years earlier, on April 18, 1947, fever developed in a rhesus monkey that had
         been placed in a cage on a tree platform in the Zika Forest of Uganda (

            3
         ). The monkey, Rhesus 766, was a sentinel animal in the Rockefeller Foundation's program
         for research on jungle yellow fever. Two days later, Rhesus 766, still febrile, was
         brought to the Foundation's laboratory at Entebbe and its serum was inoculated into
         mice. After 10 days all mice that were inoculated intracerebrally were sick, and a
         filterable transmissible agent, later named Zika virus, was isolated from the mouse
         brains. In early 1948, ZIKV was also isolated from
         Aedes africanus mosquitoes trapped in the same forest (

            4
         ). Serologic studies indicated that humans could also be infected (

            5
         ). Transmission of ZIKV by artificially fed
         Ae. aegypti mosquitoes to mice and a monkey in a laboratory was reported in 1956 (

            6
         ).

ZIKV was isolated from humans in Nigeria during studies conducted in 1968 and during
         1971–1975; in 1 study, 40% of the persons tested had neutralizing antibody to ZIKV
         (

            7

         –

            9
         ). Human isolates were obtained from febrile children 10 months, 2 years (2 cases),
         and 3 years of age, all without other clinical details described, and from a 10 year-old
         boy with fever, headache, and body pains (

            7

         ,

            8
         ). From 1951 through 1981, serologic evidence of human ZIKV infection was reported
         from other African countries such as Uganda, Tanzania, Egypt, Central African Republic,
         Sierra Leone (

            10
         ), and Gabon, and in parts of Asia including India, Malaysia, the Philippines, Thailand,
         Vietnam, and Indonesia (

            10

         –

            14
         ). In additional investigations, the virus was isolated from
         Ae. aegypti mosquitoes in Malaysia, a human in Senegal, and mosquitoes in Côte d'Ivoire (

            15

         –

            17
         ). In 1981 Olson et al. reported 7 people with serologic evidence of ZIKV illness
         in Indonesia (

            11
         ). A subsequent serologic study indicated that 9/71 (13%) human volunteers in Lombok,
         Indonesia, had neutralizing antibody to ZIKV (

            18
         ). The outbreak on Yap Island in 2007 shows that ZIKV illness has been detected outside
         of Africa and Asia (
         Figure 1).

Figure 1

Approximate known distribution of Zika virus, 1947–2007. Red circle represents Yap
               Island. Yellow indicates human serologic evidence; red indicates virus isolated from
               humans; green represents mosquito isolates.

Dynamics of Transmission

ZIKV has been isolated from
            Ae. africanus,
            Ae. apicoargenteus,
            Ae. luteocephalus,
            Ae. aegypti,
            Ae vitattus, and
            Ae. furcifer mosquitoes (

               9

            ,

               15

            ,

               17

            ,

               19
            ).
            Ae. hensilii was the predominant mosquito species present on Yap during the ZIKV disease outbreak
            in 2007, but investigators were unable to detect ZIKV in any mosquitoes on the island
            during the outbreak (

               2
            ). Dick noted that
            Ae. africanus mosquitoes, which were abundant and infected with ZIKV in the Zika Forest, were not
            likely to enter monkey cages such as the one containing Rhesus 766 (

               5
            ) raising the doubt that the monkey might have acquired ZIKV from some other mosquito
            species or through some other mechanism. During the studies of yellow fever in the
            Zika Forest, investigators had to begin tethering monkeys in trees because caged monkeys
            did not acquire yellow fever virus when the virus was present in mosquitoes (

               5
            ). Thus, despite finding ZIKV in
            Ae. Africanus mosquitoes, Dick was not sure whether or not these mosquitoes were actually the vector
            for enzootic ZIKV transmission to monkeys.

Boorman and Porterfield subsequently demonstrated transmission of ZIKV to mice and
            monkeys by
            Ae. aegypti in a laboratory (

               6
            ). Virus content in the mosquitoes was high on the day of artificial feeding, dropped
            to undetectable levels through day 10 after feeding, had increased by day 15, and
            remained high from days 20 through 60 (

               6
            ). Their study suggests that the extrinsic incubation period for ZIKV in mosquitoes
            is ≈10 days. The authors cautioned that their results did not conclusively demonstrate
            that
            Ae. aegypti mosquitoes could transmit ZIKV at lower levels of viremia than what might occur among
            host animals in natural settings. Nevertheless, their results, along with the viral
            isolations from wild mosquitoes and monkeys and the phylogenetic proximity of ZIKV
            to other mosquito-borne flaviviruses, make it reasonable to conclude that ZIKV is
            transmitted through mosquito bites.

There is to date no solid evidence of nonprimate reservoirs of ZIKV, but 1 study did
            find antibody to ZIKV in rodents (

               20
            ). Further laboratory, field, and epidemiologic studies would be useful to better
            define vector competence for ZIKV, to determine if there are any other arthropod vectors
            or reservoir hosts, and to evaluate the possibility of congenital infection or transmission
            through blood transfusion.

Virology and Pathogenesis

ZIKV is an RNA virus containing 10,794 nucleotides encoding 3,419 amino acids. It
            is closely related to Spondweni virus; the 2 viruses are the only members of their
            clade within the mosquito-borne cluster of flaviviruses (
            Figure 2) (

               1

            ,

               21

            ,

               22
            ). The next nearest relatives include Ilheus, Rocio, and St. Louis encephalitis viruses;
            yellow fever virus is the prototype of the family, which also includes dengue, Japanese
            encephalitis, and West Nile viruses (

               1

            ,

               21
            ). Studies in the Zika Forest suggested that ZIKV infection blunted the viremia caused
            by yellow fever virus in monkeys but did not block transmission of yellow fever virus
            (

               19

            ,

               23
            ).

Figure 2

Phylogenetic relationship of Zika virus to other flaviviruses based on nucleic acid
                  sequence of nonstructural viral protein 5, with permission from Dr Robert Lanciotti
                  (

                     1
                  ). Enc, encephalitis; ME, meningoencephalitis.

Information regarding pathogenesis of ZIKV is scarce but mosquito-borne flaviviruses
            are thought to replicate initially in dendritic cells near the site of inoculation
            then spread to lymph nodes and the bloodstream (

               24
            ). Although flaviviral replication is thought to occur in cellular cytoplasm, 1 study
            suggested that ZIKV antigens could be found in infected cell nuclei (

               25
            ). To date, infectious ZIKV has been detected in human blood as early as the day of
            illness onset; viral nucleic acid has been detected as late as 11 days after onset
            (

               1

            ,

               26
            ). The virus was isolated from the serum of a monkey 9 days after experimental inoculation
            (

               5
            ). ZIKV is killed by potassium permanganate, ether, and temperatures >60°C, but it
            is not effectively neutralized with 10% ethanol (

               5
            ).

Clinical Manifestations

The first well-documented report of human ZIKV disease was in 1964 when Simpson described
            his own occupationally acquired ZIKV illness at age 28 (

               27
            ). It began with mild headache. The next day, a maculopapular rash covered his face,
            neck, trunk, and upper arms, and spread to his palms and soles. Transient fever, malaise,
            and back pain developed. By the evening of the second day of illness he was afebrile,
            the rash was fading, and he felt better. By day three, he felt well and had only the
            rash, which disappeared over the next 2 days. ZIKV was isolated from serum collected
            while he was febrile.

In 1973, Filipe et al. reported laboratory-acquired ZIKV illness in a man with acute
            onset of fever, headache, and joint pain but no rash (

               26
            ). ZIKV was isolated from serum collected on the first day of symptoms; the man's
            illness resolved in ≈1 week.

Of the 7 ZIKV case-patients in Indonesia described by Olson et al. all had fever,
            but they were detected by hospital-based surveillance for febrile illness (

               11
            ). Other manifestations included anorexia, diarrhea, constipation, abdominal pain,
            and dizziness. One patient had conjunctivitis but none had rash. The outbreak on Yap
            Island was characterized by rash, conjunctivitis, and arthralgia (

               1

            ,

               2
            ). Other less frequent manifestations included myalgia, headache, retroorbital pain,
            edema, and vomiting (

               2
            ).

Diagnosis

Diagnostic tests for ZIKV infection include PCR tests on acute-phase serum samples,
            which detect viral RNA, and other tests to detect specific antibody against ZIKV in
            serum. An ELISA has been developed at the Arboviral Diagnostic and Reference Laboratory
            of the Centers for Disease Control and Prevention (Ft. Collins, CO, USA) to detect
            immunoglobulin (Ig) M to ZIKV (

               1
            ). In the samples from Yap Island, cross-reactive results in sera from convalescent-phase
            patients occurred more frequently among patients with evidence of previous flavivirus
            infections than among those with apparent primary ZIKV infections (

               1

            ,

               2
            ). Cross-reactivity was more frequently noted with dengue virus than with yellow fever,
            Japanese encephalitis, Murray Valley encephalitis, or West Nile viruses, but there
            were too few samples tested to derive robust estimates of the sensitivity and specificity
            of the ELISA. IgM was detectable as early as 3 days after onset of illness in some
            persons; 1 person with evidence of previous flavivirus infection had not developed
            IgM at day 5 but did have it by day 8 (

               1
            ). Neutralizing antibody developed as early as 5 days after illness onset. The plaque
            reduction neutralization assay generally has improved specificity over immunoassays,
            but may still yield cross-reactive results in secondary flavivirus infections. PCR
            tests can be conducted on samples obtained less than 10 days after illness onset;
            1 patient from Yap Island still had detectable viral RNA on day 11 (

               1
            ). In general, diagnostic testing for flavivirus infections should include an acute-phase
            serum sample collected as early as possible after onset of illness and a second sample
            collected 2 to 3 weeks after the first.

Public Health Implications

Because the virus has spread outside Africa and Asia, ZIKV should be considered an
            emerging pathogen. Fortunately, ZIKV illness to date has been mild and self-limited,
            but before West Nile virus caused large outbreaks of neuroinvasive disease in Romania
            and in North America, it was also considered to be a relatively innocuous pathogen
            (

               28
            ). The discovery of ZIKV on the physically isolated community of Yap Island is testimony
            to the potential for travel or commerce to spread the virus across large distances.
            A medical volunteer who was on Yap Island during the ZIKV disease outbreak became
            ill and was likely viremic with ZIKV after her return to the United States (

               2
            ). The competence of mosquitoes in the Americas for ZIKV is not known and this question
            should be addressed. Spread of ZIKV across the Pacific could be difficult to detect
            because of the cross-reactivity of diagnostic flavivirus antibody assays. ZIKV disease
            could easily be confused with dengue and might contribute to illness during dengue
            outbreaks. Recognition of the spread of ZIKV and of the impact of ZIKV on human health
            will require collaboration between clinicians, public health officials, and high-quality
            reference laboratories.

Given that the epidemiology of ZIKV transmission on Yap Island appeared to be similar
            to that of dengue, strategies for prevention and control of ZIKV disease should include
            promoting the use of insect repellent and interventions to reduce the abundance of
            potential mosquito vectors. Officials responsible for public health surveillance in
            the Pacific region and the United States should be alert to the potential spread of
            ZIKV and keep in mind the possible diagnostic confusion between ZIKV illness and dengue.

                  Suggested citation for this article: Hayes EB. Zika virus outside Africa. Emerg Infect Dis [serial on the Internet].
                  2009 Sep [
                  date cited]. Available from

http://www.cdc.gov/EID/content/15/9/1347.htm

Acknowledgment

The author thanks Marc Fischer for helpful comments on the manuscript.

Dr Hayes is currently a research professor at the Barcelona Centre for International
               Health Research. His research interests include epidemiology and prevention of vector-borne
               infectious diseases, and evaluation of safety and effectiveness of preventive interventions.

References

1.

                        Lanciotti
                        RS

,

                        Kosoy
                        OL

,

                        Laven
                        JJ

,

                        Velez
                        JO

,

                        Lambert
                        AJ

,

                        Johnson
                        AJ

,

                     Genetic and serologic properties of Zika virus associated with an epidemic, Yap State,
                        Micronesia, 2007.

                     Emerg Infect Dis
                     2008;
                     14:
                     1232–
                     9

10.3201/eid1408.080287

18680646

2.

                        Duffy
                        MR

,

                        Chen
                        T

,

                        Hancock
                        WT

,

                        Powers
                        AM

,

                        Kool
                        JL

,

                        Lanciotti
                        RS

,

                     Zika virus outbreak on Yap Island, Federated States of Micronesia.
                     N Engl J Med
                     2009;
                     360:
                     2536–
                     43

10.1056/NEJMoa0805715

19516034

3.

                        Dick
                        GW

,

                        Kitchen
                        SF

,

                        Haddow
                        AJ

                     Zika virus. I. Isolations and serological specificity.
                     Trans R Soc Trop Med Hyg
                     1952;
                     46:
                     509–
                     20

10.1016/0035-9203(52)90042-4

12995440

4.

                        Macnamara
                        FN

                     Zika virus: a report on three cases of human infection during an epidemic of jaundice
                        in Nigeria.

                     Trans R Soc Trop Med Hyg
                     1954;
                     48:
                     139–
                     45

10.1016/0035-9203(54)90006-1

13157159

5.

                        Dick
                        GW

                     Zika virus. II. Pathogenicity and physical properties.
                     Trans R Soc Trop Med Hyg
                     1952;
                     46:
                     521–
                     34

10.1016/0035-9203(52)90043-6

12995441

6.

                        Boorman
                        JP

,

                        Porterfield
                        JS

                     A simple technique for infection of mosquitoes with viruses; transmission of Zika
                        virus.

                     Trans R Soc Trop Med Hyg
                     1956;
                     50:
                     238–
                     42

10.1016/0035-9203(56)90029-3

13337908

7.

                        Moore
                        DL

,

                        Causey
                        OR

,

                        Carey
                        DE

,

                        Reddy
                        S

,

                        Cooke
                        AR

,

                        Akinkugbe
                        FM

,

                     Arthropod-borne viral infections of man in Nigeria, 1964–1970.
                     Ann Trop Med Parasitol
                     1975;
                     69:
                     49–
                     64

1124969

8.

                        Fagbami
                        A

                     Epidemiological investigations on arbovirus infections at Igbo-Ora, Nigeria.
                     Trop Geogr Med
                     1977;
                     29:
                     187–
                     91

906078

9.

                        Fagbami
                        AH

                     Zika virus infections in Nigeria: virological and seroepidemiological investigations
                        in Oyo State.

                     J Hyg (Lond)
                     1979;
                     83:
                     213–
                     9

10.1017/S0022172400025997

489960

10.

                        Robin
                        Y

,

                        Mouchet
                        J

                     Serological and entomological study on yellow fever in Sierra Leone.
                     Bull Soc Pathol Exot Filiales
                     1975;
                     68:
                     249–
                     58

1243735

11.

                        Olson
                        JG

,

                        Ksiazek
                        TG

                     Suhandiman, Triwibowo. Zika virus, a cause of fever in Central Java, Indonesia.
                     Trans R Soc Trop Med Hyg
                     1981;
                     75:
                     389–
                     93

10.1016/0035-9203(81)90100-0

6275577

12.

                        Jan
                        C

,

                        Languillat
                        G

,

                        Renaudet
                        J

,

                        Robin
                        Y

                     A serological survey of arboviruses in Gabon

[in French]

                     Bull Soc Pathol Exot Filiales
                     1978;
                     71:
                     140–
                     6

743766

13.

                        Saluzzo
                        JF

,

                        Gonzalez
                        JP

,

                        Hervé
                        JP

,

                        Georges
                        AJ

                     Serological survey for the prevalence of certain arboviruses in the human population
                        of the south-east area of Central African Republic

[in French]

                     Bull Soc Pathol Exot Filiales
                     1981;
                     74:
                     490–
                     9

6274526

14.

                        Saluzzo
                        JF

,

                        Ivanoff
                        B

,

                        Languillat
                        G

,

                        Georges
                        AJ

                     Serological survey for arbovirus antibodies in the human and simian populations of
                        the South-East of Gabon

[in French]

                     Bull Soc Pathol Exot Filiales
                     1982;
                     75:
                     262–
                     6

6809352

15.

                        Marchette
                        NJ

,

                        Garcia
                        R

,

                        Rudnick
                        A

                     Isolation of Zika virus from Aedes aegypti mosquitoes in Malaysia.
                     Am J Trop Med Hyg
                     1969;
                     18:
                     411–
                     5

4976739

16.

                        Monlun
                        E

,

                        Zeller
                        H

,

                        Le Guenno
                        B

,

                        Traoré-Lamizana
                        M

,

                        Hervy
                        JP

,

                        Adam
                        F

,

                     Surveillance of the circulation of arbovirus of medical interest in the region of
                        eastern Senegal

[in French]

                     Bull Soc Pathol Exot
                     1993;
                     86:
                     21–
                     8

8099299

17.

                        Akoua-Koffi
                        C

,

                        Diarrassouba
                        S

,

                        Bénié
                        VB

,

                        Ngbichi
                        JM

,

                        Bozoua
                        T

,

                        Bosson
                        A

,

                     Investigation surrounding a fatal case of yellow fever in Côte d'Ivoire in 1999

[in French]

                     Bull Soc Pathol Exot
                     2001;
                     94:
                     227–
                     30

11681215

18.

                        Olson
                        JG

,

                        Ksiazek
                        TG

,

                        Gubler
                        DJ

,

                        Lubis
                        SI

,

                        Simanjuntak
                        G

,

                        Lee
                        VH

,

                     A survey for arboviral antibodies in sera of humans and animals in Lombok, Republic
                        of Indonesia.

                     Ann Trop Med Parasitol
                     1983;
                     77:
                     131–
                     7

6309104

19.

                        McCrae
                        AW

,

                        Kirya
                        BG

                     Yellow fever and Zika virus epizootics and enzootics in Uganda.
                     Trans R Soc Trop Med Hyg
                     1982;
                     76:
                     552–
                     62

10.1016/0035-9203(82)90161-4

6304948

20.

                        Darwish
                        MA

,

                        Hoogstraal
                        H

,

                        Roberts
                        TJ

,

                        Ahmed
                        IP

,

                        Omar
                        F

                     A sero-epidemiological survey for certain arboviruses (Togaviridae) in Pakistan.
                     Trans R Soc Trop Med Hyg
                     1983;
                     77:
                     442–
                     5

10.1016/0035-9203(83)90106-2

6314612

21.

                        Kuno
                        G

,

                        Chang
                        GJ

,

                        Tsuchiya
                        KR

,

                        Karabatsos
                        N

,

                        Cropp
                        CB

                     Phylogeny of the genus
                        Flavivirus.

                     J Virol
                     1998;
                     72:
                     73–
                     83

9420202

22.

                        Cook
                        S

,

                        Holmes
                        EC

                     A multigene analysis of the phylogenetic relationships among the flaviviruses (family:
                        Flaviviridae) and the evolution of vector transmission.

                     Arch Virol
                     2006;
                     151:
                     309–
                     25

10.1007/s00705-005-0626-6

16172840

23.

                        Haddow
                        AJ

,

                        Williams
                        MC

,

                        Woodall
                        JP

,

                        Simpson
                        DI

,

                        Goma
                        LK

                     Twelve isolations of Zika virus from
                        Aedes (Stegomyia) africanus (Theobald) taken in and above a Uganda forest.

                     Bull World Health Organ
                     1964;
                     31:
                     57–
                     69

14230895

24.

                        Diamond
                        MS

,

                        Shrestha
                        B

,

                        Mehlhop
                        E

,

                        Sitati
                        E

,

                        Engle
                        M

                     Innate and adaptive immune responses determine protection against disseminated infection
                        by West Nile encephalitis virus.

                     Viral Immunol
                     2003;
                     16:
                     259–
                     78

10.1089/088282403322396082

14583143

25.

                        Buckley
                        A

,

                        Gould
                        EA

                     Detection of virus-specific antigen in the nuclei or nucleoli of cells infected with
                        Zika or Langat virus.

                     J Gen Virol
                     1988;
                     69:
                     1913–
                     20

10.1099/0022-1317-69-8-1913

2841406

26.

                        Filipe
                        AR

,

                        Martins
                        CM

,

                        Rocha
                        H

                     Laboratory infection with Zika virus after vaccination against yellow fever.
                     Arch Gesamte Virusforsch
                     1973;
                     43:
                     315–
                     9

10.1007/BF01556147

4799154

27.

                        Simpson
                        DI

                     Zika virus infection in man.
                     Trans R Soc Trop Med Hyg
                     1964;
                     58:
                     335–
                     8

10.1016/0035-9203(64)90201-9

14175744

28.

                        Petersen
                        LR

,

                        Hayes
                        EB

                     Westward ho?—the spread of West Nile virus.
                     N Engl J Med
                     2004;
                     351:
                     2257–
                     9

10.1056/NEJMp048261

15564540


text:
## SYNOPSIS
Returns the default domain policy or the domain controller policy for the current
domain or a specified domain/domain controller.

Author: Will Schroeder (@harmj0y)
License: BSD 3-Clause
Required Dependencies: Get-DomainGPO, Get-GptTmpl, ConvertFrom-SID

## SYNTAX

```
Get-DomainPolicy [[-Domain] <String>] [-Source <String>] [-Server <String>] [-ServerTimeLimit <Int32>]
 [-ResolveSids] [-Credential <PSCredential>]
```

## DESCRIPTION
Returns the default domain policy or the domain controller policy for the current
domain or a specified domain/domain controller using Get-DomainGPO.

## EXAMPLES

### -------------------------- EXAMPLE 1 --------------------------
```
Get-DomainPolicy
```

Returns the domain policy for the current domain.

### -------------------------- EXAMPLE 2 --------------------------
```
Get-DomainPolicy -Domain dev.testlab.local
```

Returns the domain policy for the dev.testlab.local domain.

### -------------------------- EXAMPLE 3 --------------------------
```
Get-DomainPolicy -Source DC -Domain dev.testlab.local
```

Returns the policy for the dev.testlab.local domain controller.

### -------------------------- EXAMPLE 4 --------------------------
```
$SecPassword = ConvertTo-SecureString 'Password123!' -AsPlainText -Force
```

$Cred = New-Object System.Management.Automation.PSCredential('TESTLAB\dfm.a', $SecPassword)
Get-DomainPolicy -Credential $Cred

## PARAMETERS

### -Domain
The domain to query for default policies, defaults to the current domain.

```yaml
Type: String
Parameter Sets: (All)
Aliases: Name

Required: False
Position: 1
Default value: None
Accept pipeline input: True (ByPropertyName, ByValue)
Accept wildcard characters: False
```

### -Source
Extract 'Domain' or 'DC' (domain controller) policies.

```yaml
Type: String
Parameter Sets: (All)
Aliases:

Required: False
Position: Named
Default value: Domain
Accept pipeline input: False
Accept wildcard characters: False
```

### -Server
Specifies an Active Directory server (domain controller) to bind to.

```yaml
Type: String
Parameter Sets: (All)
Aliases: DomainController

Required: False
Position: Named
Default value: None
Accept pipeline input: False
Accept wildcard characters: False
```

### -ServerTimeLimit
Specifies the maximum amount of time the server spends searching.
Default of 120 seconds.

```yaml
Type: Int32
Parameter Sets: (All)
Aliases:

Required: False
Position: Named
Default value: 0
Accept pipeline input: False
Accept wildcard characters: False
```

### -ResolveSids
Switch.
Resolve Sids from a DC policy to object names.

```yaml
Type: SwitchParameter
Parameter Sets: (All)
Aliases:

Required: False
Position: Named
Default value: False
Accept pipeline input: False
Accept wildcard characters: False
```

### -Credential
A \[Management.Automation.PSCredential\] object of alternate credentials
for connection to the target domain.

```yaml
Type: PSCredential
Parameter Sets: (All)
Aliases:

Required: False
Position: Named
Default value: [Management.Automation.PSCredential]::Empty
Accept pipeline input: False
Accept wildcard characters: False
```

## INPUTS

## OUTPUTS

### Hashtable

Ouputs a hashtable representing the parsed GptTmpl.inf file.

## NOTES

## RELATED LINKS


text:
class OrQuery : public BinaryQuery {
	friend Query operator|(const Query&, const Query&);
	OrQuery(const Query &left, const Query &right)
		: BinaryQuery(left, right, "|")
	{
		std::cout << "OrQuery::OrQuery()\n";
	}

	QueryResult eval(const TextQuery &t) const override
	{
		// do something
		//QueryResult right = rhs.eval(t), left = lhs.eval(t);

		////! copy the left-hand operand into the result set
		//std::shared_ptr<std::set<line_no>> ret_lines =
		//	std::make_shared<std::set<line_no>>(left.begin(), left.end());

		////! inert lines from the right-hand operand
		//ret_lines->insert(right.begin(), right.end());

		//return QueryResult(rep(), ret_lines, left.get_file());

	}

};

inline Query operator|(const Query &lhs, const Query &rhs)
{
	return std::shared_ptr<Query_base>(new OrQuery(lhs, rhs));
}

#endif // !ORQUERY_H


text:
namespace inet {

Define_Module(TunInterface);

simsignal_t TunInterface::packetSentToLowerSignal = registerSignal("packetSentToLower");
simsignal_t TunInterface::packetReceivedFromLowerSignal = registerSignal("packetReceivedFromLower");
simsignal_t TunInterface::packetSentToUpperSignal = registerSignal("packetSentToUpper");
simsignal_t TunInterface::packetReceivedFromUpperSignal = registerSignal("packetReceivedFromUpper");

void TunInterface::initialize(int stage)
{
    MACBase::initialize(stage);
    if (stage == INITSTAGE_LOCAL)
        registerInterface();
}

InterfaceEntry *TunInterface::createInterfaceEntry()
{
    InterfaceEntry *e = new InterfaceEntry(this);
    e->setMtu(par("mtu").longValue());
    return e;
}

void TunInterface::handleMessage(cMessage *msg)
{
    if (msg->getArrivalGate()->isName("appIn")) {
        emit(packetSentToUpperSignal, msg);
        send(msg, "upperLayerOut");
    }
    else if (msg->getArrivalGate()->isName("upperLayerIn")) {
        emit(packetReceivedFromUpperSignal, msg);
        send(msg, "appOut");
    }
}

void TunInterface::finish()
{
}

void TunInterface::flushQueue()
{
    // does not have a queue, do nothing
}

void TunInterface::clearQueue()
{
    // does not have a queue, do nothing
}

} // namespace inet


text:
module Spree
  module PrintInvoice
    class UnsupportedTemplateError < StandardError
      def initialize(template_name)
        @template_name = template_name
      end

      def message
        "#{@template_name} is an unsupported pdf template name! \
          Please use one of #{Spree::PrintInvoice::Config.print_templates}."
      end
    end
  end
end


text:
This is a formalization of the λ-Y calculus along with proofs of confluence (Church Rosser), formalization of intersection types for the λ-Y calculus and a proof of subject invariance for intersection types.

To download, run:

```
git clone --recursive https://github.com/goodlyrottenapple/lamYcalc.git
```

The theory files were compiled with Isabelle2016/Agda 2.5.1.

The following links point to html versions of the Isabelle/Agda theory files:

Church Rosser Theorem:
- [Nominal implementation in Isabelle](http://goodlyrottenapple.github.io/lamYcalc/Isabelle/Nominal/html/LamYNom.html)
- [Locally nameless implementation in Isabelle](http://goodlyrottenapple.github.io/lamYcalc/Isabelle/LNmless/html/LamYNmless.html)
- [Locally nameless implementation in Agda](http://goodlyrottenapple.github.io/lamYcalc/Agda/html/ChurchRosser.html)

Intersection types:
- [Locally nameless implementation in Agda](http://goodlyrottenapple.github.io/lamYcalc/Agda/html/ITyping-Core.html)

Proofs of subject invariance for intersection types:
- [Locally nameless implementation in Agda](http://goodlyrottenapple.github.io/lamYcalc/Agda/html/ITyping.html)


text:
class ContactsController < ApplicationController
  layout 'contact_us'
  def new
    @contact = Contact.new
  end

  def create
    @contact = Contact.new(params[:contact])

    if @contact.deliver
      redirect_to root_path
    else
      render :new
    end
  end
end


text:
namespace OPS
{
namespace Transforms
{
namespace DataDistribution
{

OPS_DEFINE_EXCEPTION_CLASS(BDException, OPS::RuntimeError)

}
}
}

#endif


text:
#ifndef WEBRTC_SOUND_PLATFORMSOUNDSYSTEMFACTORY_H_
#define WEBRTC_SOUND_PLATFORMSOUNDSYSTEMFACTORY_H_

#include "webrtc/sound/soundsystemfactory.h"

namespace rtc {

// A SoundSystemFactory that returns the platform's native sound system
// implementation.
class PlatformSoundSystemFactory : public SoundSystemFactory {
 public:
  PlatformSoundSystemFactory();
  ~PlatformSoundSystemFactory() override;

 protected:
  // Inherited from SoundSystemFactory.
  bool SetupInstance() override;
  void CleanupInstance() override;
};

}  // namespace rtc

#endif  // WEBRTC_SOUND_PLATFORMSOUNDSYSTEMFACTORY_H_


text:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">

<TITLE>
Uses of Class org.jbox2d.common.Mat22
</TITLE>

<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../stylesheet.css" TITLE="Style">

      Overview
      Package
      Class
    Use
      Tree
      Deprecated
      Index
      Help

 PREV
 NEXT

  FRAMES
 NO FRAMES

  All Classes

Uses of Class
org.jbox2d.common.Mat22

Packages that use Mat22

org.jbox2d.collision
This package contains the broad and narrow phase collision algorithms.

org.jbox2d.common
This package contains various math and utility functions used by all of JBox2d, including vectors (Vec2), matrices (Mat22), transforms (XForm), colors (Color3f), and CCD sweeps (Sweep), as well as the global settings for the simulation (Settings).

org.jbox2d.dynamics.joints
This package deals with all things joint-related.

Uses of Mat22 in org.jbox2d.collision

Fields in org.jbox2d.collision declared as Mat22

 Mat22
OBB.R

          The rotation matrix.

Constructors in org.jbox2d.collision with parameters of type Mat22

OBB(Mat22 _R,
    Vec2 _center,
    Vec2 _extents)

Uses of Mat22 in org.jbox2d.common

Fields in org.jbox2d.common declared as Mat22

 Mat22
XForm.R

          A matrix representing a rotation

Methods in org.jbox2d.common that return Mat22

 Mat22
Mat22.abs()

          Return the matrix composed of the absolute values of all elements.

static Mat22
Mat22.abs(Mat22 R)

          Return the matrix composed of the absolute values of all elements.

 Mat22
Mat22.add(Mat22 B)

          Add this matrix to B, return the result.

 Mat22
Mat22.addLocal(Mat22 B)

          Add B to this matrix locally.

 Mat22
Mat22.clone()

          Return a clone of this matrix.

 Mat22
Mat22.invert()

          Returns the inverted Mat22 - does NOT invert the matrix locally!

 Mat22
Mat22.mul(Mat22 R)

          Multiply another matrix by this one (this one on left).

static Mat22
Mat22.mul(Mat22 A,
    Mat22 B)

 Mat22
Mat22.mulT(Mat22 B)

          Multiply another matrix by the transpose of this one (transpose of this one on left).

static Mat22
Mat22.mulT(Mat22 A,
     Mat22 B)

Methods in org.jbox2d.common with parameters of type Mat22

static Mat22
Mat22.abs(Mat22 R)

          Return the matrix composed of the absolute values of all elements.

 Mat22
Mat22.add(Mat22 B)

          Add this matrix to B, return the result.

 Mat22
Mat22.addLocal(Mat22 B)

          Add B to this matrix locally.

 Mat22
Mat22.mul(Mat22 R)

          Multiply another matrix by this one (this one on left).

static Mat22
Mat22.mul(Mat22 A,
    Mat22 B)

static Vec2
Mat22.mul(Mat22 R,
    Vec2 v)

 Mat22
Mat22.mulT(Mat22 B)

          Multiply another matrix by the transpose of this one (transpose of this one on left).

static Mat22
Mat22.mulT(Mat22 A,
     Mat22 B)

static Vec2
Mat22.mulT(Mat22 R,
     Vec2 v)

 void
Mat22.set(Mat22 m)

          Set as a copy of another matrix.

Constructors in org.jbox2d.common with parameters of type Mat22

XForm(Vec2 _position,
      Mat22 _R)

          Initialize using a position vector and a rotation matrix.

Uses of Mat22 in org.jbox2d.dynamics.joints

Fields in org.jbox2d.dynamics.joints declared as Mat22

 Mat22
MouseJoint.m_mass

 Mat22
RevoluteJoint.m_pivotMass

      Overview
      Package
      Class
    Use
      Tree
      Deprecated
      Index
      Help

 PREV
 NEXT

  FRAMES
 NO FRAMES

  All Classes