Diagnostics¶
We did not yet take a look at the default weight report that offers some additional information on the weighting outcome results and the even the algorithm process itself (the report lists the internal weight variable name that is always just a suffix of the scheme name):
Weight variable weights_my_complex_scheme
Weight group wave 1 wave 2 wave 3 wave 4 wave 5
Weight filter Wave == 1 Wave == 2 Wave == 3 Wave == 4 Wave == 5
Total: unweighted 1621.000000 1669.000000 1689.000000 1637.000000 1639.000000
Total: weighted 1651.000000 1651.000000 1651.000000 1651.000000 1651.000000
Weighting efficiency 74.549628 78.874120 77.595143 53.744060 50.019937
Iterations required 13.000000 8.000000 11.000000 12.000000 10.000000
Mean weight factor 1.018507 0.989215 0.977501 1.008552 1.007322
Minimum weight factor 0.513928 0.562148 0.518526 0.053652 0.050009
Maximum weight factor 2.243572 1.970389 1.975681 2.517704 2.642782
Weight factor ratio 4.365539 3.505106 3.810189 46.926649 52.846124
The weighting efficiency¶
After all, getting the sample to match to the desired population proportions always comes at a cost. This cost is captured in a statistical measure called the weighting efficiency and is featured in the report as well. It is a metric for evaluation of the sample vs. targets match, i.e. the sample balance compared to the weight scheme. You can also inversely view it as the amount of distortion that was needed to arrive at the weighted figures, that is, how much the data is manipulated by the weighting. A low efficiency indicates a larger bias introduced by the weights.
Let \(w\) denote our weight vector containing the factor for each \(i\) respondent, then the mathematical definititon of the (total) weighting efficiency \(we\) is:
Which is the quotient of the squared sum of weights and the number of cases divided by the sum of squared weights (expressed as a percentage).
We can manually check the figure for group 'wave 1'
. We first recreate the
filter that has been used, which we can also derive the number of cases n
from:
>>> f = dataset.take({'Wave': [1]})
>>> n = len(f)
>>> n
1621
The sum of weights squared sws
is then:
>>> sws = (dataset[f, 'weights_new'].sum()) ** 2
>>> sws
2725801.0
And the sum of squared weights ssw
:
>>> ssw = (dataset[f, 'weights_new']**2).sum()
>>> ssw
2255.61852968
Which enables us to calculate the weighting efficiency we
as per:
>>> we = (sws / n) / ssw * 100
>>> we
74.5496275503
Generally, weighting efficiency results below the 80% mark indicate a high sample vs. population mismatch. Dropping below 70% should be a reason to reexamine the weight scheme specifications or analysis design.
To better understand why the weighting efficiency is good for judging the quality of the weighting, we can look at its relation to the effective sample size (the effective base). In our example, the effective base of the weight group would be around 0.75 * 1621 = 1215.75. This means that we are dealing with an effective sample of only 1216 cases for weighted statistical analysis and inference. In other words, the weighting reduces the reliability of the sample as if we had sampled roughly 400 (about 25%) respondents less.
Gotchas¶
[A] Subsets and targets
In the example we have defined five weight groups, one for each of the waves, although we only had two differing sets of targets we wanted to match. One could be tempted to only set two weight groups because of this, using the filters:
>>> f1 = 'Wave in [1, 2, 3]'
and
>>> f2 = 'Wave in [4, 5]'
It is crucial to remember that the algorithm is applied on the weight group’s overall data base, i.e. the above definition would achieve the targets inside the two groups (Waves 1/2/3 and Waves 4/5) and not within each of the waves.


class: center, middle, inverse, title-slide # Automated Bird Species Recognition Based on Their Songs ## Project for Master Degree ### Athos Petri Damiani ### November 2020 - School of Engineering/USP --- # About me .pull-left[ Athos Damiani, 32, Statistician from IME-USP, Brazil. Master Student at Poli-USP, Brazil.
 Project topic:
 Automated Bird Species Recognition Based on Their Songs
 .small[ - **Advisor:** PhD. Linilson Padovese - **Co-advisor:** PhD. Paulo Hubert Jr - Approach: Supervised Machine Learning ] ] .pull-right[ ![aplicacao_corujas](img/aplicacao_corujas3.png) ] --- # About LACMAM  --- # Objectives 1) Literature review of methodologies used in bird species regocgnition tasks. 2) Build an automatic detector (classifier) for 5 brazilian bird species. 3) Scan a 5TB sized soundscape to try to spot those 5 bird species in it. # Agenda for this presentation 1) My findings and perception about my literature review 2) Some early experiments and partial results --- # Conclusions from literature review ### 1) Deep learning methods are proving to be the best approach for bird species recognition tasks. ### 2) Annotated dataset needed. --- # Methodologies .pull-left[  Setups: - Wavelet Denoising - Crops/Filters - Data augmentation - Resampling ] .pull-right[ Data Representations - Raw amplitudes - Spectrogram - Mel Spec - MFCC - DWT - Morphological - SIFS Methods - HMM - GMM - Random Forest - Deep Learning - SVM ] --- # Evidences of deep learning success  All of the top solutions used `PyTorch` for fiting the models --- # Evidences of deep learning success **Other audio competitions:** (ongoing)  - [Freesound Audio Tagging](https://www.kaggle.com/c/freesound-audio-tagging-2019) - CNNs - [Bird Challange](https://www.kaggle.com/c/the-icml-2013-bird-challenge) - CNNs - [Whale Detection](https://www.kaggle.com/c/whale-detection-challenge) - template matching approach - [DCase - Bird Detection](http://dcase.community/challenge2018/task-bird-audio-detection) - CNNs (Lasseck, 2018) .footnote[ [Lasseck, Mario. 2018. ACOUSTIC BIRD DETECTION WITH DEEP CONVOLUTIONAL NEURAL NETWORKS. Berlin.](http://dcase.community/documents/challenge2018/technical_reports/DCASE2018_Lasseck_76.pdf) ] --- # Partial Results... .pull-left[ #### MFCC + LightGBM ```r ## Truth ## Prediction 1 2 3 ## 1 4057 4 172 ## 2 187 358 1 ## 3 361 1 322 ``` Accuracy: 87% #### MelSp+ResNet18 (Keydana, 2020) ```r ## Truth ## Prediction 1 2 3 ## 1 4049 20 164 ## 2 79 443 0 ## 3 222 1 461 ``` Accuracy: 91% ] .pull-right[ #### Raw Audio + 1D CNN (Abdoli, 2019) ```r ## Truth ## Prediction 1 2 3 ## 1 4010 24 199 ## 2 102 443 1 ## 3 248 3 433 ``` Accuracy: 89% #### Ideas from other papers 1) Duration of audio slices and FFT size 2) Usage of two or more algoritms ensembled (stacking) 3) Rectangular Kernels ] --- # Discussion/Opinion **Pros of Deep Learning** - Automatic feature engineering and powerful performance (even when dealing with noisy audios). - Modular, easy to share, reuse and reproduce. - Tools shuch as [PyTorch](https://pytorch.org/) are free and "research-and-production-first". - Designed to be fast (optimized for GPUs). **Cons of Deep Learning** - It is not a trivial field to initiate. - Requires at least basic programming background. - **Requires large amount of data!** --- # Hand crafted vs Automatic Feature Engineering: An Illustration  --- # Annotated dataset needed Absence of labelled datasets is the "bottle neck". > "It is important that benchmark datasets are available, so that different researchers can compare their methods on the same datasets, and using the same metrics."
 > “There is the need for shared datasets with annotations of a wide variety of calls for a large number of species if methods that are suitable for conservation work are to be developed.”
 **— Automated birdsong recognition in complex acoustic environments: a review (Nirosha Priyadarshani, Stephen Marsland and Isabel Castro, 2017)** --- # Datasets "Culture" in Machine Learning .pull-left[  Source: Pytorch.org ] .pull-rigth[
  ] --- # Datasets "Culture" in Machine Learning .pull-left[ Sources of brazilian bird calls that are not "machine-learning-ready" yet: - Xeno-canto.org - Wikiaves.com.br Datasets of bird sounds from Kaggle are "Machine-learning-ready", but lacks of brazilian representants. Solution is to build our own. ] .pull-right[  **Not published yet** ] --- # Data Gathering ## Xeno-canto {warbleR} R package by Marcelo Araya-Salas (2010) ```r metadata_xc = map(bird_species, ~querxc(.x)) ``` ## Wikiaves {wikiaves} R package from LACMAM (2019) ```r metadata_wa = map(bird_species, ~querwa(.x)) ``` --- # Data Gathering .mp3 files downloaded. Table: MP3 files downloaded. |Species | #mp3| |:------------------------|----:| |Megascops-choliba | 803| |Pulsatrix-koeniswaldiana | 334| |Strix-hylophila | 318| |Megascops-atricapilla | 258| |Glaucidium-minutissimum | 208| |Total | 1921| --- # Side products .pull-left[ Step-by-step tutorials with code for reproducibility  [https://athospd.github.io/mestrado/](https://athospd.github.io/mestrado/) ] .pull-right[ R packages created: - `{wikiaves}` - mp3 download - `{wavesurfer}` - annotation - `{torchaudio}` - modeling - `{mestrado}` - reproducibility ] --- # References - Padovese B., Padovese L. (2019) **Machine Learning for Identifying an Endangered Brazilian Psittacidae Species** - Priyadarshani N. et al. (2017) **Automated birdsong recognition in complex acoustic environments: a review** - Serra, O. et al. (2019) **Active contour-based detection of estuarine dolphin whistles in spectrogram images** - Jawaherlalnehru, J. et al. (2019) **Music Instrument Recognition from Spectrogram Images Using Convolution Neural Network** - Keydana, S. (2020) **Classifying images with torch** - Sajjad, A et al. (2019) **End-to-End Environmental Sound Classification using a 1D Convolutional Neural Network** --- class: inverse, center, middle # Thank you! --- ## library(wavesurfer) Tool for audio annotation in R [
