P-logic syntax,
as implemented by PFE
Extracted from
parse2/Parser/PropParser.y
on 2004-09-01.
Notational Conventions
As in the
Haskell 98 syntax reference:
| Notation | Meaning
|
|---|
| [pattern]
| optional
|
| {pattern}
| zero or more repetitions
|
| (pattern)
| grouping
|
| pat1|pat2
| choice
|
assert
| terminal syntax
|
Context-Free Syntax
P-logic is added to Haskell 98 by extending the declaration syntax with
property assertions and predicate definitions,
as defined by the nonterminals
assertion
and property
below, respectively.
assertion : assert [conid =] prop
property : property conid {var|con} = formula
prop : pqcon {predarg}
| (All | Exist) var [:: ctype] . prop
| -/ prop
| prop propop prop
| pexp === pexp
| pexp ::: formula
| ( prop )
propop : /\ | \/ | ==> | <==>
pexp : { exp }
| qvar
| pqcon
| literal
formula : aformula
| formula -> formula
| formula qconop formula
| -/ formula
| formula propop formula
| Lfp conid . formula
| Gfp conid . formula
| pqcon {predarg}
predarg : { exp }
| qvar
| literal
| aformula
aformula
: pqcon
| [ ]
| ! aexp1
| $ aformula
| ( formulas )
| {| typedpats | prop |}
typedpats : typedpat { , typedpat }
typedpat : pat [:: ctype]
formulas : formula { , formula }
pqconid : CONID | QCONID | tupcon
pqcon : pqconid
| ( gconsym )
Reserverd keywords
- In Haskell
- Two new keywords are reserved:
assert
and
property
.
Apart from this, all valid Haskell 98 syntax remains valid in the extended
language.
- In P-logic
- All words that are reserved in Haskell 98 are reserved in P-logic.
- The following additional words are reserved within the P-logic syntax:
All
, Exist
,
Gfp
, Lfp
,
!
, .
, $
, -/
,
/\
, \/
, ===
, ==>
,
<==>
Precedences
Precedences, from lowest to highest
| Associativity | Operator
|
|---|
| right | Gfp , Lfp ,
All , Exist
|
| right | -> , qconop
|
| left | <==>
|
| right | ==>
|
| left | /\ , \/ , -/ ,
===
|
| left | :::
|


Home
Music
All Albums
/
Dance Naked
If you're heading to a house party, don't forget to pack this house music showcase.


--- layout: page title: Lean Prover Zulip Chat Archive permalink: archive/116395maths/53248inducedpreorder.html ---
Is there a name for the preorder f x \le f y
in mathlib?
preorder.lift
I asked exactly the same question recently. I was expecting it to be called comap. These CS people with their inconsistent naming conventions :P
{% endraw %}


$
10
Basic
Feature A
Feature B
Feature C
Feature D
Feature E
Feature F
Start Today
Most Popular
$
20
/mo
Professional
Feature A
Feature B
Feature C
Feature D
Feature E
Feature F
Start Today
$
50
/mo
Enterprise
Feature A
Feature B
Feature C
Feature D
Feature E
Feature F
Start Today


|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.apache.ws.jaxme.js.pattern.ChainGenerator
public class ChainGenerator
This class generates so-called event chains. A chain is an interface and an object implementing the interface. Internally the implementation is using a list of chained objects, which you can assume to implement the same interface.
Any event is passed to the first object in the list. The object may decide to resolve the event immediately and return. It may also call pass the event to the next object, take the returned value, possibly modify it and return the result. Finally, the chained object may decide to emit another event (which is passed along the same chain), and use the returned value.
| Constructor Summary | |
|---|---|
ChainGenerator()
|
| Method Summary | |
|---|---|
void |
finish()
Validates the input data. |
JavaSource[] |
generate(JavaSourceFactory pFactory)
Performs the actual work by generating classes using the given pFactory . |
JavaQName |
getChainInterface()
Returns the interface being generated for the chain objects. |
JavaSource |
getControllerInterface()
Returns the controller interface. |
JavaQName |
getImplementationClass()
Returns the chain implementation classes name. |
JavaQName |
getProxyClass()
Returns the class being generated for the chain objects. |
protected JavaSource[] |
initControllerInterface()
Initializes the controller interface. |
static void |
main(java.lang.String[] args)
|
void |
setChainInterface(JavaQName pInterface)
Sets the interface being generated for the chain objects. |
void |
setChainInterfaceName(java.lang.String pInterfaceName)
Sets the interface name being generated for the chain objects. |
void |
setControllerInterfaceName(java.lang.String pInterfaceName)
Sets the controller interface name. |
void |
setImplementationClass(JavaQName pClassName)
Sets the chain implementation class. |
void |
setImplementationClassName(java.lang.String pClassName)
Sets the name of the chain implementation class. |
void |
setProxyClass(JavaQName pClassName)
Sets the class being generated for the chain objects. |
void |
setProxyClassName(java.lang.String pClassName)
Sets the class name being generated for the chain objects. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public ChainGenerator()
| Method Detail |
|---|
public void setControllerInterfaceName(java.lang.String pInterfaceName) throws java.lang.ClassNotFoundException
Sets the controller interface name.
java.lang.ClassNotFoundException
public JavaSource getControllerInterface()
protected JavaSource[] initControllerInterface() throws java.lang.ClassNotFoundException, antlr.RecognitionException, antlr.TokenStreamException, java.io.IOException
Initializes the controller interface.
java.lang.ClassNotFoundException
java.io.IOException
antlr.TokenStreamException
antlr.RecognitionException
public void setChainInterfaceName(java.lang.String pInterfaceName)
Sets the interface name being generated for the chain objects.
public void setChainInterface(JavaQName pInterface)
Sets the interface being generated for the chain objects.
public JavaQName getChainInterface()
Returns the interface being generated for the chain objects.
public void setProxyClassName(java.lang.String pClassName)
Sets the class name being generated for the chain objects.
public void setProxyClass(JavaQName pClassName)
Sets the class being generated for the chain objects.
public JavaQName getProxyClass()
Returns the class being generated for the chain objects. Defaults
to getChainInterface() + "Impl"
.
public void setImplementationClassName(java.lang.String pClassName)
Sets the name of the chain implementation class.
public void setImplementationClass(JavaQName pClassName)
Sets the chain implementation class.
public JavaQName getImplementationClass()
Returns the chain implementation classes name. Defaults to
getControllerInterface() + "Impl"
.
public void finish()
public JavaSource[] generate(JavaSourceFactory pFactory) throws java.lang.Exception
pFactory
.
java.lang.Exception
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


Positive: An old phone. 9 holes for dialing which are understood.
Negative: A door that says push but has handles on it.
Positive:
Negative:
Chunking
Mapping
Golden Ratio


|
|---|
| I am the true vine, and my Father is the husbandman.
|
|---|
| ᏖᎸᎳᏗᏯ ᎠᏴ, ᎡᏙᏓᏃ ᏗᎦᎶᎩᏍᎩ.
|
|---|
Te-lv-la-di-ya a-yv, E-do-da-no di-ga-lo-gi-s-gi.
|
|---|
|
|---|
| Every branch in me that beareth not fruit he taketh away: and every branch that beareth fruit, he purgeth it, that it may bring forth more fruit.
|
|---|
| ᏂᎦᎥ ᏓᏋᏂᎦᎸᎢ ᎾᎾᏓᏛᎥᏍᎬᎾ ᏥᎨᏐ ᏕᎬᏂᎦᎵᏍᎪᎢ; ᏂᎦᏛᏃ ᎠᎾᏓᏛᎥᏍᎩ ᏕᎬᏂᎦᎷᏬᏍᎪᎢ ᎤᏟ ᎢᎦᎢ ᎤᎾᏓᏛᏗᏱ ᎤᏰᎸᏐᎢ.
|
|---|
Ni-ga-v da-quv-ni-ga-lv-i na-na-da-dv-v-s-gv-na tsi-ge-so de-gv-ni-ga-li-s-go-i; ni-ga-dv-no a-na-da-dv-v-s-gi de-gv-ni-ga-lu-wo-s-go-i u-tli i-ga-i u-na-da-dv-di-yi u-ye-lv-so-i.
|
|---|
|
|---|
| Now ye are clean through the word which I have spoken unto you.
|
|---|
| ᎿᎭᏉ ᏂᎯ ᎢᏣᏓᏅᎦᎸᏔᏅ ᎧᏃᎮᏛ ᎾᏍᎩ ᎢᏨᏁᏤᎸᎯ ᏥᎩ.
|
|---|
Hna-quo ni-hi i-tsa-da-nv-ga-lv-ta-nv ka-no-he-dv na-s-gi i-tsv-ne-tse-lv-hi tsi-gi.
|
|---|
|
|---|
| Abide in me, and I in you. As the branch cannot bear fruit of itself, except it abide in the vine; no more can ye, except ye abide in me.
|
|---|
| ᏍᎩᏯᎡᏍᏗ, ᎠᏎᏃ ᎢᏨᏯᎡᏍᏗ. ᎾᏍᎩᏯ ᎤᏩᏂᎦᎸᎢ ᎤᏩᏒ ᏰᎵ ᎬᏩᏓᏛᏗ ᏂᎨᏒᎾ ᏥᎨᏐ ᎬᏂ ᎤᏖᎸᎳᏛ ᏧᏩᏂᎦᎶᎢ, ᎾᏍᏉᏍᎩᏂ ᏂᎯ ᎥᏝ ᏰᎵᎦ ᎬᏂ ᎠᏴ ᏱᏍᎩᏯᎠ.
|
|---|
S-gi-ya-e-s-di, a-se-no i-tsv-ya-e-s-di. Na-s-gi-ya u-wa-ni-ga-lv-i u-wa-sv ye-li gv-wa-da-dv-di ni-ge-sv-na tsi-ge-so gv-ni u-te-lv-la-dv tsu-wa-ni-ga-lo-i, na-s-quo-s-gi-ni ni-hi v-tla ye-li-ga gv-ni a-yv yi-s-gi-ya-a.
|
|---|
|
|---|
| I am the vine, ye are the branches: He that abideth in me, and I in him, the same bringeth forth much fruit: for without me ye can do nothing.
|
|---|
| ᎤᏖᎸᎳᏛᎢ ᎠᏴ, ᏚᏩᏂᎦᎸᎢ ᏂᎯ. ᎠᏴ ᎠᎩᏯᎢ, ᎠᏴᏃ ᏥᏯᎢ, ᎾᏍᎩ ᎤᏣᏙ ᎠᎾᏓᏛᎥᏍᎪᎢ. ᎥᏝᏰᏃ ᎠᏴ ᎥᏝ ᏰᎵ ᎪᎱᏍᏗ ᏴᎨᏣᏛᎦ.
|
|---|
U-te-lv-la-dv-i a-yv, du-wa-ni-ga-lv-i ni-hi. A-yv a-gi-ya-i, a-yv-no tsi-ya-i, na-s-gi u-tsa-do a-na-da-dv-v-s-go-i. V-tla-ye-no a-yv v-tla ye-li go-hu-s-di yv-ge-tsa-dv-ga.
|
|---|
|
|---|
| If a man abide not in me, he is cast forth as a branch, and is withered; and men gather them, and cast them into the fire, and they are burned.
|
|---|
| ᎢᏳᏃ ᎩᎶ ᎾᎩᏯᎥᎾ ᏥᎨᏐᎢ, ᎠᎦᏓᎡᎪᎢ ᎾᏍᎩᏯ ᎤᏩᏂᎦᎳᏅᎯ ᏧᎾᏓᎡᎪᎢ, ᎠᎴ ᎬᏴᏍᎪᎢ; ᏴᏫᏃ ᏓᏂᏟᏏᏍᎪᎢ, ᎠᏥᎸᏱᏃ ᏫᏚᎾᏕᎪᎢ, ᎠᎴ ᏓᎪᎲᏍᎪᎢ.
|
|---|
I-yu-no gi-lo na-gi-ya-v-na tsi-ge-so-i, a-ga-da-e-go-i na-s-gi-ya u-wa-ni-ga-la-nv-hi tsu-na-da-e-go-i, a-le gv-yv-s-go-i; yv-wi-no da-ni-tli-si-s-go-i, a-tsi-lv-yi-no wi-du-na-de-go-i, a-le da-go-hv-s-go-i.
|
|---|
|
|---|
| If ye abide in me, and my words abide in you, ye shall ask what ye will, and it shall be done unto you.
|
|---|
| ᎢᏳᏃ ᏂᎯ ᏍᎩᏯᎡᏍᏗ, ᎠᎴ ᎠᎩᏁᏨ ᎢᏥᏯᎡᏍᏗ, ᏂᎦᎥ ᎢᏣᏚᎵᏍᎬ ᎢᏥᏔᏲᎯᎮᏍᏗ, ᎠᎴ ᎾᏍᎩ ᎠᏎ ᎢᏰᏣᏛᏁᏗ ᎨᏎᏍᏗ.
|
|---|
I-yu-no ni-hi s-gi-ya-e-s-di, a-le a-gi-ne-tsv i-tsi-ya-e-s-di, ni-ga-v i-tsa-du-li-s-gv i-tsi-ta-yo-hi-he-s-di, a-le na-s-gi a-se i-ye-tsa-dv-ne-di ge-se-s-di.
|
|---|
|
|---|
| Herein is my Father glorified, that ye bear much fruit; so shall ye be my disciples.
|
|---|
| ᎤᏣᏛ ᎢᏣᏓᏛᎥᏍᎬ ᎾᏍᎩ ᏅᏓᎦᎵᏍᏙᏔᏂ ᎡᏙᏓ ᏓᏰᏥᎸᏉᏔᏂ; ᎰᏩᏃ ᏍᎩᏍᏓᏩᏗᏙᎯ ᎨᏎᏍᏗ.
|
|---|
U-tsa-dv i-tsa-da-dv-v-s-gv na-s-gi nv-da-ga-li-s-do-ta-ni E-do-da da-ye-tsi-lv-quo-ta-ni; ho-wa-no s-gi-s-da-wa-di-do-hi ge-se-s-di.
|
|---|
|
|---|
| As the Father hath loved me, so have I loved you: continue ye in my love.
|
|---|
| ᎡᏙᏓ ᎠᎩᎨᏳᎯᏳ ᏥᎩ, ᎾᏍᎩᏯ ᎾᏍᏉ ᎢᏨᎨᏳᎢᏳ ᏂᎯ. ᏅᏩᏍᏗᏗᏎᏍᏗᏉ ᎢᏨᎨᏳᎢᏳ ᎨᏒᎢ.
|
|---|
E-do-da a-gi-ge-yu-hi-yu tsi-gi, na-s-gi-ya na-s-quo i-tsv-ge-yu-i-yu ni-hi. Nv-wa-s-di-di-se-s-di-quo i-tsv-ge-yu-i-yu ge-sv-i.
|
|---|
|
|---|
| If ye keep my commandments, ye shall abide in my love; even as I have kept my Father's commandments, and abide in his love.
|
|---|
| ᎢᏳᏃ ᏱᏥᏍᏆᏂᎪᏗ ᏗᎧᎿᎭᏩᏛᏍᏗ ᎠᏆᏤᎵᎦ, ᏱᏅᏩᏍᏗᏗᏉ ᎢᏨᎨᏳᎢᏳ ᎨᏒᎢ; ᎾᏍᎩᏯ ᏣᎩᏍᏆᏂᎪᏔᏅ ᏗᎧᎿᎭᏩᏛᏍᏗ ᎡᏙᏓ ᎤᏤᎵᎦ, ᎠᎴ ᏥᏅᏩᏍᏗᏗᏉ ᎠᎩᎨᏳᎯᏳ ᎨᏒᎢ.
|
|---|
I-yu-no yi-tsi-s-qua-ni-go-di di-ka-hna-wa-dv-s-di a-qua-tse-li-ga, yi-nv-wa-s-di-di-quo i-tsv-ge-yu-i-yu ge-sv-i; na-s-gi-ya tsa-gi-s-qua-ni-go-ta-nv di-ka-hna-wa-dv-s-di E-do-da u-tse-li-ga, a-le tsi-nv-wa-s-di-di-quo a-gi-ge-yu-hi-yu ge-sv-i.
|
|---|
|
|---|
| These things have I spoken unto you, that my joy might remain in you, and that your joy might be full.
|
|---|
| ᎾᏍᎩ ᎯᎠ ᏄᏍᏗ ᎢᏨᏬᏁᏔᏅ, ᏅᏩᏍᏗᏗᏎᏍᏗᏉ ᎦᏥᏯᎵᎡᎵᎬ ᎠᏇᎵᏒ, ᎠᎴ ᎠᎾᎵᎮᎵᎬ ᎤᎧᎵᏨᎯ ᎨᏎᏍᏗ ᎠᏇᎵᏒ.
|
|---|
Na-s-gi hi-a nu-s-di i-tsv-wo-ne-ta-nv, nv-wa-s-di-di-se-s-di-quo ga-tsi-ya-li-e-li-gv a-que-li-sv, a-le a-na-li-he-li-gv u-ka-li-tsv-hi ge-se-s-di a-que-li-sv.
|
|---|
|
|---|
| This is my commandment, That ye love one another, as I have loved you.
|
|---|
| ᏗᎧᎿᎭᏩᏛᏍᏗ ᎠᏆᏤᎵᎦ ᎯᎠ ᏄᏍᏗ, ᏗᏣᏓᎨᏳᎯᏳ ᎢᏳᎵᏍᏙᏗᏱ, ᎾᏍᎩᏯ ᎢᏨᎨᏳᎢᏳ ᏄᎵᏍᏔᏅᎢ.
|
|---|
Di-ka-hna-wa-dv-s-di a-qua-tse-li-ga hi-a nu-s-di, Di-tsa-da-ge-yu-hi-yu i-yu-li-s-do-di-yi, na-s-gi-ya i-tsv-ge-yu-i-yu nu-li-s-ta-nv-i.
|
|---|
|
|---|
| Greater love hath no man than this, that a man lay down his life for his friends.
|
|---|
| ᎥᏝ ᎩᎶ ᎤᏓᎨᏳᎯᏳ ᎨᏒ ᏴᎬᎪᎾᏛᏓ ᎤᎵᎢ ᏗᏲᎱᎯᏎᎯ.
|
|---|
V-tla gi-lo u-da-ge-yu-hi-yu ge-sv yv-gv-go-na-dv-da u-li-i di-yo-hu-hi-se-hi.
|
|---|
|
|---|
| Ye are my friends, if ye do whatsoever I command you.
|
|---|
| ᏂᎯ ᎠᏴ ᎢᎦᎵᎢ, ᎢᏳᏃ ᏂᎦᎥ ᎢᏨᏁᏤᎲ ᏱᏂᏣᏛᏁᎭ.
|
|---|
Ni-hi a-yv i-ga-li-i, i-yu-no ni-ga-v i-tsv-ne-tse-hv yi-ni-tsa-dv-ne-ha.
|
|---|
|
|---|
| Henceforth I call you not servants; for the servant knoweth not what his lord doeth: but I have called you friends; for all things that I have heard of my Father I have made known unto you.
|
|---|
| ᎪᎯ ᎢᏳᏓᎴᏅᏛ ᎥᏝ ᎢᏨᏅᏏᏓᏍᏗ ᏱᏨᏲᏎᎭ; ᎠᏥᏅᏏᏓᏍᏗᏰᏃ ᎥᏝ ᏯᎦᏔᎰ ᎤᎾᏞᎢ ᎾᏛᏁᎲᎢ. ᏂᎯᏍᎩᏂ ᎢᎦᎵᎢ ᎢᏨᏲᏎᎭ; ᏂᎦᎥᏰᏃ ᎪᎱᏍᏗ ᎡᏙᏓ ᏥᏯᏛᎦᏁᎸᎢ ᎾᏍᎩ ᎢᏨᎾᏄᎪᏫᏎᎸ.
|
|---|
Go-hi i-yu-da-le-nv-dv v-tla i-tsv-nv-si-da-s-di yi-tsv-yo-se-ha; a-tsi-nv-si-da-s-di-ye-no v-tla ya-ga-ta-ho u-na-tle-i na-dv-ne-hv-i. Ni-hi-s-gi-ni i-ga-li-i i-tsv-yo-se-ha; ni-ga-v-ye-no go-hu-s-di E-do-da tsi-ya-dv-ga-ne-lv-i na-s-gi i-tsv-na-nu-go-wi-se-lv.
|
|---|
|
|---|
| Ye have not chosen me, but I have chosen you, and ordained you, that ye should go and bring forth fruit, and that your fruit should remain: that whatsoever ye shall ask of the Father in my name, he may give it you.
|
|---|
| ᎥᏝ ᏂᎯ ᎠᏴ ᏍᎩᏯᏑᏰᏛ ᏱᎩ, ᎠᏴᏍᎩᏂ ᏂᎯ ᎢᏨᏯᏑᏰᏛ, ᎠᎴ ᏕᏨᏯᎧᏅ ᎢᏤᏅᏍᏗᏱ ᎤᏁᏉᏨᎯ ᎢᏥᎾᏄᎪᏫᏍᏗᏱ, ᎠᎴ ᎤᏁᏉᏨᎯ ᎢᏣᏤᎵᎦ ᎦᎶᏐᎲᏍᎩ ᏂᎨᏒᎾ ᎢᏳᎵᏍᏙᏗᏱ, ᏂᎦᎥᏃ ᎪᎱᏍᏗ ᎡᏥᏔᏲᏎᎮᏍᏗ ᎠᎦᏴᎵᎨᎢ, ᎠᏴ ᏓᏆᏙᎥ ᎢᏥᏔᏲᏍᏗᏍᎨᏍᏗ, ᎾᏍᎩ ᎢᏥᏁᏗᏱ.
|
|---|
V-tla ni-hi a-yv s-gi-ya-su-ye-dv yi-gi, a-yv-s-gi-ni ni-hi i-tsv-ya-su-ye-dv, a-le de-tsv-ya-ka-nv i-tse-nv-s-di-yi u-ne-quo-tsv-hi i-tsi-na-nu-go-wi-s-di-yi, a-le u-ne-quo-tsv-hi i-tsa-tse-li-ga ga-lo-so-hv-s-gi ni-ge-sv-na i-yu-li-s-do-di-yi, ni-ga-v-no go-hu-s-di e-tsi-ta-yo-se-he-s-di A-ga-yv-li-ge-i, a-yv da-qua-do-v i-tsi-ta-yo-s-di-s-ge-s-di, na-s-gi i-tsi-ne-di-yi.
|
|---|
|
|---|
| These things I command you, that ye love one another.
|
|---|
| ᎾᏍᎩ ᎯᎠ ᏄᏍᏗ ᎢᏨᏁᏤᎭ ᏗᏣᏓᎨᏳᎯᏳ ᎢᏳᎵᏍᏙᏗᏱ.
|
|---|
Na-s-gi hi-a nu-s-di i-tsv-ne-tse-ha di-tsa-da-ge-yu-hi-yu i-yu-li-s-do-di-yi.
|
|---|
|
|---|
| If the world hate you, ye know that it hated me before it hated you.
|
|---|
| ᎢᏳᏃ ᎡᎶᎯ ᎢᏥᏍᎦᎩᏳ ᏱᎩ, ᎢᏥᎦᏔᎭ ᎠᏴ ᎢᎬᏱ ᎠᎩᏍᎦᎩᏳ ᏄᎵᏍᏔᏅ ᏂᎯ ᎣᏂ.
|
|---|
I-yu-no e-lo-hi i-tsi-s-ga-gi-yu yi-gi, i-tsi-ga-ta-ha a-yv i-gv-yi a-gi-s-ga-gi-yu nu-li-s-ta-nv ni-hi o-ni.
|
|---|
|
|---|
| If ye were of the world, the world would love his own: but because ye are not of the world, but I have chosen you out of the world, therefore the world hateth you.
|
|---|
| ᎢᏳᏃ ᎡᎶᎯ ᎢᏣᎵᎪᎯ ᏱᎨᏎᎢ, ᎡᎶᎯ ᏧᎨᏳᎯᏳ ᏱᎨᏎ ᏧᏤᎵᎦ. ᎠᏎᏃ ᎡᎶᎯ ᎢᏣᎵᎪᎯ ᏂᎨᏒᎾ ᏥᎩ, ᎢᏨᏯᏑᏰᏛᏍᎩᏂ ᎡᎶᎯ ᏥᎩ, ᎾᏍᎩ ᏅᏗᎦᎵᏍᏙᏗᎭ ᎡᎶᎯ ᎢᏥᏍᎦᎦ.
|
|---|
I-yu-no e-lo-hi i-tsa-li-go-hi yi-ge-se-i, e-lo-hi tsu-ge-yu-hi-yu yi-ge-se tsu-tse-li-ga. A-se-no e-lo-hi i-tsa-li-go-hi ni-ge-sv-na tsi-gi, i-tsv-ya-su-ye-dv-s-gi-ni e-lo-hi tsi-gi, na-s-gi nv-di-ga-li-s-do-di-ha e-lo-hi i-tsi-s-ga-ga.
|
|---|
|
|---|
| Remember the word that I said unto you, The servant is not greater than his lord. If they have persecuted me, they will also persecute you; if they have kept my saying, they will keep yours also.
|
|---|
| ᎢᏣᏅᏖᏍᏗ ᎯᎠ ᏥᏂᏨᏪᏎᎸᎩ; ᎠᏥᎾᏝᎢ ᎥᏝ ᎤᏟ ᎠᏥᎸᏉᏗᏳ ᏱᎨᏐ ᎡᏍᎦᏉ ᎤᎾᏝᎢ. ᎢᏳᏃ ᎠᏴ ᎬᎩᏐᏢᏔᏅᎯ ᏱᎩ, ᏂᎯ ᎾᏍᏉ ᏓᎨᏥᏐᏢᏔᏂ. ᎢᏳᏃ ᎠᏴ ᎠᎩᏁᏨ ᎤᏂᏍᏆᏂᎪᏔᏅᎯ ᏱᎩ, ᏂᎯ ᎾᏍᏉ ᎢᏥᏁᏨ ᏛᏂᏍᏆᏂᎪᏔᏂ.
|
|---|
I-tsa-nv-te-s-di hi-a tsi-ni-tsv-we-se-lv-gi; A-tsi-na-tla-i v-tla u-tli a-tsi-lv-quo-di-yu yi-ge-so e-s-ga-quo u-na-tla-i. I-yu-no a-yv gv-gi-so-tlv-ta-nv-hi yi-gi, ni-hi na-s-quo da-ge-tsi-so-tlv-ta-ni. I-yu-no a-yv a-gi-ne-tsv u-ni-s-qua-ni-go-ta-nv-hi yi-gi, ni-hi na-s-quo i-tsi-ne-tsv dv-ni-s-qua-ni-go-ta-ni.
|
|---|
|
|---|
| But all these things will they do unto you for my name's sake, because they know not him that sent me.
|
|---|
| ᎠᏍᎡᏃ ᎾᏍᎩ ᎯᎠ ᏂᎦᏛ ᏧᏓᎴᏅᏛ ᏅᏓᎨᏨᏁᎵ ᏅᏗᎦᎵᏍᏙᏗᏍᎨᏍᏗ ᏓᏆᏙᎥᎢ, ᏂᎬᏩᎦᏔᎲᎾ ᎨᏒ ᎢᏳᏍᏗ ᏅᏛᎩᏅᏏᏛ.
|
|---|
A-s-e-no na-s-gi hi-a ni-ga-dv tsu-da-le-nv-dv nv-da-ge-tsv-ne-li nv-di-ga-li-s-do-di-s-ge-s-di da-qua-do-v-i, ni-gv-wa-ga-ta-hv-na ge-sv i-yu-s-di nv-dv-gi-nv-si-dv.
|
|---|
|
|---|
| If I had not come and spoken unto them, they had not had sin: but now they have no cloke for their sin.
|
|---|
| ᎢᏳᏃ ᎾᎩᎷᏨᎾ ᎠᎴ ᏂᎦᏥᏬᏁᏔᏅᎾ ᏱᎨᏎᎢ, ᎥᏝ ᎠᏍᎦᏂ ᏱᎬᏩᏁᎮᎢ; ᎪᎯᏍᎩᏂ ᎥᏝ ᏳᏁᎭ ᎤᏄᏢᏙᏗ ᎤᏂᏍᎦᏅᏨᎢ.
|
|---|
I-yu-no na-gi-lu-tsv-na a-le ni-ga-tsi-wo-ne-ta-nv-na yi-ge-se-i, v-tla a-s-ga-ni yi-gv-wa-ne-he-i; go-hi-s-gi-ni v-tla yu-ne-ha u-nu-tlv-do-di u-ni-s-ga-nv-tsv-i.
|
|---|
|
|---|
| He that hateth me hateth my Father also.
|
|---|
| ᎾᏍᎩ Ꮎ ᎠᎩᏍᎦᎩ ᎠᏴ, ᎾᏍᏉ ᎠᏍᎦᎩᏳ ᎨᏐ ᎡᏙᏓ.
|
|---|
Na-s-gi na a-gi-s-ga-gi a-yv, na-s-quo a-s-ga-gi-yu ge-so E-do-da.
|
|---|
|
|---|
| If I had not done among them the works which none other man did, they had not had sin: but now have they both seen and hated both me and my Father.
|
|---|
| ᎢᏳᏃ ᎠᏁᎲ ᏂᏓᎩᎸᏫᏍᏓᏁᎲᎾ ᏱᎨᏎᎢ ᎩᎶ ᏧᎸᏫᏍᏓᏁᎸᎯ ᏂᎨᏒᎾ ᏥᎩ, ᎥᏝ ᎠᏍᎦᏂ ᏱᎬᏩᏁᎮᎢ; ᎠᏎᏃ ᎿᎭᏉ ᎢᏧᎳ ᎪᎩᏂᎪᎲ ᎠᎴ ᎪᎩᏂᏍᎦᎩᏳ ᏄᎵᏍᏔᏅ ᎢᏧᎳ ᎠᏴ ᎡᏙᏓᏃ.
|
|---|
I-yu-no a-ne-hv ni-da-gi-lv-wi-s-da-ne-hv-na yi-ge-se-i gi-lo tsu-lv-wi-s-da-ne-lv-hi ni-ge-sv-na tsi-gi, v-tla a-s-ga-ni yi-gv-wa-ne-he-i; a-se-no hna-quo i-tsu-la go-gi-ni-go-hv a-le go-gi-ni-s-ga-gi-yu nu-li-s-ta-nv i-tsu-la a-yv E-do-da-no.
|
|---|
|
|---|
| But this cometh to pass, that the word might be fulfilled that is written in their law, They hated me without a cause.
|
|---|
| ᎠᏎᏃ [ᎾᏍᎩ ᏄᎵᏍᏔᏅᎩ] ᎤᏙᎯᏳᏗᏱ ᎠᏰᎸᏒ ᎤᎵᏁᏨ ᎯᎠ ᏥᏂᎬᏅ ᏥᎪᏪᎳ ᏧᏂᎧᎿᎭᏩᏛᏍᏗᏱ; "ᎠᏎᏉ ᎬᎩᏍᎦᎬᎩ."
|
|---|
A-se-no [na-s-gi nu-li-s-ta-nv-gi] u-do-hi-yu-di-yi a-ye-lv-sv u-li-ne-tsv hi-a tsi-ni-gv-nv tsi-go-we-la tsu-ni-ka-hna-wa-dv-s-di-yi; "A-se-quo gv-gi-s-ga-gv-gi."
|
|---|
|
|---|
| But when the Comforter is come, whom I will send unto you from the Father, even the Spirit of truth, which proceedeth from the Father, he shall testify of me:
|
|---|
| ᎠᏎᏃ ᎠᏓᏅᏬᎯᏍᏗᏍᎩ ᎦᎷᏨᎭ, ᎾᏍᎩ ᎠᎦᏴᎵᎨᏍᏛᏱ ᏅᏓᏥᏅᏍᏗ ᏥᎩ ᏂᎯ ᎢᏥᎷᏤᏗᏱ, ᎦᏰᎪᎩ ᏂᎨᏒᎾ ᎠᏓᏅᏙ ᎠᎦᏴᎵᎨᏍᏛᏱ ᏅᏛᏓᎴᎲᏍᎩ, ᎾᏍᎩ ᏛᎩᏃᎮᎵ ᎬᏂᎨᏒ ᏅᏛᏋᏁᎵ.
|
|---|
A-se-no a-da-nv-wo-hi-s-di-s-gi ga-lu-tsv-ha, na-s-gi A-ga-yv-li-ge-s-dv-yi nv-da-tsi-nv-s-di tsi-gi ni-hi i-tsi-lu-tse-di-yi, ga-ye-go-gi ni-ge-sv-na A-da-nv-do a-ga-yv-li-ge-s-dv-yi nv-dv-da-le-hv-s-gi, na-s-gi dv-gi-no-he-li gv-ni-ge-sv nv-dv-quv-ne-li.
|
|---|
|
|---|
| And ye also shall bear witness, because ye have been with me from the beginning.
|
|---|
| ᏂᎯᏃ ᎾᏍᏉ ᎢᏥᏃᎮᏍᎩ ᎨᏎᏍᏗ, ᎢᏧᎳᎭᏰᏃ ᎢᏕᏓ ᏗᏓᎴᏂᏍᎬ ᏅᏓᎬᏩᏓᎴᏅᏛ.
|
|---|
Ni-hi-no na-s-quo i-tsi-no-he-s-gi ge-se-s-di, i-tsu-la-ha-ye-no i-de-da di-da-le-ni-s-gv nv-da-gv-wa-da-le-nv-dv.
|
|---|