`Athospd/wavesurfer`](http://github.com/Athospd/wavesurfer) ```r # shiny UI wavesurfer( "wavs_folder/wav_file.wav", # or .mp3 * visualization = 'spectrogram' ) %>% ws_annotator(labels = c("birdsong", "silence", "insect")) %>% ws_minimap() %>% ws_cursor() ``` ![](img/saida_wavesurfer2.png) --- ## library(wavesurfer) Tool for audio annotation in R [
`Athospd/wavesurfer`](http://github.com/Athospd/wavesurfer) ![](img/annotator_app1.png) --- # Predictive Modeling Methodologies .pull-left[ ### Spectrogram  ### MFCC  ] .pull-right[
 **passo 1)** transform...
 $$ mel = 2595 \log_{10}(1 + \frac{f}{700}) $$
 **passo 2)** weighted mean by frequency region...
  ] Fonte: [haythamfayek.com](https://haythamfayek.com/2016/04/21/speech-processing-for-machine-learning.html) --- # Predictive Modeling Methodologies ## Convolutional Neural Networks (CNN's) ![](img/cnn.png) .footnote[ fonte: http://tommymullaney.com/projects/rhythm-games-neural-networks ] --- # Predictive Modeling Methodologies ## Convolutional Neural Networks (CNN's) .pull-left[ - Define a matrix of weights (the "shadow" onto animation) - Scan the image with this matrix (blue matrix). - The new 'imagem' (in green) is made by the convolution between the blue matrix and the shadow. ] .pull-right[ ![](img/padding_strides.gif) ] Fonte: [Conv arithmetic](https://github.com/vdumoulin/conv_arithmetic) --- # Predictive Modeling Methodologies ## Gradient Boosting Machines  Where x represents all of the pixels from a MFCC set of an audio sample: - 1 second long slices - FFT window of 512 samples and sample rate of 16kHz with no overlap - 13 MFCC's Total pixels: `\(13 \times 1 \times (16000 / 512) \approx 406\)` ---


{% extends "base.html" %}
{% import "_partials/modals.html" as modals %}
{% block styles %}
{{ super() }}
{% endblock %}
{% block app_content %}
Manage Datasets
{{ modals.confirm("delete", "Delete Dataset", "You are about to delete the
dataset and all associated tasks and annotations. Are you sure?") }}
Task Completion Overview
| ID |
Name |
Demo |
Assigned Tasks |
Completed Tasks |
Target Reached (%) |
{% for entry in overview %}
| {{ entry['id'] }} |
{{ entry['name'] }} |
{% if entry['demo'] %}Yes{% else %}No{% endif %} |
{{ entry['assigned'] }} |
{{ entry['completed'] }} |
{{ entry['percentage'] }} |
{% endfor %}
{% endblock %}
{% block scripts %}
{{ super() }}
{% endblock scripts %}


Patients sue Indiana hospital over possible disease exposure
by Associated PressGOSHEN, Ind. (AP) — More than 1,000 surgical patients are suing a northern Indiana hospital after being notified that a sterilization failure could have exposed them to deadly infections.
The Elkhart Truth reports the class-action suit was filed last week in Elkhart County Court against Goshen Hospital on behalf of patient Linda Gierek and others who had surgery between April and September. It alleges the patients were potentially exposed to hepatitis C, hepatitis B and HIV.
The hospital recently notified patients who had surgery in that period that a sterilization technician failed to complete one crucial step in the process of some surgical equipment, possibly affecting 1,182 patients.
Gierek says in the suit that the potential exposure triggered ongoing emotional distress and trauma.
A message seeking comment Friday was not immediately returned by hospital officials.
___
Information from: The Elkhart Truth, http://www.elkharttruth.com


JSR 363 Showcase
A proof of concept project for JSR 363: Units of Measurement API
The Unit of Measurement API provides a set of Java language programming interfaces for handling units and quantities.
The interfaces provide a layer which separates client code, that would call the API,
from library code, which implements the API.
The specification contains Interfaces and abstract classes with methods for unit operations:
- Checking of unit compatibility
- Expression of a quantity in various units
- Arithmetic operations on units
Developers frequently encounter the need to model units of measure, because objects in the real world are subject to these measures.
When working with units, developers need to understand the mathematics of units, how to convert between systems,
and how to format and parse string representations of units. Most of this work can be consolidated into one or two Java packages,
which is a primary aim of this JSR. This package will help developers create safe, correct software to deal with common problem of modeling units.


|
VirtualSCADA
1.0
VirtualSCADA Senior Design Project
|
Data Fields | |
| const | YYERRTOK = 256 |
| const | T_INCLUDE = 257 |
| const | T_INCLUDE_ONCE = 258 |
| const | T_EVAL = 259 |
| const | T_REQUIRE = 260 |
| const | T_REQUIRE_ONCE = 261 |
| const | T_LOGICAL_OR = 262 |
| const | T_LOGICAL_XOR = 263 |
| const | T_LOGICAL_AND = 264 |
| const | T_PRINT = 265 |
| const | T_YIELD = 266 |
| const | T_PLUS_EQUAL = 267 |
| const | T_MINUS_EQUAL = 268 |
| const | T_MUL_EQUAL = 269 |
| const | T_DIV_EQUAL = 270 |
| const | T_CONCAT_EQUAL = 271 |
| const | T_MOD_EQUAL = 272 |
| const | T_AND_EQUAL = 273 |
| const | T_OR_EQUAL = 274 |
| const | T_XOR_EQUAL = 275 |
| const | T_SL_EQUAL = 276 |
| const | T_SR_EQUAL = 277 |
| const | T_POW_EQUAL = 278 |
| const | T_COALESCE = 279 |
| const | T_BOOLEAN_OR = 280 |
| const | T_BOOLEAN_AND = 281 |
| const | T_IS_EQUAL = 282 |
| const | T_IS_NOT_EQUAL = 283 |
| const | T_IS_IDENTICAL = 284 |
| const | T_IS_NOT_IDENTICAL = 285 |
| const | T_SPACESHIP = 286 |
| const | T_IS_SMALLER_OR_EQUAL = 287 |
| const | T_IS_GREATER_OR_EQUAL = 288 |
| const | T_SL = 289 |
| const | T_SR = 290 |
| const | T_INSTANCEOF = 291 |
| const | T_INC = 292 |
| const | T_DEC = 293 |
| const | T_INT_CAST = 294 |
| const | T_DOUBLE_CAST = 295 |
| const | T_STRING_CAST = 296 |
| const | T_ARRAY_CAST = 297 |
| const | T_OBJECT_CAST = 298 |
| const | T_BOOL_CAST = 299 |
| const | T_UNSET_CAST = 300 |
| const | T_POW = 301 |
| const | T_NEW = 302 |
| const | T_CLONE = 303 |
| const | T_EXIT = 304 |
| const | T_IF = 305 |
| const | T_ELSEIF = 306 |
| const | T_ELSE = 307 |
| const | T_ENDIF = 308 |
| const | T_LNUMBER = 309 |
| const | T_DNUMBER = 310 |
| const | T_STRING = 311 |
| const | T_STRING_VARNAME = 312 |
| const | T_VARIABLE = 313 |
| const | T_NUM_STRING = 314 |
| const | T_INLINE_HTML = 315 |
| const | T_CHARACTER = 316 |
| const | T_BAD_CHARACTER = 317 |
| const | T_ENCAPSED_AND_WHITESPACE = 318 |
| const | T_CONSTANT_ENCAPSED_STRING = 319 |
| const | T_ECHO = 320 |
| const | T_DO = 321 |
| const | T_WHILE = 322 |
| const | T_ENDWHILE = 323 |
| const | T_FOR = 324 |
| const | T_ENDFOR = 325 |
| const | T_FOREACH = 326 |
| const | T_ENDFOREACH = 327 |
| const | T_DECLARE = 328 |
| const | T_ENDDECLARE = 329 |
| const | T_AS = 330 |
| const | T_SWITCH = 331 |
| const | T_ENDSWITCH = 332 |
| const | T_CASE = 333 |
| const | T_DEFAULT = 334 |
| const | T_BREAK = 335 |
| const | T_CONTINUE = 336 |
| const | T_GOTO = 337 |
| const | T_FUNCTION = 338 |
| const | T_CONST = 339 |
| const | T_RETURN = 340 |
| const | T_TRY = 341 |
| const | T_CATCH = 342 |
| const | T_FINALLY = 343 |
| const | T_THROW = 344 |
| const | T_USE = 345 |
| const | T_INSTEADOF = 346 |
| const | T_GLOBAL = 347 |
| const | T_STATIC = 348 |
| const | T_ABSTRACT = 349 |
| const | T_FINAL = 350 |
| const | T_PRIVATE = 351 |
| const | T_PROTECTED = 352 |
| const | T_PUBLIC = 353 |
| const | T_VAR = 354 |
| const | T_UNSET = 355 |
| const | T_ISSET = 356 |
| const | T_EMPTY = 357 |
| const | T_HALT_COMPILER = 358 |
| const | T_CLASS = 359 |
| const | T_TRAIT = 360 |
| const | T_INTERFACE = 361 |
| const | T_EXTENDS = 362 |
| const | T_IMPLEMENTS = 363 |
| const | T_OBJECT_OPERATOR = 364 |
| const | T_DOUBLE_ARROW = 365 |
| const | T_LIST = 366 |
| const | T_ARRAY = 367 |
| const | T_CALLABLE = 368 |
| const | T_CLASS_C = 369 |
| const | T_TRAIT_C = 370 |
| const | T_METHOD_C = 371 |
| const | T_FUNC_C = 372 |
| const | T_LINE = 373 |
| const | T_FILE = 374 |
| const | T_COMMENT = 375 |
| const | T_DOC_COMMENT = 376 |
| const | T_OPEN_TAG = 377 |
| const | T_OPEN_TAG_WITH_ECHO = 378 |
| const | T_CLOSE_TAG = 379 |
| const | T_WHITESPACE = 380 |
| const | T_START_HEREDOC = 381 |
| const | T_END_HEREDOC = 382 |
| const | T_DOLLAR_OPEN_CURLY_BRACES = 383 |
| const | T_CURLY_OPEN = 384 |
| const | T_PAAMAYIM_NEKUDOTAYIM = 385 |
| const | T_NAMESPACE = 386 |
| const | T_NS_C = 387 |
| const | T_DIR = 388 |
| const | T_NS_SEPARATOR = 389 |
| const | T_ELLIPSIS = 390 |
| Data Fields inherited from ParserAbstract | |
| const | SYMBOL_NONE = -1 |
Protected Member Functions | |
| reduceRule0 () | |
| reduceRule1 ($attributes) | |
| reduceRule2 ($attributes) | |
| reduceRule3 ($attributes) | |
| reduceRule4 ($attributes) | |
| reduceRule5 ($attributes) | |
| reduceRule6 ($attributes) | |
| reduceRule7 ($attributes) | |
| reduceRule8 ($attributes) | |
| reduceRule9 ($attributes) | |
| reduceRule10 ($attributes) | |
| reduceRule11 ($attributes) | |
| reduceRule12 ($attributes) | |
| reduceRule13 ($attributes) | |
| reduceRule14 ($attributes) | |
| reduceRule15 ($attributes) | |
| reduceRule16 ($attributes) | |
| reduceRule17 ($attributes) | |
| reduceRule18 ($attributes) | |
| reduceRule19 ($attributes) | |
| reduceRule20 ($attributes) | |
| reduceRule21 ($attributes) | |
| reduceRule22 ($attributes) | |
| reduceRule23 ($attributes) | |
| reduceRule24 ($attributes) | |
| reduceRule25 ($attributes) | |
| reduceRule26 ($attributes) | |
| reduceRule27 ($attributes) | |
| reduceRule28 ($attributes) | |
| reduceRule29 ($attributes) | |
| reduceRule30 ($attributes) | |
| reduceRule31 ($attributes) | |
| reduceRule32 ($attributes) | |
| reduceRule33 ($attributes) | |
| reduceRule34 ($attributes) | |
| reduceRule35 ($attributes) | |
| reduceRule36 ($attributes) | |
| reduceRule37 ($attributes) | |
| reduceRule38 ($attributes) | |
| reduceRule39 ($attributes) | |
| reduceRule40 ($attributes) | |
| reduceRule41 ($attributes) | |
| reduceRule42 ($attributes) | |
| reduceRule43 ($attributes) | |
| reduceRule44 ($attributes) | |
| reduceRule45 ($attributes) | |
| reduceRule46 ($attributes) | |
| reduceRule47 ($attributes) | |
| reduceRule48 ($attributes) | |
| reduceRule49 ($attributes) | |
| reduceRule50 ($attributes) | |
| reduceRule51 ($attributes) | |
| reduceRule52 ($attributes) | |
| reduceRule53 ($attributes) | |
| reduceRule54 ($attributes) | |
| reduceRule55 ($attributes) | |
| reduceRule56 ($attributes) | |
| reduceRule57 ($attributes) | |
| reduceRule58 ($attributes) | |
| reduceRule59 ($attributes) | |
| reduceRule60 ($attributes) | |
| reduceRule61 ($attributes) | |
| reduceRule62 ($attributes) | |
| reduceRule63 ($attributes) | |
| reduceRule64 ($attributes) | |
| reduceRule65 ($attributes) | |
| reduceRule66 ($attributes) | |
| reduceRule67 ($attributes) | |
| reduceRule68 ($attributes) | |
| reduceRule69 ($attributes) | |
| reduceRule70 ($attributes) | |
| reduceRule71 ($attributes) | |
| reduceRule72 ($attributes) | |
| reduceRule73 ($attributes) | |
| reduceRule74 ($attributes) | |
| reduceRule75 ($attributes) | |
| reduceRule76 ($attributes) | |
| reduceRule77 ($attributes) | |
| reduceRule78 ($attributes) | |
| reduceRule79 ($attributes) | |
| reduceRule80 ($attributes) | |
| reduceRule81 ($attributes) | |
| reduceRule82 ($attributes) | |
| reduceRule83 ($attributes) | |
| reduceRule84 ($attributes) | |
| reduceRule85 ($attributes) | |
| reduceRule86 ($attributes) | |
| reduceRule87 ($attributes) | |
| reduceRule88 ($attributes) | |
| reduceRule89 ($attributes) | |
| reduceRule90 ($attributes) | |
| reduceRule91 ($attributes) | |
| reduceRule92 ($attributes) | |
| reduceRule93 ($attributes) | |
| reduceRule94 ($attributes) | |
| reduceRule95 ($attributes) | |
| reduceRule96 ($attributes) | |
| reduceRule97 ($attributes) | |
| reduceRule98 ($attributes) | |
| reduceRule99 ($attributes) | |
| reduceRule100 ($attributes) | |
| reduceRule101 ($attributes) | |
| reduceRule102 ($attributes) | |
| reduceRule103 ($attributes) | |
| reduceRule104 () | |
| reduceRule105 () | |
| reduceRule106 ($attributes) | |
| reduceRule107 ($attributes) | |
| reduceRule108 ($attributes) | |
| reduceRule109 ($attributes) | |
| reduceRule110 ($attributes) | |
| reduceRule111 ($attributes) | |
| reduceRule112 ($attributes) | |
| reduceRule113 ($attributes) | |
| reduceRule114 ($attributes) | |
| reduceRule115 ($attributes) | |
| reduceRule116 ($attributes) | |
| reduceRule117 ($attributes) | |
| reduceRule118 ($attributes) | |
| reduceRule119 ($attributes) | |
| reduceRule120 ($attributes) | |
| reduceRule121 ($attributes) | |
| reduceRule122 ($attributes) | |
| reduceRule123 ($attributes) | |
| reduceRule124 ($attributes) | |
| reduceRule125 ($attributes) | |
| reduceRule126 ($attributes) | |
| reduceRule127 ($attributes) | |
| reduceRule128 ($attributes) | |
| reduceRule129 ($attributes) | |
| reduceRule130 ($attributes) | |
| reduceRule131 ($attributes) | |
| reduceRule132 ($attributes) | |
| reduceRule133 ($attributes) | |
| reduceRule134 ($attributes) | |
| reduceRule135 ($attributes) | |
| reduceRule136 ($attributes) | |
| reduceRule137 ($attributes) | |
| reduceRule138 ($attributes) | |
| reduceRule139 ($attributes) | |
| reduceRule140 ($attributes) | |
| reduceRule141 ($attributes) | |
| reduceRule142 ($attributes) | |
| reduceRule143 ($attributes) | |
| reduceRule144 ($attributes) | |
| reduceRule145 ($attributes) | |
| reduceRule146 ($attributes) | |
| reduceRule147 ($attributes) | |
| reduceRule148 ($attributes) | |
| reduceRule149 ($attributes) | |
| reduceRule150 ($attributes) | |
| reduceRule151 ($attributes) | |
| reduceRule152 ($attributes) | |
| reduceRule153 ($attributes) | |
| reduceRule154 ($attributes) | |
| reduceRule155 ($attributes) | |
| reduceRule156 ($attributes) | |
| reduceRule157 ($attributes) | |
| reduceRule158 ($attributes) | |
| reduceRule159 ($attributes) | |
| reduceRule160 ($attributes) | |
| reduceRule161 ($attributes) | |
| reduceRule162 ($attributes) | |
| reduceRule163 ($attributes) | |
| reduceRule164 ($attributes) | |
| reduceRule165 ($attributes) | |
| reduceRule166 ($attributes) | |
| reduceRule167 ($attributes) | |
| reduceRule168 ($attributes) | |
| reduceRule169 ($attributes) | |
| reduceRule170 ($attributes) | |
| reduceRule171 ($attributes) | |
| reduceRule172 ($attributes) | |
| reduceRule173 ($attributes) | |
| reduceRule174 ($attributes) | |
| reduceRule175 ($attributes) | |
| reduceRule176 ($attributes) | |
| reduceRule177 ($attributes) | |
| reduceRule178 ($attributes) | |
| reduceRule179 ($attributes) | |
| reduceRule180 ($attributes) | |
| reduceRule181 ($attributes) | |
| reduceRule182 ($attributes) | |
| reduceRule183 ($attributes) | |
| reduceRule184 ($attributes) | |
| reduceRule185 ($attributes) | |
| reduceRule186 ($attributes) | |
| reduceRule187 ($attributes) | |
| reduceRule188 ($attributes) | |
| reduceRule189 ($attributes) | |
| reduceRule190 ($attributes) | |
| reduceRule191 ($attributes) | |
| reduceRule192 ($attributes) | |
| reduceRule193 ($attributes) | |
| reduceRule194 ($attributes) | |
| reduceRule195 ($attributes) | |
| reduceRule196 ($attributes) | |
| reduceRule197 ($attributes) | |
| reduceRule198 ($attributes) | |
| reduceRule199 ($attributes) | |
| reduceRule200 ($attributes) | |
| reduceRule201 ($attributes) | |
| reduceRule202 ($attributes) | |
| reduceRule203 ($attributes) | |
| reduceRule204 ($attributes) | |
| reduceRule205 ($attributes) | |
| reduceRule206 ($attributes) | |
| reduceRule207 ($attributes) | |
| reduceRule208 ($attributes) | |
| reduceRule209 ($attributes) | |
| reduceRule210 ($attributes) | |
| reduceRule211 ($attributes) | |
| reduceRule212 ($attributes) | |
| reduceRule213 ($attributes) | |
| reduceRule214 ($attributes) | |
| reduceRule215 ($attributes) | |
| reduceRule216 ($attributes) | |
| reduceRule217 ($attributes) | |
| reduceRule218 ($attributes) | |
| reduceRule219 ($attributes) | |
| reduceRule220 ($attributes) | |
| reduceRule221 ($attributes) | |
| reduceRule222 ($attributes) | |
| reduceRule223 ($attributes) | |
| reduceRule224 ($attributes) | |
| reduceRule225 ($attributes) | |
| reduceRule226 ($attributes) | |
| reduceRule227 ($attributes) | |
| reduceRule228 ($attributes) | |
| reduceRule229 ($attributes) | |
| reduceRule230 ($attributes) | |
| reduceRule231 ($attributes) | |
| reduceRule232 ($attributes) | |
| reduceRule233 ($attributes) | |
| reduceRule234 ($attributes) | |
| reduceRule235 ($attributes) | |
| reduceRule236 ($attributes) | |
| reduceRule237 ($attributes) | |
| reduceRule238 ($attributes) | |
| reduceRule239 ($attributes) | |
| reduceRule240 ($attributes) | |
| reduceRule241 ($attributes) | |
| reduceRule242 ($attributes) | |
| reduceRule243 ($attributes) | |
| reduceRule244 ($attributes) | |
| reduceRule245 ($attributes) | |
| reduceRule246 ($attributes) | |
| reduceRule247 ($attributes) | |
| reduceRule248 ($attributes) | |
| reduceRule249 ($attributes) | |
| reduceRule250 ($attributes) | |
| reduceRule251 ($attributes) | |
| reduceRule252 ($attributes) | |
| reduceRule253 ($attributes) | |
| reduceRule254 ($attributes) | |
| reduceRule255 ($attributes) | |
| reduceRule256 ($attributes) | |
| reduceRule257 ($attributes) | |
| reduceRule258 ($attributes) | |
| reduceRule259 ($attributes) | |
| reduceRule260 ($attributes) | |
| reduceRule261 ($attributes) | |
| reduceRule262 ($attributes) | |
| reduceRule263 ($attributes) | |
| reduceRule264 ($attributes) | |
| reduceRule265 ($attributes) | |
| reduceRule266 ($attributes) | |
| reduceRule267 ($attributes) | |
| reduceRule268 ($attributes) | |
| reduceRule269 ($attributes) | |
| reduceRule270 ($attributes) | |
| reduceRule271 ($attributes) | |
| reduceRule272 ($attributes) | |
| reduceRule273 ($attributes) | |
| reduceRule274 ($attributes) | |
| reduceRule275 ($attributes) | |
| reduceRule276 ($attributes) | |
| reduceRule277 ($attributes) | |
| reduceRule278 ($attributes) | |
| reduceRule279 ($attributes) | |
| reduceRule280 ($attributes) | |
| reduceRule281 ($attributes) | |
| reduceRule282 ($attributes) | |
| reduceRule283 ($attributes) | |
| reduceRule284 ($attributes) | |
| reduceRule285 ($attributes) | |
| reduceRule286 ($attributes) | |
| reduceRule287 ($attributes) | |
| reduceRule288 ($attributes) | |
| reduceRule289 ($attributes) | |
| reduceRule290 ($attributes) | |
| reduceRule291 ($attributes) | |
| reduceRule292 ($attributes) | |
| reduceRule293 ($attributes) | |
| reduceRule294 ($attributes) | |
| reduceRule295 ($attributes) | |
| reduceRule296 ($attributes) | |
| reduceRule297 ($attributes) | |
| reduceRule298 ($attributes) | |
| reduceRule299 ($attributes) | |
| reduceRule300 ($attributes) | |
| reduceRule301 ($attributes) | |
| reduceRule302 ($attributes) | |
| reduceRule303 ($attributes) | |
| reduceRule304 ($attributes) | |
| reduceRule305 ($attributes) | |
| reduceRule306 ($attributes) | |
| reduceRule307 ($attributes) | |
| reduceRule308 ($attributes) | |
| reduceRule309 ($attributes) | |
| reduceRule310 ($attributes) | |
| reduceRule311 ($attributes) | |
| reduceRule312 ($attributes) | |
| reduceRule313 ($attributes) | |
| reduceRule314 ($attributes) | |
| reduceRule315 ($attributes) | |
| reduceRule316 ($attributes) | |
| reduceRule317 ($attributes) | |
| reduceRule318 ($attributes) | |
| reduceRule319 ($attributes) | |
| reduceRule320 ($attributes) | |
| reduceRule321 ($attributes) | |
| reduceRule322 ($attributes) | |
| reduceRule323 ($attributes) | |
| reduceRule324 ($attributes) | |
| reduceRule325 ($attributes) | |
| reduceRule326 ($attributes) | |
| reduceRule327 ($attributes) | |
| reduceRule328 ($attributes) | |
| reduceRule329 ($attributes) | |
| reduceRule330 ($attributes) | |
| reduceRule331 ($attributes) | |
| reduceRule332 ($attributes) | |
| reduceRule333 ($attributes) | |
| reduceRule334 ($attributes) | |
| reduceRule335 ($attributes) | |
| reduceRule336 ($attributes) | |
| reduceRule337 ($attributes) | |
| reduceRule338 ($attributes) | |
| reduceRule339 ($attributes) | |
| reduceRule340 ($attributes) | |
| reduceRule341 ($attributes) | |
| reduceRule342 ($attributes) | |
| reduceRule343 ($attributes) | |
| reduceRule344 ($attributes) | |
| reduceRule345 ($attributes) | |
| reduceRule346 ($attributes) | |
| reduceRule347 ($attributes) | |
| reduceRule348 ($attributes) | |
| reduceRule349 ($attributes) | |
| reduceRule350 ($attributes) | |
| reduceRule351 ($attributes) | |
| reduceRule352 ($attributes) | |
| reduceRule353 ($attributes) | |
| reduceRule354 ($attributes) | |
| reduceRule355 ($attributes) | |
| reduceRule356 ($attributes) | |
| reduceRule357 ($attributes) | |
| reduceRule358 ($attributes) | |
| reduceRule359 ($attributes) | |
| reduceRule360 ($attributes) | |
| reduceRule361 ($attributes) | |
| reduceRule362 ($attributes) | |
| reduceRule363 ($attributes) | |
| reduceRule364 ($attributes) | |
| reduceRule365 ($attributes) | |
| reduceRule366 ($attributes) | |
| reduceRule367 ($attributes) | |
| reduceRule368 ($attributes) | |
| reduceRule369 ($attributes) | |
| reduceRule370 ($attributes) | |
| reduceRule371 ($attributes) | |
| reduceRule372 ($attributes) | |
| reduceRule373 ($attributes) | |
| reduceRule374 ($attributes) | |
| reduceRule375 ($attributes) | |
| reduceRule376 ($attributes) | |
| reduceRule377 ($attributes) | |
| reduceRule378 ($attributes) | |
| reduceRule379 ($attributes) | |
| reduceRule380 () | |
| reduceRule381 () | |
| reduceRule382 ($attributes) | |
| reduceRule383 ($attributes) | |
| reduceRule384 ($attributes) | |
| reduceRule385 ($attributes) | |
| reduceRule386 ($attributes) | |
| reduceRule387 ($attributes) | |
| reduceRule388 ($attributes) | |
| reduceRule389 ($attributes) | |
| reduceRule390 ($attributes) | |
| reduceRule391 ($attributes) | |
| reduceRule392 ($attributes) | |
| reduceRule393 ($attributes) | |
| reduceRule394 ($attributes) | |
| reduceRule395 ($attributes) | |
| reduceRule396 ($attributes) | |
| reduceRule397 ($attributes) | |
| reduceRule398 ($attributes) | |
| reduceRule399 ($attributes) | |
| reduceRule400 ($attributes) | |
| reduceRule401 ($attributes) | |
| reduceRule402 ($attributes) | |
| reduceRule403 ($attributes) | |
| reduceRule404 ($attributes) | |
| reduceRule405 ($attributes) | |
| reduceRule406 ($attributes) | |
| reduceRule407 ($attributes) | |
| reduceRule408 ($attributes) | |
| reduceRule409 ($attributes) | |
| reduceRule410 ($attributes) | |
| reduceRule411 ($attributes) | |
| reduceRule412 ($attributes) | |
| reduceRule413 ($attributes) | |
| reduceRule414 ($attributes) | |
| reduceRule415 ($attributes) | |
| reduceRule416 ($attributes) | |
| reduceRule417 ($attributes) | |
| reduceRule418 ($attributes) | |
| reduceRule419 ($attributes) | |
| reduceRule420 ($attributes) | |
| reduceRule421 ($attributes) | |
| reduceRule422 ($attributes) | |
| reduceRule423 ($attributes) | |
| reduceRule424 ($attributes) | |
| reduceRule425 ($attributes) | |
| reduceRule426 ($attributes) | |
| reduceRule427 ($attributes) | |
| reduceRule428 ($attributes) | |
| reduceRule429 ($attributes) | |
| reduceRule430 ($attributes) | |
| reduceRule431 ($attributes) | |
| reduceRule432 ($attributes) | |
| reduceRule433 ($attributes) | |
| reduceRule434 ($attributes) | |
| reduceRule435 ($attributes) | |
| reduceRule436 ($attributes) | |
| reduceRule437 ($attributes) | |
| reduceRule438 ($attributes) | |
| reduceRule439 ($attributes) | |
| reduceRule440 ($attributes) | |
| reduceRule441 ($attributes) | |
| reduceRule442 ($attributes) | |
| reduceRule443 ($attributes) | |
| reduceRule444 ($attributes) | |
| reduceRule445 ($attributes) | |
| Protected Member Functions inherited from ParserAbstract | |
| getExpectedTokens ($state) | |
| traceNewState ($state, $symbol) | |
| traceRead ($symbol) | |
| traceShift ($symbol) | |
| traceAccept () | |
| traceReduce ($n) | |
| handleNamespaces (array $stmts) | |
Protected Attributes | |
| $tokenToSymbolMapSize = 391 | |
| $actionTableSize = 1118 | |
| $gotoTableSize = 573 | |
| $invalidToken = 156 | |
| $defaultAction = -32766 | |
| $unexpectedTokenRule = 32767 | |
| $YY2TBLSTATE = 406 | |
| $YYNLSTATES = 638 | |
| $symbolToName | |
| $tokenToSymbol | |
| $action | |
| $actionCheck | |
| $actionBase | |
| $actionDefault | |
| $goto | |
| $gotoCheck | |
| $gotoBase | |
| $gotoDefault | |
| $ruleToNonTerminal | |
| $ruleToLength | |
| Protected Attributes inherited from ParserAbstract | |
| $tokenToSymbolMapSize | |
| $actionTableSize | |
| $gotoTableSize | |
| $invalidSymbol | |
| $defaultAction | |
| $unexpectedTokenRule | |
| $YY2TBLSTATE | |
| $YYNLSTATES | |
| $tokenToSymbol | |
| $symbolToName | |
| $productions | |
| $actionBase | |
| $action | |
| $actionCheck | |
| $actionDefault | |
| $gotoBase | |
| $goto | |
| $gotoCheck | |
| $gotoDefault | |
| $ruleToNonTerminal | |
| $ruleToLength | |
| $lexer | |
| $semValue | |
| $semStack | |
| $stackPos | |
Additional Inherited Members | |
| Public Member Functions inherited from ParserAbstract | |
| __construct (Lexer $lexer) | |
| parse ($code) | |
Definition at line 11 of file Parser.php.
|
protected |
Definition at line 1017 of file Parser.php.
|
protected |
Definition at line 1021 of file Parser.php.
|
protected |
Definition at line 1057 of file Parser.php.
|
protected |
Definition at line 1417 of file Parser.php.
|
protected |
Definition at line 1421 of file Parser.php.
|
protected |
Definition at line 1425 of file Parser.php.
|
protected |
Definition at line 1429 of file Parser.php.
|
protected |
Definition at line 1433 of file Parser.php.
|
protected |
Definition at line 1437 of file Parser.php.
|
protected |
Definition at line 1441 of file Parser.php.
|
protected |
Definition at line 1445 of file Parser.php.
|
protected |
Definition at line 1449 of file Parser.php.
|
protected |
Definition at line 1453 of file Parser.php.
|
protected |
Definition at line 1061 of file Parser.php.
|
protected |
Definition at line 1457 of file Parser.php.
|
protected |
Definition at line 1461 of file Parser.php.
|
protected |
Definition at line 1465 of file Parser.php.
|
protected |
Definition at line 1469 of file Parser.php.
|
protected |
Definition at line 1473 of file Parser.php.
|
protected |
Definition at line 1477 of file Parser.php.
|
protected |
Definition at line 1481 of file Parser.php.
|
protected |
Definition at line 1485 of file Parser.php.
|
protected |
Definition at line 1489 of file Parser.php.
|
protected |
Definition at line 1493 of file Parser.php.
|
protected |
Definition at line 1065 of file Parser.php.
|
protected |
Definition at line 1497 of file Parser.php.
|
protected |
Definition at line 1501 of file Parser.php.
|
protected |
Definition at line 1505 of file Parser.php.
|
protected |
Definition at line 1509 of file Parser.php.
|
protected |
Definition at line 1513 of file Parser.php.
|
protected |
Definition at line 1517 of file Parser.php.
|
protected |
Definition at line 1521 of file Parser.php.
|
protected |
Definition at line 1525 of file Parser.php.
|
protected |
Definition at line 1529 of file Parser.php.
|
protected |
Definition at line 1533 of file Parser.php.
|
protected |
Definition at line 1069 of file Parser.php.
|
protected |
Definition at line 1537 of file Parser.php.
|
protected |
Definition at line 1541 of file Parser.php.
|
protected |
Definition at line 1545 of file Parser.php.
|
protected |
Definition at line 1549 of file Parser.php.
|
protected |
Definition at line 1553 of file Parser.php.
|
protected |
Definition at line 1557 of file Parser.php.
|
protected |
Definition at line 1561 of file Parser.php.
|
protected |
Definition at line 1565 of file Parser.php.
|
protected |
Definition at line 1569 of file Parser.php.
|
protected |
Definition at line 1573 of file Parser.php.
|
protected |
Definition at line 1073 of file Parser.php.
|
protected |
Definition at line 1577 of file Parser.php.
|
protected |
Definition at line 1581 of file Parser.php.
|
protected |
Definition at line 1585 of file Parser.php.
|
protected |
Definition at line 1589 of file Parser.php.
|
protected |
Definition at line 1593 of file Parser.php.
|
protected |
Definition at line 1597 of file Parser.php.
|
protected |
Definition at line 1601 of file Parser.php.
|
protected |
Definition at line 1605 of file Parser.php.
|
protected |
Definition at line 1609 of file Parser.php.
|
protected |
Definition at line 1613 of file Parser.php.
|
protected |
Definition at line 1077 of file Parser.php.
|
protected |
Definition at line 1617 of file Parser.php.
|
protected |
Definition at line 1621 of file Parser.php.
|
protected |
Definition at line 1625 of file Parser.php.
|
protected |
Definition at line 1629 of file Parser.php.
|
protected |
Definition at line 1633 of file Parser.php.
|
protected |
Definition at line 1637 of file Parser.php.
|
protected |
Definition at line 1641 of file Parser.php.
|
protected |
Definition at line 1645 of file Parser.php.
|
protected |
Definition at line 1649 of file Parser.php.
|
protected |
Definition at line 1653 of file Parser.php.
|
protected |
Definition at line 1081 of file Parser.php.
|
protected |
Definition at line 1657 of file Parser.php.
|
protected |
Definition at line 1661 of file Parser.php.
|
protected |
Definition at line 1665 of file Parser.php.
|
protected |
Definition at line 1669 of file Parser.php.
|
protected |
Definition at line 1673 of file Parser.php.
|
protected |
Definition at line 1677 of file Parser.php.
|
protected |
Definition at line 1681 of file Parser.php.
|
protected |
Definition at line 1685 of file Parser.php.
|
protected |
Definition at line 1689 of file Parser.php.
|
protected |
Definition at line 1693 of file Parser.php.
|
protected |
Definition at line 1085 of file Parser.php.
|
protected |
Definition at line 1697 of file Parser.php.
|
protected |
Definition at line 1701 of file Parser.php.
|
protected |
Definition at line 1705 of file Parser.php.
|
protected |
Definition at line 1709 of file Parser.php.
|
protected |
Definition at line 1713 of file Parser.php.
|
protected |
Definition at line 1717 of file Parser.php.
|
protected |
Definition at line 1721 of file Parser.php.
|
protected |
Definition at line 1725 of file Parser.php.
|
protected |
Definition at line 1729 of file Parser.php.
|
protected |
Definition at line 1733 of file Parser.php.
|
protected |
Definition at line 1089 of file Parser.php.
|
protected |
Definition at line 1737 of file Parser.php.
|
protected |
Definition at line 1741 of file Parser.php.
|
protected |
Definition at line 1745 of file Parser.php.
|
protected |
Definition at line 1749 of file Parser.php.
|
protected |
Definition at line 1753 of file Parser.php.
|
protected |
Definition at line 1757 of file Parser.php.
|
protected |
Definition at line 1761 of file Parser.php.
|
protected |
Definition at line 1765 of file Parser.php.
|
protected |
Definition at line 1769 of file Parser.php.
|
protected |
Definition at line 1773 of file Parser.php.
|
protected |
Definition at line 1093 of file Parser.php.
|
protected |
Definition at line 1777 of file Parser.php.
|
protected |
Definition at line 1781 of file Parser.php.
|
protected |
Definition at line 1785 of file Parser.php.
|
protected |
Definition at line 1789 of file Parser.php.
|
protected |
Definition at line 1793 of file Parser.php.
|
protected |
Definition at line 1797 of file Parser.php.
|
protected |
Definition at line 1801 of file Parser.php.
|
protected |
Definition at line 1805 of file Parser.php.
|
protected |
Definition at line 1809 of file Parser.php.
|
protected |
Definition at line 1813 of file Parser.php.
|
protected |
Definition at line 1025 of file Parser.php.
|
protected |
Definition at line 1097 of file Parser.php.
|
protected |
Definition at line 1817 of file Parser.php.
|
protected |
Definition at line 1821 of file Parser.php.
|
protected |
Definition at line 1825 of file Parser.php.
|
protected |
Definition at line 1829 of file Parser.php.
|
protected |
Definition at line 1833 of file Parser.php.
|
protected |
Definition at line 1837 of file Parser.php.
|
protected |
Definition at line 1841 of file Parser.php.
|
protected |
Definition at line 1845 of file Parser.php.
|
protected |
Definition at line 1849 of file Parser.php.
|
protected |
Definition at line 1853 of file Parser.php.
|
protected |
Definition at line 1101 of file Parser.php.
|
protected |
Definition at line 1857 of file Parser.php.
|
protected |
Definition at line 1861 of file Parser.php.
|
protected |
Definition at line 1865 of file Parser.php.
|
protected |
Definition at line 1869 of file Parser.php.
|
protected |
Definition at line 1873 of file Parser.php.
|
protected |
Definition at line 1877 of file Parser.php.
|
protected |
Definition at line 1881 of file Parser.php.
|
protected |
Definition at line 1885 of file Parser.php.
|
protected |
Definition at line 1889 of file Parser.php.
|
protected |
Definition at line 1893 of file Parser.php.
|
protected |
Definition at line 1105 of file Parser.php.
|
protected |
Definition at line 1897 of file Parser.php.
|
protected |
Definition at line 1901 of file Parser.php.
|
protected |
Definition at line 1905 of file Parser.php.
|
protected |
Definition at line 1909 of file Parser.php.
|
protected |
Definition at line 1913 of file Parser.php.
|
protected |
Definition at line 1917 of file Parser.php.
|
protected |
Definition at line 1921 of file Parser.php.
|
protected |
Definition at line 1925 of file Parser.php.
|
protected |
Definition at line 1929 of file Parser.php.
|
protected |
Definition at line 1933 of file Parser.php.
|
protected |
Definition at line 1109 of file Parser.php.
|
protected |
Definition at line 1937 of file Parser.php.
|
protected |
Definition at line 1941 of file Parser.php.
|
protected |
Definition at line 1945 of file Parser.php.
|
protected |
Definition at line 1949 of file Parser.php.
|
protected |
Definition at line 1953 of file Parser.php.
|
protected |
Definition at line 1957 of file Parser.php.
|
protected |
Definition at line 1961 of file Parser.php.
|
protected |
Definition at line 1965 of file Parser.php.
|
protected |
Definition at line 1969 of file Parser.php.
|
protected |
Definition at line 1973 of file Parser.php.
|
protected |
Definition at line 1113 of file Parser.php.
|
protected |
Definition at line 1977 of file Parser.php.
|
protected |
Definition at line 1981 of file Parser.php.
|
protected |
Definition at line 1985 of file Parser.php.
|
protected |
Definition at line 1989 of file Parser.php.
|
protected |
Definition at line 1993 of file Parser.php.
|
protected |
Definition at line 1997 of file Parser.php.
|
protected |
Definition at line 2001 of file Parser.php.
|
protected |
Definition at line 2005 of file Parser.php.
|
protected |
Definition at line 2009 of file Parser.php.
|
protected |
Definition at line 2013 of file Parser.php.
|
protected |
Definition at line 1117 of file Parser.php.
|
protected |
Definition at line 2017 of file Parser.php.
|
protected |
Definition at line 2021 of file Parser.php.
|
protected |
Definition at line 2025 of file Parser.php.
|
protected |
Definition at line 2029 of file Parser.php.
|
protected |
Definition at line 2033 of file Parser.php.
|
protected |
Definition at line 2037 of file Parser.php.
|
protected |
Definition at line 2041 of file Parser.php.
|
protected |
Definition at line 2045 of file Parser.php.
|
protected |
Definition at line 2049 of file Parser.php.
|
protected |
Definition at line 2053 of file Parser.php.
|
protected |
Definition at line 1121 of file Parser.php.
|
protected |
Definition at line 2057 of file Parser.php.
|
protected |
Definition at line 2061 of file Parser.php.
|
protected |
Definition at line 2065 of file Parser.php.
|
protected |
Definition at line 2069 of file Parser.php.
|
protected |
Definition at line 2073 of file Parser.php.
|
protected |
Definition at line 2077 of file Parser.php.
|
protected |
Definition at line 2081 of file Parser.php.
|
protected |
Definition at line 2085 of file Parser.php.
|
protected |
Definition at line 2089 of file Parser.php.
|
protected |
Definition at line 2093 of file Parser.php.
|
protected |
Definition at line 1125 of file Parser.php.
|
protected |
Definition at line 2097 of file Parser.php.
|
protected |
Definition at line 2101 of file Parser.php.
|
protected |
Definition at line 2105 of file Parser.php.
|
protected |
Definition at line 2109 of file Parser.php.
|
protected |
Definition at line 2113 of file Parser.php.
|
protected |
Definition at line 2117 of file Parser.php.
|
protected |
Definition at line 2121 of file Parser.php.
|
protected |
Definition at line 2125 of file Parser.php.
|
protected |
Definition at line 2129 of file Parser.php.
|
protected |
Definition at line 2133 of file Parser.php.
|
protected |
Definition at line 1129 of file Parser.php.
|
protected |
Definition at line 2137 of file Parser.php.
|
protected |
Definition at line 2141 of file Parser.php.
|
protected |
Definition at line 2145 of file Parser.php.
|
protected |
Definition at line 2149 of file Parser.php.
|
protected |
Definition at line 2153 of file Parser.php.
|
protected |
Definition at line 2157 of file Parser.php.
|
protected |
Definition at line 2161 of file Parser.php.
|
protected |
Definition at line 2165 of file Parser.php.
|
protected |
Definition at line 2169 of file Parser.php.
|
protected |
Definition at line 2173 of file Parser.php.
|
protected |
Definition at line 1133 of file Parser.php.
|
protected |
Definition at line 2177 of file Parser.php.
|
protected |
Definition at line 2181 of file Parser.php.
|
protected |
Definition at line 2185 of file Parser.php.
|
protected |
Definition at line 2203 of file Parser.php.
|
protected |
Definition at line 2207 of file Parser.php.
|
protected |
Definition at line 2211 of file Parser.php.
|
protected |
Definition at line 2215 of file Parser.php.
|
protected |
Definition at line 2219 of file Parser.php.
|
protected |
Definition at line 2223 of file Parser.php.
|
protected |
Definition at line 2227 of file Parser.php.
|
protected |
Definition at line 1029 of file Parser.php.
|
protected |
Definition at line 1137 of file Parser.php.
|
protected |
Definition at line 2231 of file Parser.php.
|
protected |
Definition at line 2235 of file Parser.php.
|
protected |
Definition at line 2239 of file Parser.php.
|
protected |
Definition at line 2243 of file Parser.php.
|
protected |
Definition at line 2247 of file Parser.php.
|
protected |
Definition at line 2251 of file Parser.php.
|
protected |
Definition at line 2255 of file Parser.php.
|
protected |
Definition at line 2259 of file Parser.php.
|
protected |
Definition at line 2263 of file Parser.php.
|
protected |
Definition at line 2267 of file Parser.php.
|
protected |
Definition at line 1141 of file Parser.php.
|
protected |
Definition at line 2271 of file Parser.php.
|
protected |
Definition at line 2275 of file Parser.php.
|
protected |
Definition at line 2279 of file Parser.php.
|
protected |
Definition at line 2283 of file Parser.php.
|
protected |
Definition at line 2287 of file Parser.php.
|
protected |
Definition at line 2291 of file Parser.php.
|
protected |
Definition at line 2295 of file Parser.php.
|
protected |
Definition at line 2299 of file Parser.php.
|
protected |
Definition at line 2303 of file Parser.php.
|
protected |
Definition at line 2307 of file Parser.php.
|
protected |
Definition at line 1145 of file Parser.php.
|
protected |
Definition at line 2311 of file Parser.php.
|
protected |
Definition at line 2315 of file Parser.php.
|
protected |
Definition at line 2319 of file Parser.php.
|
protected |
Definition at line 2323 of file Parser.php.
|
protected |
Definition at line 2327 of file Parser.php.
|
protected |
Definition at line 2331 of file Parser.php.
|
protected |
Definition at line 2335 of file Parser.php.
|
protected |
Definition at line 2339 of file Parser.php.
|
protected |
Definition at line 2343 of file Parser.php.
|
protected |
Definition at line 2347 of file Parser.php.
|
protected |
Definition at line 1149 of file Parser.php.
|
protected |
Definition at line 2351 of file Parser.php.
|
protected |
Definition at line 2355 of file Parser.php.
|
protected |
Definition at line 2359 of file Parser.php.
|
protected |
Definition at line 2363 of file Parser.php.
|
protected |
Definition at line 2367 of file Parser.php.
|
protected |
Definition at line 2371 of file Parser.php.
|
protected |
Definition at line 2375 of file Parser.php.
|
protected |
Definition at line 2379 of file Parser.php.
|
protected |
Definition at line 2383 of file Parser.php.
|
protected |
Definition at line 2387 of file Parser.php.
|
protected |
Definition at line 1153 of file Parser.php.
|
protected |
Definition at line 2391 of file Parser.php.
|
protected |
Definition at line 2395 of file Parser.php.
|
protected |
Definition at line 2399 of file Parser.php.
|
protected |
Definition at line 2403 of file Parser.php.
|
protected |
Definition at line 2407 of file Parser.php.
|
protected |
Definition at line 2411 of file Parser.php.
|
protected |
Definition at line 2415 of file Parser.php.
|
protected |
Definition at line 2419 of file Parser.php.
|
protected |
Definition at line 2423 of file Parser.php.
|
protected |
Definition at line 2427 of file Parser.php.
|
protected |
Definition at line 1157 of file Parser.php.
|
protected |
Definition at line 2431 of file Parser.php.
|
protected |
Definition at line 2435 of file Parser.php.
|
protected |
Definition at line 2439 of file Parser.php.
|
protected |
Definition at line 2443 of file Parser.php.
|
protected |
Definition at line 2447 of file Parser.php.
|
protected |
Definition at line 2451 of file Parser.php.
|
protected |
Definition at line 2455 of file Parser.php.
|
protected |
Definition at line 2459 of file Parser.php.
|
protected |
Definition at line 2463 of file Parser.php.
|
protected |
Definition at line 2467 of file Parser.php.
|
protected |
Definition at line 1161 of file Parser.php.
|
protected |
Definition at line 2471 of file Parser.php.
|
protected |
Definition at line 2475 of file Parser.php.
|
protected |
Definition at line 2479 of file Parser.php.
|
protected |
Definition at line 2483 of file Parser.php.
|
protected |
Definition at line 2487 of file Parser.php.
|
protected |
Definition at line 2491 of file Parser.php.
|
protected |
Definition at line 2495 of file Parser.php.
|
protected |
Definition at line 2499 of file Parser.php.
|
protected |
Definition at line 2503 of file Parser.php.
|
protected |
Definition at line 2507 of file Parser.php.
|
protected |
Definition at line 1165 of file Parser.php.
|
protected |
Definition at line 2511 of file Parser.php.
|
protected |
Definition at line 2515 of file Parser.php.
|
protected |
Definition at line 2519 of file Parser.php.
|
protected |
Definition at line 2523 of file Parser.php.
|
protected |
Definition at line 2527 of file Parser.php.
|
protected |
Definition at line 2531 of file Parser.php.
|
protected |
Definition at line 2535 of file Parser.php.
|
protected |
Definition at line 2539 of file Parser.php.
|
protected |
Definition at line 2543 of file Parser.php.
|
protected |
Definition at line 2547 of file Parser.php.
|
protected |
Definition at line 1169 of file Parser.php.
|
protected |
Definition at line 2551 of file Parser.php.
|
protected |
Definition at line 2555 of file Parser.php.
|
protected |
Definition at line 2559 of file Parser.php.
|
protected |
Definition at line 2563 of file Parser.php.
|
protected |
Definition at line 2567 of file Parser.php.
|
protected |
Definition at line 2571 of file Parser.php.
|
protected |
Definition at line 2575 of file Parser.php.
|
protected |
Definition at line 2579 of file Parser.php.
|
protected |
Definition at line 2583 of file Parser.php.
|
protected |
Definition at line 2587 of file Parser.php.
|
protected |
Definition at line 1173 of file Parser.php.
|
protected |
Definition at line 2591 of file Parser.php.
|
protected |
Definition at line 2595 of file Parser.php.
|
protected |
Definition at line 2599 of file Parser.php.
|
protected |
Definition at line 2603 of file Parser.php.
|
protected |
Definition at line 2607 of file Parser.php.
|
protected |
Definition at line 2611 of file Parser.php.
|
protected |
Definition at line 2615 of file Parser.php.
|
protected |
Definition at line 2619 of file Parser.php.
|
protected |
Definition at line 2623 of file Parser.php.
|
protected |
Definition at line 2627 of file Parser.php.
|
protected |
Definition at line 1033 of file Parser.php.
|
protected |
Definition at line 1177 of file Parser.php.
|
protected |
Definition at line 2631 of file Parser.php.
|
protected |
Definition at line 2635 of file Parser.php.
|
protected |
Definition at line 2639 of file Parser.php.
|
protected |
Definition at line 2643 of file Parser.php.
|
protected |
Definition at line 2647 of file Parser.php.
|
protected |
Definition at line 2651 of file Parser.php.
|
protected |
Definition at line 2655 of file Parser.php.
|
protected |
Definition at line 2659 of file Parser.php.
|
protected |
Definition at line 2663 of file Parser.php.
|
protected |
Definition at line 2667 of file Parser.php.
|
protected |
Definition at line 1181 of file Parser.php.
|
protected |
Definition at line 2671 of file Parser.php.
|
protected |
Definition at line 2675 of file Parser.php.
|
protected |
Definition at line 2679 of file Parser.php.
|
protected |
Definition at line 2683 of file Parser.php.
|
protected |
Definition at line 2687 of file Parser.php.
|
protected |
Definition at line 2691 of file Parser.php.
|
protected |
Definition at line 2695 of file Parser.php.
|
protected |
Definition at line 2699 of file Parser.php.
|
protected |
Definition at line 2703 of file Parser.php.
|
protected |
Definition at line 2707 of file Parser.php.
|
protected |
Definition at line 1185 of file Parser.php.
|
protected |
Definition at line 2711 of file Parser.php.
|
protected |
Definition at line 2715 of file Parser.php.
|
protected |
Definition at line 2719 of file Parser.php.
|
protected |
Definition at line 2723 of file Parser.php.
|
protected |
Definition at line 2727 of file Parser.php.
|
protected |
Definition at line 2731 of file Parser.php.
|
protected |
Definition at line 2735 of file Parser.php.
|
protected |
Definition at line 2739 of file Parser.php.
|
protected |
Definition at line 2743 of file Parser.php.
|
protected |
Definition at line 2747 of file Parser.php.
|
protected |
Definition at line 1189 of file Parser.php.
|
protected |
Definition at line 2751 of file Parser.php.
|
protected |
Definition at line 2755 of file Parser.php.
|
protected |
Definition at line 2759 of file Parser.php.
|
protected |
Definition at line 2763 of file Parser.php.
|
protected |
Definition at line 2767 of file Parser.php.
|
protected |
Definition at line 2771 of file Parser.php.
|
protected |
Definition at line 2775 of file Parser.php.
|
protected |
Definition at line 2779 of file Parser.php.
|
protected |
Definition at line 2783 of file Parser.php.
|
protected |
Definition at line 2787 of file Parser.php.
|
protected |
Definition at line 1193 of file Parser.php.
|
protected |
Definition at line 2791 of file Parser.php.
|
protected |
Definition at line 2795 of file Parser.php.
|
protected |
Definition at line 2799 of file Parser.php.
|
protected |
Definition at line 2803 of file Parser.php.
|
protected |
Definition at line 2807 of file Parser.php.
|
protected |
Definition at line 2811 of file Parser.php.
|
protected |
Definition at line 1197 of file Parser.php.
|
protected |
Definition at line 1201 of file Parser.php.
|
protected |
Definition at line 1205 of file Parser.php.
|
protected |
Definition at line 1209 of file Parser.php.
|
protected |
Definition at line 1213 of file Parser.php.
|
protected |
Definition at line 1037 of file Parser.php.
|
protected |
Definition at line 1217 of file Parser.php.
|
protected |
Definition at line 1221 of file Parser.php.
|
protected |
Definition at line 1225 of file Parser.php.
|
protected |
Definition at line 1229 of file Parser.php.
|
protected |
Definition at line 1233 of file Parser.php.
|
protected |
Definition at line 1237 of file Parser.php.
|
protected |
Definition at line 1241 of file Parser.php.
|
protected |
Definition at line 1245 of file Parser.php.
|
protected |
Definition at line 1249 of file Parser.php.
|
protected |
Definition at line 1253 of file Parser.php.
|
protected |
Definition at line 1041 of file Parser.php.
|
protected |
Definition at line 1257 of file Parser.php.
|
protected |
Definition at line 1261 of file Parser.php.
|
protected |
Definition at line 1265 of file Parser.php.
|
protected |
Definition at line 1269 of file Parser.php.
|
protected |
Definition at line 1273 of file Parser.php.
|
protected |
Definition at line 1277 of file Parser.php.
|
protected |
Definition at line 1281 of file Parser.php.
|
protected |
Definition at line 1285 of file Parser.php.
|
protected |
Definition at line 1289 of file Parser.php.
|
protected |
Definition at line 1293 of file Parser.php.
|
protected |
Definition at line 1045 of file Parser.php.
|
protected |
Definition at line 1297 of file Parser.php.
|
protected |
Definition at line 1301 of file Parser.php.
|
protected |
Definition at line 1305 of file Parser.php.
|
protected |
Definition at line 1309 of file Parser.php.
|
protected |
Definition at line 1313 of file Parser.php.
|
protected |
Definition at line 1317 of file Parser.php.
|
protected |
Definition at line 1321 of file Parser.php.
|
protected |
Definition at line 1325 of file Parser.php.
|
protected |
Definition at line 1329 of file Parser.php.
|
protected |
Definition at line 1333 of file Parser.php.
|
protected |
Definition at line 1049 of file Parser.php.
|
protected |
Definition at line 1337 of file Parser.php.
|
protected |
Definition at line 1341 of file Parser.php.
|
protected |
Definition at line 1345 of file Parser.php.
|
protected |
Definition at line 1349 of file Parser.php.
|
protected |
Definition at line 1353 of file Parser.php.
|
protected |
Definition at line 1357 of file Parser.php.
|
protected |
Definition at line 1361 of file Parser.php.
|
protected |
Definition at line 1365 of file Parser.php.
|
protected |
Definition at line 1369 of file Parser.php.
|
protected |
Definition at line 1373 of file Parser.php.
|
protected |
Definition at line 1053 of file Parser.php.
|
protected |
Definition at line 1377 of file Parser.php.
|
protected |
Definition at line 1381 of file Parser.php.
|
protected |
Definition at line 1385 of file Parser.php.
|
protected |
Definition at line 1389 of file Parser.php.
|
protected |
Definition at line 1393 of file Parser.php.
|
protected |
Definition at line 1397 of file Parser.php.
|
protected |
Definition at line 1401 of file Parser.php.
|
protected |
Definition at line 1405 of file Parser.php.
|
protected |
Definition at line 1409 of file Parser.php.
|
protected |
Definition at line 1413 of file Parser.php.
|
protected |
Definition at line 362 of file Parser.php.
|
protected |
Definition at line 592 of file Parser.php.
|
protected |
Definition at line 477 of file Parser.php.
|
protected |
Definition at line 700 of file Parser.php.
|
protected |
Definition at line 14 of file Parser.php.
|
protected |
Definition at line 18 of file Parser.php.
|
protected |
Definition at line 767 of file Parser.php.
|
protected |
Definition at line 889 of file Parser.php.
|
protected |
Definition at line 828 of file Parser.php.
|
protected |
Definition at line 905 of file Parser.php.
|
protected |
Definition at line 15 of file Parser.php.
|
protected |
Definition at line 17 of file Parser.php.
|
protected |
Definition at line 969 of file Parser.php.
|
protected |
Definition at line 921 of file Parser.php.
|
protected |
Definition at line 160 of file Parser.php.
|
protected |
Definition at line 319 of file Parser.php.
|
protected |
Definition at line 13 of file Parser.php.
|
protected |
Definition at line 19 of file Parser.php.
|
protected |
Definition at line 21 of file Parser.php.
|
protected |
Definition at line 22 of file Parser.php.
| const T_ABSTRACT = 349 |
Definition at line 117 of file Parser.php.
| const T_AND_EQUAL = 273 |
Definition at line 41 of file Parser.php.
| const T_ARRAY = 367 |
Definition at line 135 of file Parser.php.
| const T_ARRAY_CAST = 297 |
Definition at line 65 of file Parser.php.
| const T_AS = 330 |
Definition at line 98 of file Parser.php.
| const T_BAD_CHARACTER = 317 |
Definition at line 85 of file Parser.php.
| const T_BOOL_CAST = 299 |
Definition at line 67 of file Parser.php.
| const T_BOOLEAN_AND = 281 |
Definition at line 49 of file Parser.php.
| const T_BOOLEAN_OR = 280 |
Definition at line 48 of file Parser.php.
| const T_BREAK = 335 |
Definition at line 103 of file Parser.php.
| const T_CALLABLE = 368 |
Definition at line 136 of file Parser.php.
| const T_CASE = 333 |
Definition at line 101 of file Parser.php.
| const T_CATCH = 342 |
Definition at line 110 of file Parser.php.
| const T_CHARACTER = 316 |
Definition at line 84 of file Parser.php.
| const T_CLASS = 359 |
Definition at line 127 of file Parser.php.
| const T_CLASS_C = 369 |
Definition at line 137 of file Parser.php.
| const T_CLONE = 303 |
Definition at line 71 of file Parser.php.
| const T_CLOSE_TAG = 379 |
Definition at line 147 of file Parser.php.
| const T_COALESCE = 279 |
Definition at line 47 of file Parser.php.
| const T_COMMENT = 375 |
Definition at line 143 of file Parser.php.
| const T_CONCAT_EQUAL = 271 |
Definition at line 39 of file Parser.php.
| const T_CONST = 339 |
Definition at line 107 of file Parser.php.
| const T_CONSTANT_ENCAPSED_STRING = 319 |
Definition at line 87 of file Parser.php.
| const T_CONTINUE = 336 |
Definition at line 104 of file Parser.php.
| const T_CURLY_OPEN = 384 |
Definition at line 152 of file Parser.php.
| const T_DEC = 293 |
Definition at line 61 of file Parser.php.
| const T_DECLARE = 328 |
Definition at line 96 of file Parser.php.
| const T_DEFAULT = 334 |
Definition at line 102 of file Parser.php.
| const T_DIR = 388 |
Definition at line 156 of file Parser.php.
| const T_DIV_EQUAL = 270 |
Definition at line 38 of file Parser.php.
| const T_DNUMBER = 310 |
Definition at line 78 of file Parser.php.
| const T_DO = 321 |
Definition at line 89 of file Parser.php.
| const T_DOC_COMMENT = 376 |
Definition at line 144 of file Parser.php.
| const T_DOLLAR_OPEN_CURLY_BRACES = 383 |
Definition at line 151 of file Parser.php.
| const T_DOUBLE_ARROW = 365 |
Definition at line 133 of file Parser.php.
| const T_DOUBLE_CAST = 295 |
Definition at line 63 of file Parser.php.
| const T_ECHO = 320 |
Definition at line 88 of file Parser.php.
| const T_ELLIPSIS = 390 |
Definition at line 158 of file Parser.php.
| const T_ELSE = 307 |
Definition at line 75 of file Parser.php.
| const T_ELSEIF = 306 |
Definition at line 74 of file Parser.php.
| const T_EMPTY = 357 |
Definition at line 125 of file Parser.php.
| const T_ENCAPSED_AND_WHITESPACE = 318 |
Definition at line 86 of file Parser.php.
| const T_END_HEREDOC = 382 |
Definition at line 150 of file Parser.php.
| const T_ENDDECLARE = 329 |
Definition at line 97 of file Parser.php.
| const T_ENDFOR = 325 |
Definition at line 93 of file Parser.php.
| const T_ENDFOREACH = 327 |
Definition at line 95 of file Parser.php.
| const T_ENDIF = 308 |
Definition at line 76 of file Parser.php.
| const T_ENDSWITCH = 332 |
Definition at line 100 of file Parser.php.
| const T_ENDWHILE = 323 |
Definition at line 91 of file Parser.php.
| const T_EVAL = 259 |
Definition at line 27 of file Parser.php.
| const T_EXIT = 304 |
Definition at line 72 of file Parser.php.
| const T_EXTENDS = 362 |
Definition at line 130 of file Parser.php.
| const T_FILE = 374 |
Definition at line 142 of file Parser.php.
| const T_FINAL = 350 |
Definition at line 118 of file Parser.php.
| const T_FINALLY = 343 |
Definition at line 111 of file Parser.php.
| const T_FOR = 324 |
Definition at line 92 of file Parser.php.
| const T_FOREACH = 326 |
Definition at line 94 of file Parser.php.
| const T_FUNC_C = 372 |
Definition at line 140 of file Parser.php.
| const T_FUNCTION = 338 |
Definition at line 106 of file Parser.php.
| const T_GLOBAL = 347 |
Definition at line 115 of file Parser.php.
| const T_GOTO = 337 |
Definition at line 105 of file Parser.php.
| const T_HALT_COMPILER = 358 |
Definition at line 126 of file Parser.php.
| const T_IF = 305 |
Definition at line 73 of file Parser.php.
| const T_IMPLEMENTS = 363 |
Definition at line 131 of file Parser.php.
| const T_INC = 292 |
Definition at line 60 of file Parser.php.
| const T_INCLUDE = 257 |
Definition at line 25 of file Parser.php.
| const T_INCLUDE_ONCE = 258 |
Definition at line 26 of file Parser.php.
| const T_INLINE_HTML = 315 |
Definition at line 83 of file Parser.php.
| const T_INSTANCEOF = 291 |
Definition at line 59 of file Parser.php.
| const T_INSTEADOF = 346 |
Definition at line 114 of file Parser.php.
| const T_INT_CAST = 294 |
Definition at line 62 of file Parser.php.
| const T_INTERFACE = 361 |
Definition at line 129 of file Parser.php.
| const T_IS_EQUAL = 282 |
Definition at line 50 of file Parser.php.
| const T_IS_GREATER_OR_EQUAL = 288 |
Definition at line 56 of file Parser.php.
| const T_IS_IDENTICAL = 284 |
Definition at line 52 of file Parser.php.
| const T_IS_NOT_EQUAL = 283 |
Definition at line 51 of file Parser.php.
| const T_IS_NOT_IDENTICAL = 285 |
Definition at line 53 of file Parser.php.
| const T_IS_SMALLER_OR_EQUAL = 287 |
Definition at line 55 of file Parser.php.
| const T_ISSET = 356 |
Definition at line 124 of file Parser.php.
| const T_LINE = 373 |
Definition at line 141 of file Parser.php.
| const T_LIST = 366 |
Definition at line 134 of file Parser.php.
| const T_LNUMBER = 309 |
Definition at line 77 of file Parser.php.
| const T_LOGICAL_AND = 264 |
Definition at line 32 of file Parser.php.
| const T_LOGICAL_OR = 262 |
Definition at line 30 of file Parser.php.
| const T_LOGICAL_XOR = 263 |
Definition at line 31 of file Parser.php.
| const T_METHOD_C = 371 |
Definition at line 139 of file Parser.php.
| const T_MINUS_EQUAL = 268 |
Definition at line 36 of file Parser.php.
| const T_MOD_EQUAL = 272 |
Definition at line 40 of file Parser.php.
| const T_MUL_EQUAL = 269 |
Definition at line 37 of file Parser.php.
| const T_NAMESPACE = 386 |
Definition at line 154 of file Parser.php.
| const T_NEW = 302 |
Definition at line 70 of file Parser.php.
| const T_NS_C = 387 |
Definition at line 155 of file Parser.php.
| const T_NS_SEPARATOR = 389 |
Definition at line 157 of file Parser.php.
| const T_NUM_STRING = 314 |
Definition at line 82 of file Parser.php.
| const T_OBJECT_CAST = 298 |
Definition at line 66 of file Parser.php.
| const T_OBJECT_OPERATOR = 364 |
Definition at line 132 of file Parser.php.
| const T_OPEN_TAG = 377 |
Definition at line 145 of file Parser.php.
| const T_OPEN_TAG_WITH_ECHO = 378 |
Definition at line 146 of file Parser.php.
| const T_OR_EQUAL = 274 |
Definition at line 42 of file Parser.php.
| const T_PAAMAYIM_NEKUDOTAYIM = 385 |
Definition at line 153 of file Parser.php.
| const T_PLUS_EQUAL = 267 |
Definition at line 35 of file Parser.php.
| const T_POW = 301 |
Definition at line 69 of file Parser.php.
| const T_POW_EQUAL = 278 |
Definition at line 46 of file Parser.php.
| const T_PRINT = 265 |
Definition at line 33 of file Parser.php.
| const T_PRIVATE = 351 |
Definition at line 119 of file Parser.php.
| const T_PROTECTED = 352 |
Definition at line 120 of file Parser.php.
| const T_PUBLIC = 353 |
Definition at line 121 of file Parser.php.
| const T_REQUIRE = 260 |
Definition at line 28 of file Parser.php.
| const T_REQUIRE_ONCE = 261 |
Definition at line 29 of file Parser.php.
| const T_RETURN = 340 |
Definition at line 108 of file Parser.php.
| const T_SL = 289 |
Definition at line 57 of file Parser.php.
| const T_SL_EQUAL = 276 |
Definition at line 44 of file Parser.php.
| const T_SPACESHIP = 286 |
Definition at line 54 of file Parser.php.
| const T_SR = 290 |
Definition at line 58 of file Parser.php.
| const T_SR_EQUAL = 277 |
Definition at line 45 of file Parser.php.
| const T_START_HEREDOC = 381 |
Definition at line 149 of file Parser.php.
| const T_STATIC = 348 |
Definition at line 116 of file Parser.php.
| const T_STRING = 311 |
Definition at line 79 of file Parser.php.
| const T_STRING_CAST = 296 |
Definition at line 64 of file Parser.php.
| const T_STRING_VARNAME = 312 |
Definition at line 80 of file Parser.php.
| const T_SWITCH = 331 |
Definition at line 99 of file Parser.php.
| const T_THROW = 344 |
Definition at line 112 of file Parser.php.
| const T_TRAIT = 360 |
Definition at line 128 of file Parser.php.
| const T_TRAIT_C = 370 |
Definition at line 138 of file Parser.php.
| const T_TRY = 341 |
Definition at line 109 of file Parser.php.
| const T_UNSET = 355 |
Definition at line 123 of file Parser.php.
| const T_UNSET_CAST = 300 |
Definition at line 68 of file Parser.php.
| const T_USE = 345 |
Definition at line 113 of file Parser.php.
| const T_VAR = 354 |
Definition at line 122 of file Parser.php.
| const T_VARIABLE = 313 |
Definition at line 81 of file Parser.php.
| const T_WHILE = 322 |
Definition at line 90 of file Parser.php.
| const T_WHITESPACE = 380 |
Definition at line 148 of file Parser.php.
| const T_XOR_EQUAL = 275 |
Definition at line 43 of file Parser.php.
| const T_YIELD = 266 |
Definition at line 34 of file Parser.php.
| const YYERRTOK = 256 |
Definition at line 24 of file Parser.php.


--- layout: default --- {% include JB/setup %}
Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec ullamcorper nulla non metus auctor fringilla. Duis mollis, est non commodo luctus, nisi erat porttitor ligula, eget lacinia odio sem nec elit.
Note: gravida at eget metus. Duis mollis, est non commodo luctus, nisi erat porttitor ligula, eget lacinia odio sem nec elit.
Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus.
Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec ullamcorper nulla non metus auctor fringilla. Duis mollis, est non commodo luctus.
Steve Jobs, CEO Apple
Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec ullamcorper nulla non metus auctor fringilla. Duis mollis, est non commodo luctus, nisi erat porttitor ligula, eget lacinia odio sem nec elit.
It is a long established fact that a reader will be distracted by the readable content of a page when looking at its layout.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book.
It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing Lorem Ipsum passages.
Date: Oct 20, 2013
Work: Web Design & Development
Leader: Brad Frost
Generally speaking, no project is too small. We may however refer some extremely small projects to a contemporary or affiliate. Some projects might be too big. But they would have to be really, really gigantic for us to consider them too big. We’ll be honest. Always the best result.
We call Good a digital agency because we work predominantly in the digital world. While we do occasionally enjoy a great analog experience, most of our work is digital, digital and even more digital.
We provide portfolios to prospective clients on a limited basis to protect the privacy of our clients. So, the answer is yes…
All projects are different. We provide a full analysis of the project and no work is executed without a clear price that is agreed upon by you and Good.
Projects start on a first come, first serve basis. We do limit the number of projects we take on at one time. We do not believe in starting several projects just to lock down a client..not our style.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Contrary to popular belief, Lorem Ipsum is not simply random text.
Get It Now!Consider to register to our newsletter. Weekly, we share our thoughts and cool information. Don't miss a thing. Subscribe Now!
There’s more to design than meets the eye. It’s when it meets the heart that design creates a meaningful, lasting connection with the audience. First, your brand has to matter to consumers. This is where your emotional connection begins...
- Paul Hudson - BlackTie.co
There’s more to design than meets the eye. It’s when it meets the heart that design creates a meaningful, lasting connection with the audience. First, your brand has to matter to consumers. This is where your emotional connection begins...
- David Wayne - BlackTie.co
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
DESIGN & BRAND
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form.
WEB DEVELOPMENT
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form.
SEO SERVICES
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form.
PRINTING
There are many variations of passages of Lorem Ipsum available, but the majority have suffered alteration in some form.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting.
Each of our endeavours is guided by a strong sense of craftsmanship and passion for the web. We strive to create meaning and value for our customers and their users and seek to imbue our products with a sense of wonder. We are a diverse team of creatives from many backgrounds with a shared desire to help make the web a better place by crafting the best digital experiences.
We start by digging into the client’s brand and business situation to build a bridge between the brand and the audience. By looking at the world through the eyes of our audience, we open ourselves up to new inspiration and opportunities for problem solving.
Armed with insight, we embark on designing the right brand experience that engages the audience. It encompasses both the strategic direction and creative execution that solves a business problem and brings the brand to life.
In the create phase, the big idea is unleashed to the world through different media touchpoints. This is when we watch the audience fall in love all over again with our client’s brand.
There’s more to design than meets the eye. It’s when it meets the heart that design creates a meaningful, lasting connection with the audience. First, your brand has to matter to consumers. This is where your emotional connection begins...
- Paul Hudson - BlackTie.co
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text...
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text...
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text...
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book.
It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book.
You can download our company profile to learn more about us.
Get It Now!Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Completed Projects
Professionals
Client Meetings
Pictures Taken
Want to be part of our team? Write to us
by Good Team View Project
by Good Team View Project
by Good Team View Project
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.
Contrary to popular belief, Lorem Ipsum is not simply random text.


Document root element.
html
| | | | | | | | | | | | | | | |
<col>
Columns in a table.
col
|

Table of multi-dimensional data.
table
|

First element of the HTML document. Contains document metadata.
head
|

Container with no semantic meaning.
span
| | | | | | | | |

Container with no semantic meaning.
div
|
|
|
|

Heading for the current section.
h1
|

Contains of elements grouped by theme, for example a chapter or tab box.
section
|
<colgroup>
Defines a group of columns in a table.
colgroup
|
|
|
|
| | | | | | | | |

Text that is preformatted in the HTML code.
pre
|
|
|

Content related to surrounding elements that doesn't belong inline, such as a advertising or quotes.
aside
|

Heading for the current section.
h2
|

Navigation or introductory elements for the current section.
header
|

Title of a table.
caption
|
|
<meta>
Document metadata that can't be represented with other elements.
meta
|
<rt>
Annotation of preceeding text.
rt
|
<dfn>
Term being defined by the parent section.
dfn
|

Text that should be emphasised.
em
|

Text in a alternate voice or mood, such as a technical term.
i
|

An aside, such as fine print.
small
|

Text that has been inserted during document editing.
ins
|
<s>
Text that is outdated or no longer accurate.
s
|
|
|

Quote from another source.
blockquote
|
|
|
<address>
Contact information for the current article.
address
|

Heading for the current section.
h3
|

Contains a collection of links.
nav
|
|
|
<base>
Specifies URL which non-absolute URLs are relative to.
base
|
<rp>
Contains semantically meaningless markup for browsers that don't understand ruby annotations.
rp
|

Abbreviation or acronym.
abbr
|
<time>
Time defined in a machine readable format.
time
|

Stylistically separated text of equal importance, such as a product name.
b
|

Text that is important.
strong
|

Text that has been removed during document editing.
del
|

Example input (usually keyboard) for a program.
kbd
|

Thematic break within a paragraph.
hr
|
|

List of term-description pairs.
dl
|
|
|
|

Heading for the current section.
h4
|

Section of the page content, such as a blog or forum post.
article
|
<command>
Command the user can perform, such as publishing an article.
command
|

Contains rows that hold the table's data.
tbody
|
<link>
Other resources related to the document.
link
|

Contains elements that are part of the document only if scripting is disabled.
noscript
|
|
<var>
Mathematical or programming variable.
var
|
|

Text highlighted for referencing elsewhere.
mark
|
<bdi>
Text that is separated from directional formatting of its surroundings.
bdi
|
<wbr>
Opportunity for a line break.
wbr
|

Caption for a figure.
figcaption
|
|

Term which will be described.
dt
|
|
|
|

Heading for the current section.
h5
|

Footer of the current section.
footer
|

Caption of a details element.
summary
|

Contains rows with table headings.
thead
|


Dgame.Math.Vector2
- struct Vector2(T) if (isNumeric!T);
- Vector2 is a structure that defines a two-dimensional point.
Author:
rschuett
- T x;
- x coordinate
- T y;
- y coordinate
- pure nothrow this(T x, T y);
- CTor
- pure nothrow this(U)(U x, U y) if (isNumeric!U && !is(U : T));
- CTor
- pure nothrow this(U)(U[2] pos) if (isNumeric!U);
- CTor
- pure nothrow this(U)(ref const Vector2!U vec);
- CTor
- pure Vector2 opOpAssign(string op)(ref const Vector2 vec);
- Supported operation: +=, -=, *=, /= and %=
- pure Vector2 opOpAssign(string op)(T number);
- Supported operation: +=, -=, *=, /= and %=
- const pure Vector2 opBinary(string op)(ref const Vector2 vec);
- Supported operation: +, -, *, / and %
- const pure Vector2 opBinary(string op)(T number);
- Supported operation: +, -, *, / and %
- const pure nothrow Vector2 opNeg();
- Returns a negated copy of this Vector.
- pure nothrow void negate();
- Negate this Vector
- const pure nothrow bool opEquals(ref const Vector2 vec);
- Compares two vectors by checking whether the coordinates are equals.
- const pure nothrow bool isEmpty();
- Checks if this vector is empty. This means that his coordinates are 0.
- const pure nothrow float scalar(ref const Vector2 vec);
- Calculate the scalar product.
- alias dot = scalar;
- alias for scalar
- const pure nothrow float length();
- Calculate the length.
- const pure nothrow float angle(ref const Vector2 vec, bool degrees = true);
- Calculate the angle between two vectors.
If the second paramter is true, the return value is converted to degrees.
Otherwise, radiant is used.
- const pure nothrow float diff(ref const Vector2 vec);
- Calculate the diff between two vectors.
- pure nothrow Vector2 normalize();
- Normalize the vector in which the coordinates are divided by the length.
- pure nothrow void set(T x, T y);
- Set new coordinates.
- pure nothrow void move(T x, T y);
- Move the current coordinates.
- const pure nothrow T[2] asArray();
- Returns the Vector as static array.
- alias Vector2s = Vector2!short.Vector2;
- Alias for short Vector
- alias Vector2f = Vector2!float.Vector2;
- Alias for float Vector
- alias Vector2b = Vector2!byte.Vector2;
- Alias for byte Vector
Page generated by Ddoc.


A Plan by Consultants
Dashboard
Sections
Admin
Feeds:
All Feeds
Employees
Tasks
Projects
Service Providers
External Experts
Legal
Finance
Leaves
Overtime
Attendance
Events
Company News
Appreciation
Sales
Services
Employee Details:
All Employees
Employee Leaves
Employee Overtime
Employee Timesheet
DPR and Agenda
Common Pages:
Holidays
Team Type
Departments
Designation and Hierarchy
Leave Details
Timing and Shifts
Employee Types
Recommendation
Perks
Location: Country, Region,
City
Certification Details
Feedback Forms
Team Category
Client Details:
All Cleints
Client Dashboard
Service Provider Details:
All Service Providers
External Experts
Dashboard
External Experts Details:
All External Experts
External Experts
Dashboard
Employee
Employee Details:
My Profile
Holidays
Leaves
Leave Details
Attendance
Timesheet
Overtime
Apps
Apps:
Chats
Calls:
Voice Call
Video Call
Incomming Call
Outgoing Call
Calander
Contacts
Email
File Manager
Project
Subpages:
Projects
Task
Task Board
Tickets
Leads
Clients
Client Details:
All Clients
Client Projects
Client Tasks (Teams)
Client Tickets
Service Providers
Service Provider Details:
All Service Providers
Service Providers Projects
Service Provider Tasks
(Teams)
Service Provider Tickets
External Experts
External Experts Details:
All External Experts
Forms
Forms and Details:
Feedback Form
Exit Process
Exit Clearence Form
Exit Questionare
Legal
Legal Details:
Documents
Human Resource
HR Details:
Human Resource
Sales
Sales Details:
Project and Sales Details
Consultants
Consultants Details:
All Consultants
Interface
Components
Custom Components:
Buttons
Cards
Utilities
Custom Utilities:
Colors
Borders
Animations
Other
Addons
Pages
Login Screens:
Login
Register
Forgot Password
Other Pages:
404 Page
Blank Page
Charts
Tables
Ready to Leave?
×
Select "Logout" below if you are ready to end your current session.


| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 | /** * @name User * @description This module exposes functions * related to the `/users` path. * * @module user **/ import { cond, has, T, curry } from 'ramda' import routes from '../routes' import request from '../request' const findOne = curry((opts, body) => request.get(opts, routes.user.details(body.id), {}) ) const findAll = curry((opts, pagination) => request.get(opts, routes.user.base, pagination || {}) ) /** * `GET /users` * Makes a request to /users or to /users/:id * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * * @param {Object} body The payload for the request. * @param {Number} [body.id] The user's ID. If not sent a * users list will be returned instead. * @param {Number} [body.count] Pagination option to get a list of users. * Number of users in a page * @param {Number} [body.page] Pagination option for a list of users. * The page index. */ const find = (opts, body) => cond([ [has('id'), findOne(opts)], [T, findAll(opts)], ])(body) /** * `PUT /users/reset_password` * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * @param {String} email The email of the account * of which the password will * be reset. * @returns {Promise} Resolves to the result * of the request or an error. */ const resetPassword = (opts, body) => request.put(opts, routes.user.resetPassword, body) /** * `PUT /users/redefine_password` * Redefines a user's password based on a reset token * * @example * * client.user.redefinePassword() * * @param {Objec} opts An options params which * is usually already bound * by `connect` functions. * @param {Object} body An object containing the * reset token and email of * the account. * @returns {Promise} Resolves to the result * of the request or an error. */ const redefinePassword = (opts, body) => request.put(opts, routes.user.redefinePassword, body) /** * `POST /users/` * Creates a user * * @param {Objec} opts An options params which * is usually already bound * by `connect` functions. * @param {Object} body The payload for the request. */ const create = (opts, body) => request.post(opts, routes.user.base, body) /** * `GET /users` * Makes a request to /users * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * * @param {Number} [body.count] Pagination option to get a list of users. * Number of users in a page * @param {Number} [body.page] Pagination option for a list of users. * The page index. */ const all = (opts, body) => findAll(opts, body) /** * `DELETE /users/:id` * Deletes an user from the given payload. * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * * @param {String} [body.id] - The user ID. If not sent an * user list will be returned instead * * @returns {Promise} Resolves to the result of * the request or to an error. */ const destroy = (opts, body) => request.delete(opts, routes.user.details(body.id), {}) /** * `PUT /users/:id` * Updates a user from the given payload. * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * * @param {Object} body The payload for the request * * @returns {Promise} A promise that resolves to * the newly created user's * data or to an error. **/ const update = (opts, body) => request.put(opts, routes.user.details(body.id), body) /** * `PUT /user/:id/update_password` * Updates a user's password from the given payload. * * @example * client.user.updatePassword({ id:'123', current_password: 'foo', new_password: 'bar' }) * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * * @param {Object} body The payload for the request * * @returns {Promise} A promise that resolves to * the newly created user's * data or to an error. **/ const updatePassword = (opts, body) => request.put(opts, routes.user.updatePassword(body.id), body) /** * `GET /user` * Returns the currently authenticated user * * @param {Object} opts An options params which * is usually already bound * by `connect` functions. * * @returns {Promise} A promise that resolves to * the newly created user's * data or to an error. */ const current = opts => request.get(opts, routes.user.singular, {}) export default { all, create, current, destroy, find, redefinePassword, resetPassword, update, updatePassword, } |


The web page of NIST (date May 23, 2003) explains on how many areas this
standardization organization is working [these tasks are much broader than
those of the German DIN (DIN = German Institute for standardization;
www.din.de)].
From automated teller machines and atomic clocks to mammograms and
semiconductors, innumerable products and services rely in some way on
technology, measurement, and standards provided by the National Institute of
Standards and Technology.
Founded in 1901, NIST is a non-regulatory federal agency within the U.S.
Commerce Department's Technology Administration. NIST's mission is to develop
and promote measurement, standards, and technology to enhance productivity,
facilitate trade, and improve the quality of life. NIST carries out its mission
in four cooperative programs:
the NIST Laboratories, conducting research that advances the nation's
technology infrastructure and is needed by U.S. industry to continually improve
products and services;
the Baldrige National Quality Program;
the Manufacturing Extension Partnership; and
the Advanced Technology Program.
NIST has an operating budget of about $864 million and employs about 3,000
scientists, engineers, technicians, and support and administrative personnel.
About 1,600 guest researchers complement the staff.
Especially in the area of IT security works the Computer Security Division (CSD)
- one of eight divisions within NIST's Information Technology Laboratory.
Within CSD the Computer Security Resource Center (CSRC) offers various
support to improve IT security.
CSD's work is grouped into five major categories (Program Areas):
Cryptographic Standards and Applications:
Cryptographic Standards and Applications:
Focus is on developing cryptographic methods for protecting the integrity,
confidentiality, and authenticity of information resources.
Advanced Encryption Standard (AES)
Cryptographic Standards Toolkit
Encryption Key Recovery and S/MIME
Public Key Infrastructure (PKI)
Security Testing:
Focus is on working with government and industry to establish more secure
systems and networks by developing, managing and promoting security assessment
tools, techniques, services, and supporting programs for testing, evaluation
and validation.
Security Research / Emerging Technologies:
Focus is on research necessary to understand and enhance the security utility
of new technologies while also working to identify and mitigate
vulnerabilities.
Authorization Management and Advanced Access Control Models (AM&AACM)
Automated Security Functional Testing
Critical Infrastructure Grants Program
IPSec
Mobile Computing Security (formerly known as MAIDS)
Smart Card Security and Research
Security Management and Guidance:
Focus is on developing security management guidance, addressing such areas as:
risk management, security program management, training and awareness.
Outreach, Awareness and Education:
Focus is on activities to support wider awareness of the importance and need
for IT security, promoting the understanding of IT security vulnerabilities.
So the mission of NIST's Computer Security Division is to improve information
systems security by:
erging technologies;
Researching, studying, and advising agencies of IT vulnerabilities and devising
techniques for the cost-effective security and privaRaising awareness of IT
risks, vulnerabilities and protection requirements, particularly for new and
emcy of sensitive Federal systems;
Developing standards, metrics, tests and validation programs:
to promote, measure, and validate security in systems and services
to educate consumers and
to establish minimum security requirements for Federal systems
Developing guidance to increase secure IT planning, implementation, management
and operation.


Library more_tautologies
Back to Coq Main Page
Tactic "discriminate" tells that constants "0" and "1"
are already in their final state and
cannot be transformed into equal things.
Negations
Theorem zero_not_one : 0 <> 1.
Proof.
unfold not.
intros contra.
discriminate contra.
Qed.
Principle of Explosion states that,
if you have a false statement among your hypotheses,
then you can prove anything.
Ex falso (sequitur) quodlibet (EFQ) -
this is a Latin proverb that tells, why contradictions
are so dangerous in mathematics. Once you prove one such
contradiction, there is no longer clear way to distinguish
true statements from false.
Theorem False_cannot_be_proven : ~False.
Proof.
unfold not.
intros proof_of_False.
contradiction.
Qed.
Theorem False_implies_nonsense : False -> 2 + 2 = 5.
Proof.
intros contra.
contradiction.
Qed.
Proving Implications
Direct implication: if x=2, then x2=4.In this example the first proposition (p) is "x=2", the second proposition (q) is "x squared is 4". The combined statement is p -> q and it is read "if p then q".
Contrapositive
In our above example it would look like this:
Contrapositive implication: if x2 is not 4, then x is not equal to 2.
Require Import Classical_Prop.
Lemma contrapos : forall p q: Prop, (p -> q) <-> (~q -> ~p).
Proof.
split.
intros. intro.
apply H0.
apply H.
exact H1.
unfold not. intros.
assert (q \/ ~q). unfold not.
apply classic with (P := q).
destruct H1 as [H2 | H3].
exact H2.
pose (H H3).
pose (f H0).
contradiction f0.
Qed.