'Yellow vest' anniversary protests lead to 254 arrests
The violence in Paris, where police battled rioters for hours around the southeastern Place d'Italie square, was the worst in the French capital in months.
French police arrested 254 people during clashes in Paris and other cities on the first anniversary of the "yellow vest" movement, Interior Minister Christophe Castaner said Sunday.
The violence in Paris, where police battled rioters for hours around the southeastern Place d'Italie square, was the worst in the French capital in months.
A total of 173 people were arrested in the city, Castaner told Europe 1 radio, revising upwards Saturday's count of 147.
Dozens more were arrested in smaller protests in cities including Nantes, Montpellier, Strasbourg, Bordeaux and Toulouse.
Further protests are planned Sunday.
Castaner claimed that there were "few demonstrators" among at the protesters Saturday in Paris, who he said were mainly "thugs, brutes who came to fight the security forces and prevent the emergency services from doing their work."
Several cars were overturned or set alight, bus shelters were smashed and a monument to a World War II hero - Marshal Alphonse Juin -- was defaced.
The windows of a major shopping centre and a neighbouring hotel were also attacked by groups of stone-throwing demonstrators dressed in black, who wore masks to hide their faces.
The police, who had initially authorised the demonstration but declared it illegal after it turned violent, used tear gas and water cannon to try quell the unrest.
In rural France, the anniversary passed off generally peacefully, with thousands of yellow vests occupying the traffic roundabouts where the movement began last year over rising fuel taxes.
The interior ministry put the number of demonstrators at 28,600 nationwide but the organisers said nearly 40,000 people had rallied -- a far cry from the estimated 282,000 who took part in the first big day of protests on November 17, 2018.
The leaderless yellow vests, who accuse President Emmanuel Macron of ruling on behalf of the urban elite, are adamant that they have not gone away.
They are now looking to join forces with the trade union movement, which is planning a major transport strike over pension reforms starting on December 5.


Class Verifications
public class Verifications
extends java.lang.Object
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Verifications.ComparativeRelationType
static class
Verifications.VerificationComparisonType
static class
Verifications.VerificationType
-
Method Summary
Modifier and Type Method Description static java.lang.AssertionError
getVerificationError()
static java.lang.String
getVerificationFailuresMessage()
static void
resetVerificationError()
static void
resetVerificationFailuresMessage()
static void
verifyBrowserAttribute(org.openqa.selenium.WebDriver driver, java.lang.String browserAttribute, java.lang.String expectedValue, int verificationComparisonType, java.lang.Boolean verificationType)
Verifies that browser attribute equals expectedValue if verificationType is true, or does not equal expectedValue if verificationType is false.static void
verifyBrowserAttribute(org.openqa.selenium.WebDriver driver, java.lang.String browserAttribute, java.lang.String expectedValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)
Verifies that browser attribute equals expectedValue if verificationType is POSITIVE, or does not equal expectedValue if verificationType is NEGATIVE.static void
verifyComparativeRelation(java.lang.Number expectedValue, java.lang.Number actualValue, Verifications.ComparativeRelationType comparativeRelationType, Verifications.VerificationType verificationType)
Verifies that the expectedValue is related to the actualValue using the desired comparativeRelationType if verificationType is POSITIVE, or not related if verificationType is NEGATIVE.static void
verifyComparativeRelation(java.lang.Number expectedValue, java.lang.Number actualValue, java.lang.String comparativeRelationType, java.lang.Boolean verificationType)
Verifies that the expectedValue is related to the actualValue using the desired comparativeRelationType if verificationType is true, or not related if verificationType is false.static void
verifyElementAttribute(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String elementAttribute, java.lang.String expectedValue, int verificationComparisonType, java.lang.Boolean verificationType)
Verifies that webElement attribute equals expectedValue if verificationType is true, or does not equal expectedValue if verificationType is false.static void
verifyElementAttribute(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String elementAttribute, java.lang.String expectedValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)
Verifies that webElement attribute equals expectedValue if verificationType is POSITIVE, or does not equal expectedValue if verificationType is NEGATIVE.static void
verifyElementCSSProperty(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String propertyName, java.lang.String expectedValue, int verificationComparisonType, java.lang.Boolean verificationType)
Verifies webElement CSSProperty equals expectedValue if verificationType is true, or does not equal expectedValue if verificationType is false.static void
verifyElementCSSProperty(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String propertyName, java.lang.String expectedValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)
Verifies webElement CSSProperty equals expectedValue if verificationType is POSITIVE, or does not equal expectedValue if verificationType is NEGATIVE.static void
verifyElementExists(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, Verifications.VerificationType verificationType)
Verifies that webElement exists if VerificationType is POSITIVE, or does not exist if VerificationType is NEGATIVE.static void
verifyElementExists(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.Boolean verificationType)
Verifies that webElement exists if VerificationType is true, or does not exist if VerificationType is false.static void
verifyEquals(java.lang.Object expectedValue, java.lang.Object actualValue, int verificationComparisonType, java.lang.Boolean verificationType)
Verifies that two strings are equal if VerificationType is true, or not equal if VerificationType is false.static void
verifyEquals(java.lang.Object expectedValue, java.lang.Object actualValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)
Verifies that two strings are equal if VerificationType is POSITIVE, or not equal if VerificationType is NEGATIVE.static void
verifyFileExists(java.lang.String fileFolderName, java.lang.String fileName, int numberOfRetries, Verifications.VerificationType verificationType)
Verifies that a certain file exists if verificationType is POSITIVE, or doesn't exist if verificationType is NEGATIVE.static void
verifyFileExists(java.lang.String fileFolderName, java.lang.String fileName, int numberOfRetries, java.lang.Boolean verificationType)
Verifies that a certain file exists if verificationType is true, or doesn't exist if verificationType is false.static void
verifyJSONFileContent(io.restassured.response.Response response, java.lang.String referenceJsonFilePath, RestActions.ComparisonType comparisonType, Verifications.VerificationType verificationType)
Verifies that the target API Response object matches the expected referenceJsonFile if VerificationType is POSITIVE, or doesn't match it if VerificationType is NEGATIVE.static void
verifyJSONFileContent(io.restassured.response.Response response, java.lang.String referenceJsonFilePath, RestActions.ComparisonType comparisonType, java.lang.String jsonPathToTargetArray, Verifications.VerificationType verificationType)
Verifies that the target array extracted by parsing the API Response object matches the expected referenceJsonFile if VerificationType is POSITIVE, or doesn't match it if VerificationType is NEGATIVE.static void
verifyNull(java.lang.Object object, Verifications.VerificationType verificationType)
Verifies that object is null if VerificationType is POSITIVE, or not equal if VerificationType is NEGATIVE.static void
verifyNull(java.lang.Object object, java.lang.Boolean verificationType)
Verifies that object is null if VerificationType is true, or not equal if VerificationType is false.static void
verifyTrue(java.lang.Boolean conditionalStatement, Verifications.VerificationType verificationType)
Verifies that the provided conditional statement evaluates to true if VerificationType is POSITIVE, or to false if VerificationType is NEGATIVE.
-
Method Details
-
resetVerificationFailuresMessage
public static void resetVerificationFailuresMessage() -
getVerificationFailuresMessage
public static java.lang.String getVerificationFailuresMessage() -
getVerificationError
public static java.lang.AssertionError getVerificationError() -
resetVerificationError
public static void resetVerificationError() -
verifyEquals
public static void verifyEquals(java.lang.Object expectedValue, java.lang.Object actualValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)Verifies that two strings are equal if VerificationType is POSITIVE, or not equal if VerificationType is NEGATIVE.- Parameters:
expectedValue
- the expected value (test data) of this verificationactualValue
- the actual value (calculated data) of this verificationverificationComparisonType
- VerificationComparisonType.LITERAL, CONTAINS, REGEX, CASE_INSENSITIVEverificationType
- VerificationType.POSITIVE, NEGATIVE
-
verifyEquals
public static void verifyEquals(java.lang.Object expectedValue, java.lang.Object actualValue, int verificationComparisonType, java.lang.Boolean verificationType)Verifies that two strings are equal if VerificationType is true, or not equal if VerificationType is false.This method will be removed soon. Use
verifyEquals(Object , Object , VerificationComparisonType , VerificationType)
instead.- Parameters:
expectedValue
- the expected value (test data) of this verificationactualValue
- the actual value (calculated data) of this verificationverificationComparisonType
- 1 is literalComparison, 2 is regexComparison, 3 is containsComparison, 4 is caseInsensitiveComparisonverificationType
- either 'true' for a positive verification that the objects are equal, or 'false' for a negative verification that the objects are not equal
-
verifyNull
public static void verifyNull(java.lang.Object object, Verifications.VerificationType verificationType)Verifies that object is null if VerificationType is POSITIVE, or not equal if VerificationType is NEGATIVE.- Parameters:
object
- the object under testverificationType
- VerificationType.POSITIVE, NEGATIVE
-
verifyNull
public static void verifyNull(java.lang.Object object, java.lang.Boolean verificationType)Verifies that object is null if VerificationType is true, or not equal if VerificationType is false.This method will be removed soon. Use
verifyNull(Object , VerificationType)
instead.- Parameters:
object
- the object under testverificationType
- either 'true' for a positive verification that the object refers to null, or 'false' for a negative verification that the object doesn't refer to null
-
verifyElementExists
public static void verifyElementExists(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, Verifications.VerificationType verificationType)Verifies that webElement exists if VerificationType is POSITIVE, or does not exist if VerificationType is NEGATIVE.- Parameters:
driver
- the current instance of Selenium webdriverelementLocator
- the locator of the webElement under test (By xpath, id, selector, name ...etc)verificationType
- VerificationType.POSITIVE, NEGATIVE
-
verifyElementExists
public static void verifyElementExists(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.Boolean verificationType)Verifies that webElement exists if VerificationType is true, or does not exist if VerificationType is false.This method will be removed soon. Use
verifyElementExists(WebDriver , By , VerificationType)
instead.- Parameters:
driver
- the current instance of Selenium webdriverelementLocator
- the locator of the webElement under test (By xpath, id, selector, name ...etc)verificationType
- either 'true' for a positive verification that the element exists, or 'false' for a negative verification that the element doesn't exist
-
verifyElementAttribute
public static void verifyElementAttribute(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String elementAttribute, java.lang.String expectedValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)Verifies that webElement attribute equals expectedValue if verificationType is POSITIVE, or does not equal expectedValue if verificationType is NEGATIVE.- Parameters:
driver
- the current instance of Selenium webdriverelementLocator
- the locator of the webElement under test (By xpath, id, selector, name ...etc)elementAttribute
- the desired attribute of the webElement under testexpectedValue
- the expected value (test data) of this verificationverificationComparisonType
- VerificationComparisonType.LITERAL, CONTAINS, REGEX, CASE_INSENSITIVEverificationType
- VerificationType.POSITIVE, NEGATIVE expected value
-
verifyElementAttribute
public static void verifyElementAttribute(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String elementAttribute, java.lang.String expectedValue, int verificationComparisonType, java.lang.Boolean verificationType)Verifies that webElement attribute equals expectedValue if verificationType is true, or does not equal expectedValue if verificationType is false.This method will be removed soon. Use
verifyElementAttribute(WebDriver , By , String, String, VerificationComparisonType , VerificationType)
instead.- Parameters:
driver
- the current instance of Selenium webdriverelementLocator
- the locator of the webElement under test (By xpath, id, selector, name ...etc)elementAttribute
- the desired attribute of the webElement under testexpectedValue
- the expected value (test data) of this verificationverificationComparisonType
- 1 is literalComparison, 2 is regexComparison, 3 is containsComparison, 4 is caseInsensitiveComparisonverificationType
- either 'true' for a positive verification that the element attribute actual value matches the expected value, or 'false' for a negative verification that the element attribute actual value doesn't match the expected value
-
verifyElementCSSProperty
public static void verifyElementCSSProperty(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String propertyName, java.lang.String expectedValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)Verifies webElement CSSProperty equals expectedValue if verificationType is POSITIVE, or does not equal expectedValue if verificationType is NEGATIVE.- Parameters:
driver
- the current instance of Selenium webdriverelementLocator
- the locator of the webElement under test (By xpath, id, selector, name ...etc)propertyName
- the target CSS property of the webElement under testexpectedValue
- the expected value (test data) of this assertionverificationComparisonType
- VerificationComparisonType.LITERAL, CONTAINS, REGEX, CASE_INSENSITIVEverificationType
- VerificationType.POSITIVE, NEGATIVE expected value
-
verifyElementCSSProperty
public static void verifyElementCSSProperty(org.openqa.selenium.WebDriver driver, org.openqa.selenium.By elementLocator, java.lang.String propertyName, java.lang.String expectedValue, int verificationComparisonType, java.lang.Boolean verificationType)Verifies webElement CSSProperty equals expectedValue if verificationType is true, or does not equal expectedValue if verificationType is false.This method will be removed soon. Use
verifyElementCSSProperty(WebDriver , By , String, String, VerificationComparisonType , VerificationType)
instead.- Parameters:
driver
- the current instance of Selenium webdriverelementLocator
- the locator of the webElement under test (By xpath, id, selector, name ...etc)propertyName
- the target CSS property of the webElement under testexpectedValue
- the expected value (test data) of this assertionverificationComparisonType
- 1 is literalComparison, 2 is regexComparison, 3 is containsComparison, 4 is caseInsensitiveComparisonverificationType
- either 'true' for a positive assertion that the element CSSProperty actual value matches the expected value, or 'false' for a negative assertion that the element CSSProperty actual value doesn't match the expected value
-
verifyBrowserAttribute
public static void verifyBrowserAttribute(org.openqa.selenium.WebDriver driver, java.lang.String browserAttribute, java.lang.String expectedValue, Verifications.VerificationComparisonType verificationComparisonType, Verifications.VerificationType verificationType)Verifies that browser attribute equals expectedValue if verificationType is POSITIVE, or does not equal expectedValue if verificationType is NEGATIVE.- Parameters:
driver
- the current instance of Selenium webdriverbrowserAttribute
- the desired attribute of the browser window under testexpectedValue
- the expected value (test data) of this verificationverificationComparisonType
- VerificationComparisonType.LITERAL, CONTAINS, REGEX, CASE_INSENSITIVEverificationType
- VerificationType.POSITIVE, NEGATIVE expected value
-
verifyBrowserAttribute
public static void verifyBrowserAttribute(org.openqa.selenium.WebDriver driver, java.lang.String browserAttribute, java.lang.String expectedValue, int verificationComparisonType, java.lang.Boolean verificationType)Verifies that browser attribute equals expectedValue if verificationType is true, or does not equal expectedValue if verificationType is false.This method will be removed soon. Use
verifyBrowserAttribute(WebDriver , String, String, VerificationComparisonType , VerificationType)
instead.- Parameters:
driver
- the current instance of Selenium webdriverbrowserAttribute
- the desired attribute of the browser window under testexpectedValue
- the expected value (test data) of this verificationverificationComparisonType
- 1 is literalComparison, 2 is regexComparison, 3 is containsComparison, 4 is caseInsensitiveComparisonverificationType
- either 'true' for a positive verification that the browser attribute actual value matches the expected value, or 'false' for a negative verification that the browser attribute actual value doesn't match the expected value
-
verifyComparativeRelation
public static void verifyComparativeRelation(java.lang.Number expectedValue, java.lang.Number actualValue, Verifications.ComparativeRelationType comparativeRelationType, Verifications.VerificationType verificationType)Verifies that the expectedValue is related to the actualValue using the desired comparativeRelationType if verificationType is POSITIVE, or not related if verificationType is NEGATIVE.- Parameters:
expectedValue
- the expected value (test data) of this assertionactualValue
- the actual value (calculated data) of this assertioncomparativeRelationType
- assertComparativeRelation.GREATER_THAN, GREATER_THAN_OR_EQUALS, LESS_THAN, LESS_THAN_OR_EQUALS, EQUALSverificationType
- VerificationType.POSITIVE, NEGATIVE expected value
-
verifyComparativeRelation
public static void verifyComparativeRelation(java.lang.Number expectedValue, java.lang.Number actualValue, java.lang.String comparativeRelationType, java.lang.Boolean verificationType)Verifies that the expectedValue is related to the actualValue using the desired comparativeRelationType if verificationType is true, or not related if verificationType is false.This method will be removed soon. Use
verifyComparativeRelation(Number , Number, ComparativeRelationType , VerificationType)
instead.- Parameters:
expectedValue
- the expected value (test data) of this assertionactualValue
- the actual value (calculated data) of this assertioncomparativeRelationType
- accepts standard java Equality, Relational, and Conditional Operators, except [not equal to]: https://docs.oracle.com/javase/tutorial/java/nutsandbolts/op2.htmlverificationType
- either 'true' for a positive assertion that the expectedValue is related to the actualValue using the desired comparativeRelationType, or 'false' for a negative assertion that the expectedValue is not related to the actualValue using the desired comparativeRelationType
-
verifyFileExists
public static void verifyFileExists(java.lang.String fileFolderName, java.lang.String fileName, int numberOfRetries, Verifications.VerificationType verificationType)Verifies that a certain file exists if verificationType is POSITIVE, or doesn't exist if verificationType is NEGATIVE.- Parameters:
fileFolderName
- The location of the folder that contains the target file, relative to the project's root folder, ending with a /fileName
- The name of the target file (including its extension if any)numberOfRetries
- number of times to try to find the file, given that each retry is separated by a 500 millisecond wait timeverificationType
- VerificationType.POSITIVE, NEGATIVE expected value
-
verifyFileExists
public static void verifyFileExists(java.lang.String fileFolderName, java.lang.String fileName, int numberOfRetries, java.lang.Boolean verificationType)Verifies that a certain file exists if verificationType is true, or doesn't exist if verificationType is false.This method will be removed soon. Use
verifyFileExists(String , String, int , VerificationType)
instead.- Parameters:
fileFolderName
- The location of the folder that contains the target file, relative to the project's root folder, ending with a /fileName
- The name of the target file (including its extension if any)numberOfRetries
- number of times to try to find the file, given that each retry is separated by a 500 millisecond wait timeverificationType
- either 'true' for a positive verification that the file exists, or 'false' for a negative assertion that the file doesn't exist
-
verifyTrue
public static void verifyTrue(java.lang.Boolean conditionalStatement, Verifications.VerificationType verificationType)Verifies that the provided conditional statement evaluates to true if VerificationType is POSITIVE, or to false if VerificationType is NEGATIVE.- Parameters:
conditionalStatement
- the statement that will be evaluated to see if it matches the expected resultverificationType
- VerificationType.POSITIVE, NEGATIVE
-
verifyJSONFileContent
public static void verifyJSONFileContent(io.restassured.response.Response response, java.lang.String referenceJsonFilePath, RestActions.ComparisonType comparisonType, Verifications.VerificationType verificationType)Verifies that the target API Response object matches the expected referenceJsonFile if VerificationType is POSITIVE, or doesn't match it if VerificationType is NEGATIVE.- Parameters:
response
- the full response object returned by performRequest method.referenceJsonFilePath
- the full absolute path to the test data file that will be used as a reference for this comparisoncomparisonType
- ComparisonType.EQUALS, CONTAINS, MATCHES, EQUALS_STRICT; Note that MATCHES ignores the content ordering inside the JSONverificationType
- AssertionType.POSITIVE, NEGATIVE
-
verifyJSONFileContent
public static void verifyJSONFileContent(io.restassured.response.Response response, java.lang.String referenceJsonFilePath, RestActions.ComparisonType comparisonType, java.lang.String jsonPathToTargetArray, Verifications.VerificationType verificationType)Verifies that the target array extracted by parsing the API Response object matches the expected referenceJsonFile if VerificationType is POSITIVE, or doesn't match it if VerificationType is NEGATIVE.- Parameters:
response
- the full response object returned by performRequest method.referenceJsonFilePath
- the full absolute path to the test data file that will be used as a reference for this comparisoncomparisonType
- ComparisonType.EQUALS, CONTAINS, MATCHES, EQUALS_STRICT; Note that MATCHES ignores the content ordering inside the JSONjsonPathToTargetArray
- a jsonpath that will be parsed to point to the target JSON ArrayverificationType
- AssertionType.POSITIVE, NEGATIVE
-


--- layout: post title: Unknown date: '2010-02-23T00:00:00-05:00' tags: - '2010' tumblr_url: http://poetry.liabogoev.com/post/49084432003/unknown ---
Fear, a vice around my heart.
A caged bird, longs to sing.
Frightened of the open air.
Does disappointment, crushing sadness,
Lurk ahead?
Or euphoria, beyond any known?
My heart, not dares to hope,
Seeking to extinguish,
Most brutally,
The glimmer of light ahead.
Time, in endless limbo,
Crawls sluggishly along
I float
Backwardly, it seems.
Yet the dreaded day approaches,
And chill fills my soul.
Heels dig into crumbling sand,
And time lurches forward,
A horse, slapped on the flank,
Galloping off
To the edge of the cliff.
The fall, forevermore,
I want to know.
No, I don’t.
Will I fly or die?


Pages
The page is the primary unit of interaction in jQuery Mobile and is used to group content into logical views that can be animated in and out of view with page transitions. A HTML document may start with a single "page" and the Ajax navigation system will load additional pages on demand into the DOM as users navigate around. Alternatively, a HTML document can be built with multiple "pages" inside it and the framework will transition between these local views with no need to request content from the server.
Mobile page structure
A jQuery Mobile site must start with an HTML5 doctype
to
take full advantage of all of the framework's features. (Older devices
with browsers that don't understand HTML5 will safely ignore the
'doctype' and various custom attributes.)
In the head
, references to jQuery, jQuery Mobile and the
mobile theme CSS are all required to start things off. The easiest way
to get started is to link to files hosted on the jQuery CDN or for
best performance,
build a custom bundle.
Here is how you can link to the CDN, where [version] should be replaced by the actual version. See also the download page on the web site.
<!DOCTYPE html>

<title>Page Title</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="http://code.jquery.com/mobile/[version]/jquery.mobile-[version].min.css" />

...content goes here...

Viewport meta tag
Note above that there is a meta viewport
tag in the
head
to specify how the browser should display the page
zoom level and dimensions. If this isn't set, many mobile browsers
will use a "virtual" page width around 900 pixels to make it work well
with existing desktop sites but the screens may look zoomed out and
too wide. By setting the viewport attributes to
content="width=device-width, initial-scale=1"
,
the width will be set to the pixel width of the device screen.
<meta name="viewport" content="width=device-width, initial-scale=1">
These settings do not disable the user's ability to zoom the pages, which is nice from an accessibility perspective. There is a minor issue in iOS that doesn't properly set the width when changing orientations with these viewport settings, but this will hopefully be fixed in a future release. You can set other viewport values to disable zooming if required since this is part of your page content, not the library.
Inside the body: Pages
Inside the
tag, each view or "page" on the
mobile device is identified with an element (usually a
div
) with the data-role="page"
attribute.

...

Within the "page" container, any valid HTML markup can be used, but
for typical pages in jQuery Mobile, the immediate children of a "page"
are divs with data-role="header"
,
class="ui-content"
, and data-role="footer"
.

...

...

...

Putting it together: Basic single page template
Putting it all together, this is the standard boilerplate page template you should start with on a project:
<!DOCTYPE html>

<title>Page Title</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="http://code.jquery.com/mobile/[version]/jquery.mobile-[version].min.css" />

Page Title

Page content goes here.

Page Footer

View page template
Multi-page template structure
A single HTML document can contain multiple "pages" that are loaded
together by stacking multiple divs with a data-role
of
"page"
. Each "page" block needs a unique id
(id="foo"
) that will be used to link internally between
"pages" (href="#foo"
). When a link is clicked, the
framework will look for an internal "page" with the id and transition
it into view.
Here is an example of a two "page" site built with two jQuery Mobile
divs navigated by linking to an id placed on each page wrapper. Note
that the ids on the page wrappers are only needed to support the
internal page linking, and are optional if each page is a separate
HTML document. Here is what two pages look like inside the
body
element.

Foo

I'm first in the source order so I'm shown as the page.

View internal page called bar

Page Footer

Bar

I'm the second in the source order so I'm hidden when the page loads. I'm just shown if a link that references my id is beeing clicked.

Back to foo

Page Footer

View multi-page template
PLEASE NOTE: Since we are using the hash to track navigation history
for all the Ajax "pages", it's not currently possible to deep link to
an anchor (index.html#foo
) on a page in jQuery Mobile,
because the framework will look for a "page" with an
id
of #foo
instead of the native behavior of
scrolling to the content with that id
.
The id
attribute of all your elements must be not only
unique on a given page, but also unique across the pages in a site.
This is because jQuery Mobile's single-page navigation model allows
many different "pages" to be present in the DOM at the same time. This
also applies when using a multi-page template, since all "pages" on
the template are loaded at once.
Conventions, not requirements
Although the page structure outlined above is a recommended approach for a standard web app built with jQuery Mobile, the framework is very flexible with document structure. The page, header, content, and footer data-role elements are optional and are mostly helpful for providing some basic formatting and structure. The page wrapper that used to be required for auto-initialization to work is now optional for single page documents, so there isn't any required markup at all. For a web page with a custom layout, all of these structural elements can be omitted and the Ajax navigation and all widgets will work just like they do in the boilerplate structure. Behind the scenes, the framework will inject the page wrapper if it's not included in the markup because it's needed for managing pages, but the starting markup can now be extremely simple.
Note: In a multi-page setup, you are required to have page wrappers in your markup in order to group the content into multiple pages.
Also Note: If your body contains no
data-role="page"
divs, jQuery Mobile wraps the entire
contents of the body within a page div as explained above. jQuery
Mobile is using jQuery's wrapAll()
method to do this
which looks for any script tags inside the content being wrapped, and
loads each script source via XHR. If scripts are present in the body,
the browser ends up loading them twice. We therefore strongly
recommend that jQuery Mobile documents with scripts in their body also
contain a div
with data-role="page"
.
Prefetching pages
When using single-page templates, you can prefetch pages into the DOM
so that they're available instantly when the user visits them. To
prefetch a page, add the data-prefetch
attribute to a
link that points to the page. jQuery Mobile then loads the target page
in the background after the primary page has loaded and the
pagecreate
event has triggered.
Alternatively, you can prefetch a page programmatically using the
pagecontainer widget's load()
method:
$( ":mobile-pagecontainer" ).pagecontainer( "load", pageUrl, { showLoadMsg: false } );
DOM Cache
Keeping lots of pages in the DOM quickly fills the browser's memory, and can cause some mobile browsers to slow down or even crash. jQuery Mobile has a simple mechanism to keep the DOM tidy.
Whenever it loads a page via Ajax, it flags the page to be removed
from the DOM when you navigate away from it later (technically, on the
pagehide
event). If you revisit a removed page, the
browser may be able to retrieve the page's HTML file from its cache.
If not, it re-fetches the file from the server. (In the case of nested
listviews, jQuery Mobile removes all the pages that make up the nested
list once you navigate to a page that's not part of the list.)
If you prefer, you can tell jQuery Mobile to keep previously-visited pages in the DOM instead of removing them. This lets you cache pages so that they're available instantly if the user returns to them.
$.mobile.page.prototype.options.domCache = true;
Alternatively, to cache just a particular page, you can add the
data-dom-cache="true"
attribute to the page's container.
To keep all previously-visited pages in the DOM, set the
domCache
option on the page plugin to true
,
like this:
pageContainerElement.page({ domCache: true });
Note that the contents of the first page isn't removed from the DOM, only pages loaded in via Ajax. Pages inside a multi-page template aren't affected by this feature at all - jQuery Mobile only removes pages loaded via Ajax.


--- layout: post title: 'LIFT07 Wrap-up: Daniel Kaplan, Fédération Internet Nouvelle Génération' date: 2007-02-09 00:00:00 category: digital-media ---
LIFT07 Wrap-up: Daniel Kaplan, Fédération Internet Nouvelle Génération
We've been talking about increasingly embedded technology: into bodies, buildings and spaces. We won't enjoy the comfort of cyberspace now; what we're doing will have consequences in the real world, which we've ignored up til now.
It's not about productivity, it's about introducing disorder (or innovation, if you prefer that term).
What we're talking about is assertive technology, which acts as interlocutors for you.
One of the ways of building ones identity is to build it against other people: "these are not my values". There's a value to hiding information, to privacy... and a cost to transparency.
How do we solve major global problems we face? Global warming, oil supply, etc. Consider the cost of, say, 2nd Life avatars (particularly in a world with famine, say).
Power, borders, conflict: they're all here. Some are legitimate. The long tail of politics involves some fairly nasty political views getting prominence. Problems like this are not self-solving. Walmart etc post higher profits than ever - maybe not in 10 years time, but we said that 10 years ago.


Jordan, officially The Hashemite Kingdom of Jordan (Arabic: المملكة الأردنية الهاشمية Al-Mamlakah Al-Urduniyah Al-Hashimiyah), is an Arab kingdom in Western Asia, on the East Bank of the Jordan River. Jordan is bordered by Saudi Arabia to the east and south, Iraq to the north-east, Syria to the north, and Israel and Palestine to the west. The country's location at the crossroads of the Middle East has served as a strategic nexus connecting Asia, Africa and Europe.
This is information about JordanVideo courtesy of ">Big Buck Bunny.


Missing Awareness: Cancer in children often goes undetected in Assam
Recurring fever or persistent fever, unexplained weight loss, excessive bleeding & bruising, constant tiredness are some of the symptoms
STAFF REPORTER
GUWAHATI: In an alarming development, cases of cancer among children in Assam are going undetected due to lack of awareness.
An oncologist at B. Borooah Cancer Institute (BBCI) said with advances, particularly in chemotherapy, many of the cancers in children have gained a remarkably high potency for cure.
He, however, added that unfortunately many cases of cancer in kids go undetected in Assam because of lack of awareness about causes, symptoms and treatment of the disease.
“Cancer can be hard to detect in children even by doctors on many occasions. A different set of aetiological (causing or contributing to the development of a disease or condition) factors from those commonly seen in adult cancer is responsible for cancer in children. On several occasions, children with cancer do not show any symptoms. Late detection is a key cause of cancer deaths despite the fact that child cancer is highly curable now. So we have to create massive awareness about child cancer in the State,” the oncologist said.
The BBCI has detected over cases of cancer in children during the last two years. Of them, nearly 200 patients are doing well. Most of them are cases of leukaemia, lymphoma, brain tumour, retino-blastoma and bone tumour.
The oncologist said age-adjusted incidence of all types of childhood cancer according to the population-based cancer registry of ICMR is the highest for boys in Chennai (159 per 10,00,000 population) followed by Delhi (149).
In Aizawl, it is 97 and in urban Kamrup district, it is 62.
In case of girls, incidence of all types of childhood cancer is highest in Chennai (112 per 10,00,000 population) followed by Thiruvananthapuram (103), Imphal West (67), Kamrup (metro) district (45).
“Leukaemia is one of the commonest childhood malignancies, which is the highest for boys in Chennai (61 per 10,00,000) and for girls in Thiruvananthapuram (45). In Kamrup (metro) district, it is 24 for boys and 14 for girls. Similarly, lymphoma is highest for boys in Delhi and in Chennai for girls,” the oncologist said.
He said while the BBCI has been conducting regular screening camps to detect cancer in children below 14 years, the government hospitals will have to come forward to do the same for early detection and treatment of the disease among kids.
Also Read:Assam bags two awards at the India Today State of the State Conclave and Awards 2019
Also Watch: AGP leadership has not been vocal against the CAB: Prafulla Kumar Mahanta


Algebraic Equations Formulas
Roots of Equation
Play with Equations
Intercept form of Plane
Quadratic Equation Calculator


--- layout: post title: Apps date: 2009-08-16 20:28:25.000000000 -05:00 categories: - General tags: - website status: publish type: post published: true meta: _edit_last: '1' author: login: Blake email<EMAIL_ADDRESS>display_name: Blake first_name: Blake last_name: Harley ---
I've added an "Apps" page for small webapps. Check out the (small) list of webapps. Who knows, you might find one of them useful. I plan to add a few more apps later, but it's nice to get the architecture in place with a few already launched. There are currently two apps: str2md5 converts a given string to MD5, and Steam ID and Community ID is a useful tool for finding IDs that Steam uses if you have one of the other. Great for server admins who want to ban previous players found in the playerlist.


How to Play
- Click or touch a cell to reveal its contents
- If the cell contains a mine, you lose
- Cells without mines tell you the number of mines next to them
- Right-click a cell or toggle flagging to flag a cell as a mine
- Reveal all non-mine tiles to win


{{cr_page_title}}
{% if msg %}{% autoescape off %}{{ msg }}{% endautoescape %}
{% endif %} {% for report in reports %}{% autoescape off %} {{custom_report.no_embed.always_show[report.name]}} {% endautoescape %} {% endfor %}
New Custom Report
Fill in this form to get started creating a new custom report:
Upload Custom Report(s)
Upload a custom report YAML file (the file may contain one or more reports):


Shakira says losing voice was 'darkest moment' of her life
Barcelona - Colombian superstar Shakira says temporarily losing her voice two years ago was "the darkest moment" of her life, which affected her "deeply".
In November 2017 the three-time Grammy winner was forced to postpone her hip-shaking El Dorado World Tour for seven months after suffering a hemorrhage on her right vocal cord.
"It affected me deeply, there is a before and after," the 42-year-old said during an interview with AFP late on Monday in Barcelona, where she lives with Spanish footballer Gerard Pique and their two young sons.
"You take many things for granted when you have them... In the case of my voice, it is something that is so inherent in my nature, it is my identity," she added in the interview at a Barcelona hotel.
"I always thought that one day I would lose many things, one day you lose your youth, you lose your beauty, you even lose friends, there are people who come and go... but I never thought my voice was something that could disappear.
"A miracle"
"When that doubt arose, when I did not know if I could sing again, it was the darkest moment of my life," she added.
In what she describes as "a miracle", Shakira recovered her voice naturally, without needing to undergo surgery as recommended by doctors and was finally able to carry out her tour in 2018.
A documentary about the tour, which encompassed over two decades of hits and was based on two shows she gave in Los Angeles, will open in around 60 countries from 13 November.
"It is one of the most important tours of my life for what it means, for the different obstacles that I had to overcome," Shakira said.
With her mix of Latin and Arabic rhythms and rock influence, Shakira is one of the biggest stars from Latin America, scoring major global hits with songs such as "Hips don't Lie" and "Whenever, Whenever".
She was picked to perform alongside pop star Jennifer Lopez at the halftime show of the Super Bowl at the Hard Rock Stadium in Miami on 2 February, 2020 - which happens to be Shakira's birthday.
READ NEXT: Jennifer Lopez and Shakira to headline Super Bowl in Miami.
"We have a lot of ideas, it is hard to do them all in the short amount of time which we have. But we will try to take advantage of it as much as possible, especially the opportunity to represent Latinos," Shakira said.
The National Football League's Super Bowl championship final is the biggest annual event on US television. The halftime show typically features some of the world's best-known performers. Last year's show drew 98.2 million viewers.
Photo: Getty


Gunshots fired at high school football game
Police arrest five people
PHILADELPHIA, Pa. - - Authorities arrested five people in connection to a shooting at a high school football game in Philadelphia.
PHILADELPHIA, Pa. - - Authorities arrested five people in connection to a shooting at a high school football game in Philadelphia.


input type=url
input type="url"
Input type="url"
aria-label
Aria-label should be used as accessible name
No accessible description.
aria-labelledby
p referenced by aria-labelledby
Aria-labelledby should be used as accessible name
label
Label should be used as accessible name
title
Title should be used as accessible name
aria-describedby
p referenced by aria-describedby
Aria-describedby should be used as accessible description
No accessible name.
Title should be used as accessible description
required
readonly
disabled
Note: placeholder and aria-placeholder are tested as part of the placeholder attribute test.


Benn scores 2, streaking Stars earn 6-1 win over Canucks - Barriere Star Journal
by The Canadian PressHorvat has lone goal for Vancouver
DALLAS — Jamie Benn scored twice, Ben Bishop made 32 saves and the Dallas Stars beat the Vancouver Canucks 6-1 Tuesday night for their fourth straight victory.
The Stars have a nine-game point streak (8-0-1) and are 11-1-1 in their last 13 games.
Benn has three goals in the last two games after scoring only once in his first 20 games. He also assisted on Justin Dowling’s third goal in four games.
Corey Perry and defencemen Taylor Fedun and Miro Heiskanen also scored for Dallas.
Bo Horvat scored in the second period on Bishop. Vancouver goalie Jacob Markstrom stopped 25 shots.
The Stars killed all five penalties against them.
Dallas appeared to have a goal 1:26 into the game when Tyler Seguin sent a pass from the top of the right faceoff circle to the left of the goal for Dowling, who tipped the puck in off Markstrom. Vancouver’s video challenge showed the play had been offside, and the goal was disallowed.
Benn scored for real at 7:53 of the first period, skating into the slot and sliding a backhand between Markstrom’s legs.
The Canucks came close to scoring on the power play at 17:10 of the first, but Tanner Pearson’s backhand across the crease went off a defender and settled on top of the net.
In the final seconds of the first, Markstrom stopped a shot by Denis Gurianov, who had skated alone into the Vancouver end.
Benn scored his second goal on the power play at 9:59 of the second period. Perry’s shot went off Markstrom’s left pad to Benn at the right of the goal for a wrist shot over the goalie’s left shoulder.
Horvat pulled the Canucks within 2-1 on a breakaway with a wrist shot into the left side of the net at 11:24.
Fedun started the play for the third Dallas goal by gaining the puck in the Stars’ end and finished it by putting in his own rebound from the right of the net for his first goal this season.
Heiskanen, Dowling and Perry scored in the first 8:29 of the third period to put the game away.
READ MORE:
NOTES: The Stars’ six goals tied both their season high and the Canucks’ most goals against this season. … Vancouver came in with a three-game winning streak at Dallas by a combined score of 13-3. The Stars’ previous home win over the Canucks had been 2-1 on Nov. 25, 2016. … Missing at least their fourth game in a row because of lower-body injuries were Stars team leader in goals Roope Hintz (six games), D John Klingberg (five) and F Mattias Janmark (four). … In Dallas RW Nick Caamano’s 12th NHL game, he picked up his first assist on Fedun’s goal. … The Canucks entered tied with Edmonton for the league lead with 21 power-play goals.
UP NEXT
Canucks: Play Thursday at Nashville in the second of a six-game trip.
Stars: Host Winnipeg on Thursday in the second of four games in a row at home.
THE ASSOCIATED PRESS


int amount
int amount
Card.Suit suit
int faceValue
java.util.UUID uuid
Card[] cards
int bet
long time
java.lang.String message
java.util.UUID playerUUID
java.util.List<E> cards
Player player
RoundPlayer roundPlayer
Player player
Player player
Player player
RoundPlayer roundPlayer
int blindAmount
Player player
RoundPlayer roundPlayer
Action action
Player player
RoundPlayer roundPlayer
java.util.List<E> players
java.util.List<E> chips
java.lang.String reason
java.util.UUID uuid
int minPlayers
int maxPlayers
java.util.List<E> players
int buyIn
GameModel.BotPolicy botPolicy
Difficulty botDiff
java.lang.String name
int button
boolean waitingForPlayers
int smallBlind
int bigBlind
int waitTime
int roundsCompleted
java.util.List<E> activePlayers
java.util.List<E> communityCards
java.util.Map<K,V> raiseMap
boolean playing
int current
int pot
int highestBet
int roundNumber
int playersWithChipsLeft
java.util.UUID lastRaiserID
org.gruppe2.game.session.Query.State state
java.lang.Object obj


{% extends "base.html" %} {% block content-pre %}
A fancy new app for consuming your Moves- Data.
Self-Hosted - No Api Rate Limit - Perfect for your Needs
And an even wittier subheading.


Package org.xbill.DNS
|
99%
successful |
Failed tests
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| A6RecordTest | 7 | 0 | 0 | 0.052s | 100% |
| AAAARecordTest | 7 | 0 | 0 | 0.002s | 100% |
| AFSDBRecordTest | 2 | 0 | 0 | 0.001s | 100% |
| APLRecordTest$Test_Element_init | 4 | 0 | 0 | 0.001s | 100% |
| APLRecordTest$Test_init | 6 | 0 | 0 | 0.002s | 100% |
| APLRecordTest$Test_rdataFromString | 14 | 0 | 0 | 0.004s | 100% |
| APLRecordTest$Test_rrFromWire | 7 | 0 | 0 | 0.001s | 100% |
| APLRecordTest$Test_rrToString | 1 | 0 | 0 | 0.001s | 100% |
| APLRecordTest$Test_rrToWire | 6 | 0 | 0 | 0s | 100% |
| ARecordTest | 7 | 0 | 0 | 0.001s | 100% |
| AddressTest | 16 | 3 | 0 | 0.951s | 81% |
| CNAMERecordTest | 3 | 0 | 0 | 0s | 100% |
| CompressionTest | 1 | 0 | 0 | 0.001s | 100% |
| DClassTest | 2 | 0 | 0 | 0.001s | 100% |
| DNAMERecordTest | 3 | 0 | 0 | 0s | 100% |
| DNSInputTest | 24 | 0 | 0 | 0.003s | 100% |
| DNSKEYRecordTest | 4 | 0 | 0 | 0.003s | 100% |
| DNSOutputTest | 19 | 0 | 0 | 0.001s | 100% |
| DNSSECWithProviderTest | 1 | 0 | 0 | 0.073s | 100% |
| DSRecordTest | 6 | 0 | 0 | 0.002s | 100% |
| DSRecordTest$Test_Ctor_7arg | 16 | 0 | 0 | 0.002s | 100% |
| EmptyRecordTest | 6 | 0 | 0 | 0s | 100% |
| ExceptionTest | 8 | 0 | 0 | 0.002s | 100% |
| ExtendedFlagsTest | 2 | 0 | 0 | 0.002s | 100% |
| FlagsTest | 3 | 0 | 0 | 0.001s | 100% |
| FormattedTimeTest | 3 | 0 | 0 | 0.009s | 100% |
| GPOSRecordTest | 4 | 0 | 0 | 0.002s | 100% |
| GPOSRecordTest$Test_Ctor_6arg_Strings | 10 | 0 | 0 | 0.002s | 100% |
| GPOSRecordTest$Test_Ctor_6arg_doubles | 12 | 0 | 0 | 0.002s | 100% |
| GPOSRecordTest$Test_rdataFromString | 12 | 0 | 0 | 0.004s | 100% |
| GPOSRecordTest$Test_rrFromWire | 10 | 0 | 0 | 0.002s | 100% |
| HINFORecordTest | 11 | 0 | 0 | 0.001s | 100% |
| HeaderTest | 19 | 0 | 0 | 0.008s | 100% |
| KEYBaseTest | 5 | 0 | 0 | 0.005s | 100% |
| KEYRecordTest | 7 | 0 | 0 | 0.003s | 100% |
| KXRecordTest | 2 | 0 | 0 | 0.001s | 100% |
| MBRecordTest | 3 | 0 | 0 | 0s | 100% |
| MDRecordTest | 3 | 0 | 0 | 0s | 100% |
| MFRecordTest | 3 | 0 | 0 | 0.002s | 100% |
| MGRecordTest | 3 | 0 | 0 | 0s | 100% |
| MRRecordTest | 3 | 0 | 0 | 0s | 100% |
| MXRecordTest | 3 | 0 | 0 | 0s | 100% |
| MessageTest$Test_init | 3 | 0 | 0 | 0.001s | 100% |
| MnemonicTest | 9 | 0 | 0 | 0s | 100% |
| NSAP_PTRRecordTest | 3 | 0 | 0 | 0s | 100% |
| NSRecordTest | 3 | 0 | 0 | 0s | 100% |
| NameTest | 29 | 0 | 0 | 0s | 100% |
| NameTest$Test_DNSInput_init | 32 | 0 | 0 | 0.002s | 100% |
| NameTest$Test_String_init | 68 | 0 | 0 | 0.003s | 100% |
| NameTest$Test_compareTo | 14 | 0 | 0 | 0.001s | 100% |
| NameTest$Test_equals | 14 | 0 | 0 | 0.001s | 100% |
| NameTest$Test_toWire | 18 | 0 | 0 | 0.002s | 100% |
| NameTest$Test_toWireCanonical | 10 | 0 | 0 | 0.001s | 100% |
| OpcodeTest | 2 | 0 | 0 | 0s | 100% |
| OptionsTest | 7 | 0 | 0 | 0.001s | 100% |
| RRsetTest | 10 | 0 | 0 | 0.002s | 100% |
| RTRecordTest | 2 | 0 | 0 | 0.001s | 100% |
| RcodeTest | 3 | 0 | 0 | 0.001s | 100% |
| RecordTest | 34 | 0 | 0 | 0.004s | 100% |
| ReverseMapTest | 3 | 0 | 0 | 0s | 100% |
| SOARecordTest$Test_init | 16 | 0 | 0 | 0s | 100% |
| SOARecordTest$Test_rdataFromString | 2 | 0 | 0 | 0s | 100% |
| SOARecordTest$Test_rrFromWire | 1 | 0 | 0 | 0s | 100% |
| SOARecordTest$Test_rrToString | 2 | 0 | 0 | 0.001s | 100% |
| SOARecordTest$Test_rrToWire | 2 | 0 | 0 | 0s | 100% |
| SectionTest | 4 | 0 | 0 | 0s | 100% |
| SerialTest | 12 | 0 | 0 | 0.002s | 100% |
| SetResponseTest | 16 | 0 | 0 | 0.001s | 100% |
| SingleCompressedNameBaseTest | 2 | 0 | 0 | 0.001s | 100% |
| SingleNameBaseTest | 5 | 0 | 0 | 0.001s | 100% |
| TTLTest | 4 | 0 | 0 | 0s | 100% |
| TokenizerTest | 20 | 0 | 0 | 0.007s | 100% |
| TypeBitmapTest | 3 | 0 | 0 | 0.001s | 100% |
| TypeTest | 4 | 0 | 0 | 0s | 100% |
| U16NameBaseTest | 7 | 0 | 0 | 0.002s | 100% |


|
Timewave z3r0
|
Data Fields | |
| volatile bool | _lock1 |
| volatile bool | _lock2 |
| volatile bool | _lock3 |
| volatile bool | _lock4 |
| volatile long double | ans1 |
| volatile long double | ans2 |
| volatile long double | ans3 |
| volatile long double | ans4 |
| volatile long double | x1 |
| volatile long double | x2 |
| volatile long double | x3 |
| volatile long double | x4 |
Definition at line 68 of file twz-generator-threaded.c.
| volatile bool ThreadStruct::_lock1 |
Definition at line 71 of file twz-generator-threaded.c.
| volatile bool ThreadStruct::_lock2 |
Definition at line 73 of file twz-generator-threaded.c.
| volatile bool ThreadStruct::_lock3 |
Definition at line 75 of file twz-generator-threaded.c.
| volatile bool ThreadStruct::_lock4 |
Definition at line 77 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::ans1 |
Definition at line 89 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::ans2 |
Definition at line 91 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::ans3 |
Definition at line 93 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::ans4 |
Definition at line 95 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::x1 |
Definition at line 80 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::x2 |
Definition at line 82 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::x3 |
Definition at line 84 of file twz-generator-threaded.c.
| volatile long double ThreadStruct::x4 |
Definition at line 86 of file twz-generator-threaded.c.


GoogleClientLogin Class
Helps to log in to any google service with the clientlogin method Google returns 3 values when login was success: Auth, SID, LSID
After the login you need to include the Auth value into the Authorization HTTP header on each request:
client.request('GET', '...', { ..., 'Authorization':'GoogleLogin auth=' + googleClientLoginInstance.getAuthId() })
Constructor
GoogleClientLogin
-
conf
Parameters:
-
conf
ObjectAn object, with two properties: email and password
-
email
String -
password
String
-
Item Index
Methods
Events
Methods
_getAccountType
-
[params]
Method to find out which account type should we use, default is HOSTEDORGOOGLE Only for internal usage
Parameters:
-
[params]
Object optional-
[accountType]
String optional
-
Returns:
_getRequestContent
-
params
Method to create the content of the login request Only for internal usage
Parameters:
-
params
Object(Optional) You can pass the logincaptcha and logintoken and the accountType as properties
Returns:
_parseData
()
Splits response data into key-value pairs, Only for internal usage
_parseLoginResponse
-
response
Parses the response of the login emits error and login event
Parameters:
-
response
http.ClientResponseThe response object
getAuthId
()
String | | undefined
Method to get the AuthId property
Returns:
getCaptchaToken
()
String | | undefined
Returns the value of the CaptchaToken property
Returns:
getCaptchaUrl
()
String | | undefined
Method to get the captcha url
Returns:
getError
()
Number | | undefined
Method to get the error code
Returns:
getLSID
()
String | | undefined
Method to get the LSID property
Returns:
getSID
()
String | | undefined
Method to ge the SID property
Returns:
isCaptchaRequired
()
Boolean
Method to know if captcha is required
Returns:
login
-
params
Logs in the user
Parameters:
-
params
Object(optional) You can pass the logincaptcha and logintoken and the accountType as properties
Events
login
Fires when login was success
loginFailed
Fires when login failed


Sequences
Preset or custom job
Insertion position Insertion Likelihood Custom
Settings
Non custom presets override any settings entered below
MARTINI Bond
Simulation Length
Must be less than or equal to 1000ns!
Must be a number!
Biasing
Bias Unbias
Duplicates
Must be less than or equal to 500!
Simulation Order
All at once One sequence at a time
Lipid
Special Options
Job Name


Static Web Pages
- A static web page consists of contents specified by the web page designer.
- These contents include text, images, audios and videos. The same content is displayed to each user on the Internet each time the page is requested.
Dynamic Web Pages
- A dynamic web page generates content 'on-demand' whe user provides certain inputs.
- It accepts the inputs from the user based on which it displays the content in the browser.
- Example: Online Store
Layout of a Page in HTML5
New Features of HTML5
- The <canvas> element is used for 2D drawing.
- New content-specific elements, such as <article>, <nav>, <header>, <footer>, <section>, and so on helps to structure the document.
- HTML5 has local storage support.
- The <audio> and <video> elements is available for media playback.
- New form controls, such as calendar, date, time, e-mail, URL, search, and so on have been provided by HTML5.
- The Web workers API is added to support background processes without disturbing the main process.
- Easier access to location specific data which is made available by devices having Global Positioning System (GPS) capabilities
HTML Element
An HTML element usually consists of a start tag and end tag, with the content inserted in between:
<tagname>Content goes here...</tagname>
HTML Attributes
- All HTML elements can have attributes
- Attributes provide additional information about an element
- Attributes are always specified in the start tag
-
Attributes usually come in name/value pairs like: name="value"
<img src="img_girl.jpg">
Doctype
- The DOCTYPE element informs the browser the HTML version number of your document.
- It is the first declaration in the HTML5 document before any other HTML code is written.
-
Example
<!DOCTYPE html>
Exercise
Question: Write every thing you remember about HTML and CSS.
Question: Write the shortcomings of HTML 4.
My Answer
- HTML 4 required special plugins to include multimedia content.
- Different versions of HTML documents had to be maintained to support different screen sizes.


Graveyard
Programming contests became so popular in the year 2397 that the governor of New Earck — the largest human-inhabited planet of the galaxy — opened a special Alley of Contestant Memories (ACM) at the local graveyard. The ACM encircles a green park, and holds the holographic statues of famous contestants placed equidistantly along the park perimeter. The alley has to be renewed from time to time when a new group of memorials arrives.
When new memorials are added, the exact place for each can be selected arbitrarily along the ACM, but the equidistant disposition must be maintained by moving some of the old statues along the alley.
Surprisingly, humans are still quite superstitious in 24th century: the graveyard keepers believe the holograms are holding dead people souls, and thus always try to renew the ACM with minimal possible movements of existing statues (besides, the holographic equipment is very heavy). Statues are moved along the park perimeter. Your work is to find a renewal plan which minimizes the sum of travel distances of all statues. Installation of a new hologram adds no distance penalty, so choose the places for newcomers wisely!
Input
The input file contains several test cases, each of them consists of a a line that contains two integer numbers: n – the number of holographic statues initially located at the ACM, and m – the number of statues to be added (2n1000, 1m1000) . The length of the alley along the park perimeter is exactly 10 000 feet.
Output
For each test case, write to the output a line with a single real number — the minimal sum of travel distances of all statues (in feet). The answer must be precise to at least 4 digits after decimal point.
Pictures show the first three examples. Marked circles denote original statues, empty circles denote new equidistant places, arrows denote movement plans for existing statues.
Sample Input
2 1 2 3 3 1 10 10
Sample Output
1666.6667 1000.0 1666.6667 0.0
思想和UVA-11300-Spreading the Wealth[中位数] 此题有些类似。找一个定点作为原点，此点是不需要移动的。但是代码需要这技巧。书中是把园等比例缩小为周长为n，同时floor(x+0.5)先进行四舍五入，然后然后向下取整，求得新的坐标，最后再将结果*10000还原。
书上的代码：
#include <cstdio> #include <cmath> int main () { // freopen("in.txt","r",stdin); int n, m; double pos, ans; while(scanf("%d%d",&n,&m)==2) { ans = 0.0; if(m!=n) for(int i = 1; i < n; i++) { pos = 1.0*i/n*(m+n);//求得需要移动的坐标，其中*（m+n)是为了与下面求和通分，很巧妙 ans += fabs(pos-floor(pos+0.5))/(n+m); } printf("%.4lf\n",ans*10000); } return 0; }
ACM之家原创，链接：http://www.acmerblog.com/uva-1388-graveyard-4603.html
这个应该是最朴素的KMP实现
题本身没错，但是HDOJ放题目的时候，前面有个题目解释了什么是XXX定律。
这里直接放了这个题目，肯定没几个人明白是干啥
哎，path[0]应该是从零开始吧，为什么是赋值1呢？
0000
正在学习搜索，很好
int L[m+1][n+1];这样定义出错，这个在gcc上可以编译通过 在VS上不行 应该改为new 或者vector
一开始就规定不相邻节点颜色相同，可能得不到最优解。我想个类似的算法，也不确定是否总能得到最优解：先着一个点，随机挑一个相邻点，着第二色，继续随机选一个点，但必须至少有一个边和已着点相邻，着上不同色，当然尽量不增加新色，直到完成。我还找不到反例验证他的错误。。希望LZ也帮想想, 有想法欢迎来邮件。谢谢
可以根据二叉排序树的定义进行严格的排序树创建和后序遍历操作。如果形成的排序树相同，其树的前、中、后序遍历是相同的，但在此处不能使用中序遍历，因为，中序遍历的结果就是排序的结果。经在九度测试，运行时间90ms，比楼主的要快。
确实有点难度，搞了好久。int溢出要注意
int L[m+1][n+1];这样定义出错，这个在gcc上可以编译通过 在VS上不行 应该改为new 或者vector
博主的C++功底真是好
很棒的网站，加油！⛽
算法还停留在大学的知识中
第63行是不是漏了 return 1 + dis_right; ?


Frequently Asked Questions
Here are some common questions about EOS
1. What is EOS.IO software?
EOS.IO is software that introduces a blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications (the “EOS.IO Software”). This is achieved through an operating system-like construct upon which applications can be built. The software provides accounts, authentication, databases, asynchronous communication and the scheduling of applications across multiple CPU cores and/or clusters. The resulting technology is a blockchain architecture that has the potential to scale to millions of transactions per second, eliminates user fees and allows for quick and easy deployment of decentralized applications. For more information, please read the EOS.IO Technical White Paper.
2. Who is building the EOS.IO Software?
block.one, a Cayman Islands exempted company, is building the EOS.IO Software. With employees and advisors based around the world, the company focuses on business-grade technology solutions, including blockchain software development. For more information about block.one, please visit block.one.
3. Will the EOS.IO Software be released under open source software license?
Yes, at the end of its development stage, block.one will be releasing the EOS.IO Software it has developed under an open source software license.
4. What are EOS tokens?
EOS tokens are ERC-20 compatible tokens distributed on the Ethereum blockchain pursuant to a related ERC-20 smart contract (the “EOS Tokens”).
5. What features, uses or attributes do EOS Tokens have? Can the EOS Tokens be used on a blockchain adopting the EOS.IO Software?
block.one is building the EOS.IO Software but it will not configure and/or launch any public blockchain platform adopting the open source EOS.IO Software (the “EOS Platform”). Any launch of an EOS Platform will occur by members of the community unrelated to block.one. Third parties launching the EOS Platform may delete, modify or supplement the EOS.IO Software prior to, during or after launching the EOS Platform.
The EOS Tokens do not have any rights, uses, purpose, attributes, functionalities or features, express or implied, including, without limitation, any uses, purpose, attributes, functionalities or features on the EOS Platform.
6. What does EOS stand for?
We believe that EOS means different things to different people. We have received numerous amazing interpretations of what EOS stands for or what it should stand for so we have decided not to formally define it ourselves.
7. How does the EOS Token distribution work?
The EOS Token distribution will take place over 341 days starting on June 26, 2017 at 13:00 UTC. One billion (1,000,000,000) EOS Tokens will be distributed according to the schedule below:
-
200,000,000 EOS Tokens (20% of the total amount of EOS Tokens to be distributed) will be distributed during a 5 day period beginning on June 26, 2017 at 13:00 UTC and ending on July 1, 2017 at 12:59:59 UTC (the “First Period”).
-
700,000,000 EOS Tokens (70% of the total amount of EOS Tokens to be distributed) will then be split evenly into 350 consecutive 23 hour periods of 2,000,000 EOS tokens each beginning on July 1, 2017 at 13:00:00 UTC.
-
100,000,000 EOS (10% of the total amount of EOS Tokens to be distributed) will be reserved for block.one and cannot be traded or transferred on the Ethereum network.
At the end of the 5 day period and at the end of each 23 hour period referred to above, the respective set number of EOS Tokens set forth above will be distributed pro rata amongst all authorized purchasers, based on the total ether (“ETH”) contributed during those periods, respectively, as follows:
|
Where: a = Total ETH contributed by an authorized purchaser during the period. b = Total number of EOS Tokens available for distribution in the period. c = Total ETH contributed by all authorized purchasers during the period. |
As an example:
20 EOS Tokens are available during a period.
Bob contributes 4 ETH and Alice contributes 1 ETH during the period. The period ends.
As a total of 5 ETH were contributed for 20 EOS Tokens during the period, 1 EOS Token will be distributed for every 0.25 ETH contributed. Therefore, Bob receives 16 EOS Tokens and Alice receives 4 EOS Tokens.
8. Why was this token distribution method chosen?
A lot of token distributions only allow a small amount of people to participate. The EOS Token distribution structure was created to provide a sufficient period of time for people to participate if they so choose, as well as give people the opportunity to see the development of the EOS.IO Software prior to making a decision to purchase EOS Tokens.
9. Was there any EOS Token pre-sale or ways to obtain EOS Tokens prior to the commencement of the EOS Token distribution?
No.
10. Why is the number of EOS Tokens available for distribution higher in the First Period?
The number of EOS Tokens available during the First Period of the EOS Token distribution (i.e. the first 5 days) is higher than in subsequent periods in order to: (1) accommodate the current interest and demand that we have received for the EOS Tokens; and (2) help to more accurately determine early stage price discovery of the EOS Tokens.
11. Why are founders EOS Tokens being reserved for block.one?
Founders tokens were allocated to block.one pursuant to feedback we received from the community in order to ensure that block.one has aligned interests with those participating in the EOS Token distribution. The founders tokens represent 10% of the aggregate EOS Token distribution (or 100,000,000 EOS Tokens) (the “Founders Tokens”). The EOS Token distribution smart contract does not permit block.one to trade or transfer the Founders Tokens during the EOS Token distribution period.
If an EOS Platform adopting the EOS.IO Software is launched, the default EOS.IO Software configuration developed by block.one will lock new founders tokens distributed pursuant to such EOS Platform in a smart contract and release 10,000,000 (10%) of such tokens to block.one at the end of each one year anniversary of the genesis block over a period of 10 years. As mentioned above, the EOS.IO Software configuration of the EOS Platform will be ultimately determined by the community when someone other than block.one initializes a genesis block and starts a blockchain.
12. How can I participate in the EOS Token distribution?
To participate in the EOS Token distribution, you will need an Ethereum compatible wallet or an application where you and only you hold the private keys.  Do not send ether (“ETH”) directly from cryptocurrency exchanges, only an ETH compatible wallet.
For detailed information and suggestions on how to purchase EOS Tokens, click here
13. What ETH compatible wallets are recommended?
We recommend using either:
-
MetaMask (Chrome browser addon); or
-
MyEtherWallet (no download needed).
The following wallets are known to be incompatible wallets; this is not a complete list. Do not use any of the following wallets to participate in the EOS Token distribution:
-
Any Bitcoin exchange
-
Any Ethereum exchange
-
Jaxx
-
Exodus
-
Coinbase
-
Poloniex
-
Kraken
-
Bitstamp
-
Bitfinex
-
Bittrex
-
Cex.io
14. Is there a minimum purchase for EOS Tokens?
The minimum contribution accepted during any period of the EOS Token distribution is 0.01 ETH. Smaller contribution amounts will be rejected.
Additionally, to minimize bloat of any genesis block configuration, any ETH wallet that holds less than 1 EOS Token or another minimum amount could be ignored by the person who configures and launches the EOS Platform based on the EOS.IO Software. This, however, will ultimately be decided by the person who configures and launches the EOS Platform.
15. How can I see how much ETH has been contributed during a specific period of the EOS Token distribution?
The amount of ETH received during each current period will be displayed on the eos.io website. The history of ETH contributed in previous periods can be viewed on the Ethereum blockchain.
16. Is it possible to limit the amount of ETH paid per EOS Token?
No, it is not possible to know the price of a specific period until all ETH is received for that period and if you contribute in the last minutes or seconds of a specific period, there is no way to guarantee that your ETH will be received for that period. Please review all the risks associated with purchasing EOS Tokens including the technical risks set forth in the Purchase Agreement.
17. Why can’t U.S. citizens, residents or entities purchase EOS Tokens?
It was decided that U.S. citizens, residents and entities should be excluded from purchasing EOS Tokens in the token distribution because of some of the logistical challenges associated with differing regulations in the many states of the United States of America. block.one does not believe that the distribution of EOS Tokens or the EOS Tokens themselves are securities, commodities, swaps on either securities or commodities, or similar financial instruments. The EOS Tokens are not designed for investment or speculative purposes and should not be considered as a type of investment. Nevertheless, U.S. citizens, residents and entities should not purchase or attempt to purchase EOS Tokens.
18. I have contributed to the EOS Token distribution. When do I receive EOS Tokens?
At the end of each period, you may claim any EOS Tokens allocated as an ERC-20 compatible token on the Ethereum blockchain. For more details on how to claim your EOS Tokens, please see eos.io.
19. Are EOS Tokens transferable?
While block.one will not be involved in any way in the transferability of the EOS Tokens, it is possible that EOS Tokens could be transferred on a peer-to-peer basis or on platforms operated by 3rd parties during the EOS Token distribution period. EOS Tokens will become fixed (non-transferable) on the Ethereum blockchain within 23 hours after the end of the final EOS Token distribution period which will occur on June 1, 2018 at 22:59:59 UTC.
20. Are there network fees when transferring EOS Tokens?
Yes, the EOS Token is an ERC-20 compatible token; therefore, transfers will be subject to ETH gas fees like all other transactions on the Ethereum network.
21. When will I receive native cryptographic tokens on the EOS Platform?
As mentioned above, EOS Tokens will become fixed (non-transferable) on the Ethereum blockchain within 23 hours after the end of the final EOS Token distribution period which will occur on June 1, 2018 at 22:59:59 UTC. At this point the EOS Token distribution process will be complete and any person who wishes to launch an EOS Platform adopting the EOS.IO Software will be able to generate a JSON file mapping EOS public keys to the fixed balances of the EOS Tokens from the state of the Ethereum blockchain.
The EOS.IO Software is built such that any EOS Platform that adopts the EOS.IO Software will require approval of holders of not less than 15% of the total issued and outstanding EOS Tokens before tokens on such blockchain (the “Blockchain Tokens”) can be transferred. In other words, if the EOS.IO Software is adopted, it will be the responsibility of holders holding at least 15% of the issued and outstanding EOS Tokens to adopt one or more blockchains in order for Blockchain Tokens received on such blockchains to be transferrable.
As block.one will not configure and/or launch any EOS Platform, block.one will have no control over when, how or whether the EOS.IO Software is adopted or implemented, or how, when or whether the EOS Platform is launched. As such, you should not expect and there is no guarantee that you will receive any other cryptographic tokens or digital assets now or in the future.
22. What happens if I can’t contribute ETH or don’t receive my EOS Tokens?
The EOS Token distribution contract, EOS Token smart contract and the EOS Tokens are being provided on an “as is” and “as available” basis without representations, warranties, promises or guarantees whatsoever of any kind made by block.one. Prior to purchasing EOS Tokens, you should ensure that you carry out your own examination and investigation and carefully review in their entirety the risks associated with purchasing EOS Tokens as set forth in the Purchase Agreement. Purchases of EOS Tokens are non-refundable and purchases cannot be cancelled. Under no circumstances will you be entitled to receive money or compensation for any EOS Tokens purchased or your inability to purchase EOS Tokens.
23. Where do the proceeds from the EOS Token distribution go?
Proceeds from the EOS Token distribution will be the revenue of block.one.
24. What does block.one plan to use proceeds from the EOS Token distribution for?
As a private company, proceeds of the EOS Token distribution will be utilized by block.one in its sole discretion. block.one intends to use certain of the proceeds for general administration and operating expenses, as well as to build a blockchain consulting business focusing on helping businesses re-imagine or build their businesses on the blockchain, developing more open source software that may be helpful to the community and building decentralized applications using EOS.IO Software.
25. Why are proceeds from the EOS Token distribution not being donated to a foundation or other non-profit organization?
Blockchains that adopt the EOS.IO Software do not require a foundation or a non-profit organization to help grow or maintain the network because such blockchains will be self-funding. Based on the EOS.IO Software, it is intended that any blockchain that adopts the EOS.IO Software will generate natural inflation in such blockchain tokens at a rate of five percent per year to be distributed to the platform’s block producers in connection with their confirmation of transactions on the platform and to the top three smart contracts or proposals that receive the most amount of votes from holders of such tokens. In this case, such a blockchain will not be reliant on any one foundation, organization, or individual for its growth, development or maintenance.
26. Will block.one be contributing to the EOS Token distribution?
No, during the entire EOS Token distribution period, block.one will not do any of the following:
-
block.one will not purchase EOS Tokens by any means;
-
block.one will not pay any dividends to its shareholders; and
-
block.one will not perform any share buybacks.
block.one intends to engage an independent third party auditor who will release an independent audit report providing further assurances that block.one has not purchased EOS Tokens during the EOS Token distribution period or traded EOS Tokens (including using proceeds from the EOS Token distribution for these purposes). This report will be made available to the public on the eos.io website.


What is your age?
16-18
19-24
Where do you live?
Scotland
England
Northen Ireland
Wales
What sector are you interested in?
Primary Sector
Manufacturing
Construction
Trade
Business
Non-Market
I don't care
How many people would you like to work with?
2-4
5-9
10-24
25-99
100+
What type of business would you prefer to work in?
For-profit
Charity
Do you have work experience?
Yes
No
Please select a category to see data about.
Sector
Country
Establishment size
Organisation Type
Go to slide:
#


Embattled governor of Kenya capital denies corruption charges
Police in the Kenyan capital sealed off a court building where the governor of Nairobi County was due to be charged with corruption and other economic crimes on Monday, guarding against threatened protests by his supporters.
Governor Mike Mbuvi Sonko was arrested on Friday and is accused of conspiracy to commit corruption, failure to comply with laws related to procurement, unlawful acquisition of public property and laundering the proceeds of crime.
Police set up barriers on streets around the court and diverted traffic in anticipation of possible trouble after Sonko’s supporters called for protests.
Sonko, a member of President Uhuru Kenyatta’s ruling Jubilee Party, said in a statement posted on his social media accounts on Sunday that his arrest was “politically schemed” and that he was a law abiding citizen, and urged his supporters to remain calm and avoid any actions that “may threaten the peace.”
Kenyans and the private sector have long complained of corruption in Kenya, East Africa’s business hub and the region’s richest economy.
Sonko was elected governor in 2017. The former senator is a flamboyant figure, known for his glitzy lifestyle, flashy clothes, chunky gold jewellery and eye-catching hairstyles.
Police used teargas to disperse hundreds of Sonko’s supporters when he was called into the anti-corruption office for questioning in November.
REUTERS