import __builtin__
import imp
import marshal
import os
import sys
import traceback
 
MAGIC = imp.get_magic()
 
 
# Define an internal helper according to the platform
if os.name == "mac":
    import MacOS
    def set_creator_type(file):
        MacOS.SetCreatorAndType(file, 'Pyth', 'PYC ')
else:
    def set_creator_type(file):
        pass
 
def wr_long(f, x):
    """Internal; write a 32-bit int to a file in little-endian order."""
    f.write(chr( x        & 0xff))
    f.write(chr((x >> 8)  & 0xff))
    f.write(chr((x >> 16) & 0xff))
    f.write(chr((x >> 24) & 0xff))
 
 
def compileString(code, filename, ext=".pyc"):
 
    if type(code) is not str:
        raise "Error, code malformed -> type_code(buffer)";
 
    if code and code[-1] != '\n':
        code = code + '\n';
    try:
        codeobject = __builtin__.compile(code, filename, 'exec')
        print codeobject.co_code
    except Exception:
        print "Error in the code"
    cfile = filename + ext;
    fc = open(cfile, 'wb')
    fc.write('\0\0\0\0')
    timestamp = long(os.fstat(fc.fileno()).st_mtime)
    wr_long(fc,timestamp)
    marshal.dump(codeobject, fc)
    fc.flush()
    fc.seek(0,0)
    fc.write(MAGIC)
    fc.close()
    set_creator_type(cfile)
 
compileString("print 0;", "pppr");

/**
 * funzione javascript per una richiesta asincrona al webservice geoname
 * (gestita da uno script php)
 *
 * @param destinazione
 *            string prende in input la distanizione di un utente
 * @param IdDivElement
 *            string prende l'id dell'elemento div dove visualizzare il
 *            contenuto
 * @param cntx
 * 		     string specifica il contesto della ricerca del geoname
 * 		            ossia per la locazione corrente o per le destinazione preferite etc..
 *
 *
 *
 */
function verifyDestination(destinazione, IdDivElement,cnxt) {
 
	// Elemento dove visualizzare i risultati
	IdContent = IdDivElement;
 
	context = cnxt;
 
	if(destinazione == "" || destinazione == undefined){
 
		Ext.MessageBox.alert('Error', 'Please, insert a location');
		return;
 
	}
	//alert(destinazione);
 
	// e' possibile crittografare l'url per renderlo
	// illegibile, oltre ad utilizzare l'offuscamento del codice
	var geonameWS = "verify_destination.php?q=";
	geonameWS = geonameWS + destinazione;
 
	//alert(geonameWS);
 
	if (window.XMLHttpRequest) {
		// Mozilla based
		request = new XMLHttpRequest();
 
	} else if (window.ActiveXObject) {
 
		request = new ActiveXObject("Msxml2.XMLHTTP");
		if (!request) {
 
			request = new ActiveXObject("Microsoft.XMLHTTP");
		}
	}
	if (typeof request == 'undefined') {
 
		alert("Ajax not supported!");
		return;
	}
 
	// TODO: Visualizzare un messaggio di attesa dei risultati
 
	var indicator = document.getElementById('indicator'+context);
	indicator.style.display = "";
 
	request.onreadystatechange = callback;
	request.open("GET", geonameWS, true);
	request.send(null);
}

define ( "MAXROWS", 5 );
define ( "FEATURECLASS", "P" );
 
if(!isset($_SESSION['user']['username'])){
	echo 'You are trying a DoS or DDoS attack, your IP address is tracked';
	exit();
}
$destination = $_GET ['q'];
//$destination = addcslashes($destination,"'");
//se uso il web service
 
$destination = stripcslashes($destination);
include_once ("include/ws_geoname.inc.php");

header ( 'Content-Type: text/xml' );
$url = 'http://ws.geonames.org/search?q=';
$destination = urlencode($destination);
$param = $destination.'&maxRows=5'.'&featureClass='.FEATURECLASS.'&style=FULL';
$url.=$param;
$req = file_get_contents ( $url );
echo $req;

function callback() {
 
	if (request.readyState == 4) {
		if (request.status == 200) {
 
			// XML
			xmlDoc = request.responseXML;
			// document.write(xmlDoc);
 
			//TODO: disabilitare il messaggio di attesa dei risultati
 
			var indicator = document.getElementById('indicator'+context);
			indicator.style.display = "none";
 
			display();
 
		} else {
			alert("Service no working..");
		}
 
	}
}

/**
 * Visualizza i risultati nella div predefinita
 */
function display() {
 
	var results;
	var name;
	var countryName;
	var adminName;
	var numRes;
	var lat;
	var lng;
	var geonameId;
	var continentCode;
 
	document.getElementById(IdContent).innerHTML="";
 
	try {
		var totalRes = xmlDoc.getElementsByTagName("totalResultsCount");
 
		numRes = totalRes[0].firstChild.nodeValue;
 
		results = "Number of results " + numRes + " ";
 
		results += "
 
<ul>";
 
		var geonames = xmlDoc.getElementsByTagName("geoname");
		// alert(geonames[0].childNodes[1].nodeName);
		for ( var i = 0; i &lt; geonames.length; i++) {
 
			var childs = geonames[i].childNodes;
			// Scorro tutti nodi figli dell'elemento geoname
			for ( var j = 0; j &lt; childs.length; j++) {
 
				if (childs[j].nodeName == "name") {
					name = childs[j].firstChild.nodeValue;
				} else if (childs[j].nodeName == "countryName") {
					countryName = childs[j].firstChild.nodeValue;
				} else if (childs[j].nodeName == "adminName1") {
					adminName = childs[j].firstChild.nodeValue;
					break; // Se sono arrivato qui stop
				} else if (childs[j].nodeName == "lat") {
					lat = childs[j].firstChild.nodeValue;
				} else if (childs[j].nodeName == "lng") {
					lng = childs[j].firstChild.nodeValue;
				} else if (childs[j].nodeName == "geonameId") {
					geonameId = childs[j].firstChild.nodeValue;
				} else if (childs[j].nodeName == "continentCode") {
					continentCode = childs[j].firstChild.nodeValue;
				}
			} // end for
 
			name = addslashes(name);
			adminName = addslashes(adminName);
			countryName = addslashes(countryName);
 
 
			results += "<li><a href=\"javascript:selectDestination(";
			results += "'" + name + "'," + "'" + adminName + "','"
					+ countryName + "','" + lat + "','" + lng + "','"
					+ geonameId + "','" + continentCode +"')\">";
			results += name + "," + adminName + "," + countryName
					+ "</a> </li>";
 
 
		}// end for
 
	       results += "</ul>";
 
 
		//alert(results);
 
	} catch (e) {
		alert("An exception occurred at:" + e.name + " " + " Error msg:"
				+ e.message);
	}
 
	// creo il div con le informazioni
	var div = document.getElementById(IdContent);
 
	subdiv = document.createElement("div");
 
	if(numRes == '0'){
 
		results+="please insert a different location";
 
	}
 
	subdiv.innerHTML = results;
	div.appendChild(subdiv);
 
	/***************************************************************************
	 * Chiamata al framework scriptaculous
	 **************************************************************************/
 
	Effect.SlideDown(IdContent);
 
	return;
 
}

/**
 * @author Gianfranco Murador
 * @param name
 *            string nome del geoname
 * @param adminName
 *            string regione del geoname
 * @param countryName
 *            string stato del geoname
 * @param lat
 *            string latitudine
 * @param lng
 *            string longitudine
 * @param geonameId
 *            string identificatore
 *
 *
 * Selezione il geoname e setta alcuni campi di input nascosti per la form
 *
 **/
 
function selectDestination(name, adminName, countryName, lat, lng, geonameId, continentCode) {
 
	var inputGeoname = document.getElementById('inputGeoname'+context);
	inputGeoname.value = name + "," + adminName + "," + countryName;
 
	alert("lat"+context);
 
	var latitudine = document.getElementById('lat'+context);
	latitudine.value = lat;
 
	var longitudine = document.getElementById('lng'+context);
	longitudine.value = lng;
 
	var geoId = document.getElementById('geonameId'+context);
	geoId.value = geonameId;
 
	var n = document.getElementById('name'+context);
	n.value = name;
 
	var cName = document.getElementById('countryName'+context);
	cName.value = countryName;
 
	var cCode = document.getElementById('continentCode'+context);
	cCode.value = continentCode;
 
	var aName = document.getElementById('adminName'+context);
	aName.value = adminName;
 
	/***************************************************************************
	 * Chiamata al framework scriptaculous
	 **************************************************************************/
 
	$(IdContent).hide();
 
	// Pulisco il contenuto dell'elemento div
	var div = document.getElementById(IdContent);
	inputGeoname.setAttribute('readonly','readonly');
	div.innerHTML = "";
	var buttonChange = document.getElementById('buttonChange'+context);
	buttonChange.style.display = "";
 
	var button = document.getElementById('button'+context);
	button.style.display ="none";
 
	inputGeoname.style.borderColor="red";
 
}

function changeDestination(cntxt){
 
	var inputGeoname = document.getElementById('inputGeoname'+cntxt);
	inputGeoname.removeAttribute('readonly');
	inputGeoname.style.borderColor = "";
 
	var buttonChange = document.getElementById('buttonChange'+cntxt);
	buttonChange.style.display = "none";
 
	var button = document.getElementById('button'+cntxt);
	button.style.display ="";
 
}
 
/****
 * Questa funzione aggiunge un carattere
 * di escape per permettere l'inserimento
 * di carattere contente un apice. Lato server
 * php deve ripristinare gli apici
 *
 * ****/
 
function addslashes(str) {
 
	return (str+'').replace(/([\\"'])/g, "\\$1").replace(/\0/g, "\\0");
	}

<!-- GESTIONE LOCAZIONI FUTURE -->
<input id="inputGeonameDestinazioniFuture" name="inputGeonameDestinazioniFuture" type="text" />;
 
<div class="buttonLink">
<input id="buttonChangeDestinazioniFuture" class="formButton" style="display: none" onclick="javascript:changeDestination('DestinazioniFuture')" type="button" value="Change" />
<input id="buttonDestinazioniFuture" class="formButton" onclick="javascript:verifyDestination(document.getElementById('inputGeonameDestinazioniFuture').value,'geonameDestinazioniFuture','DestinazioniFuture')" type="button" value="Validate Location" /></div>
 
 
<div id="uploadProgressFuture" style="display: none;">
<img style="vertical-align: middle;" src="profile_edit_locations.php_files/loading.gif" alt="" />
<strong>Validating, please wait...</strong></div>

function addslashes(str) {
 
	return (str+'').replace(/([\\"'])/g, "\\$1").replace(/\0/g, "\\0");
	}

#include <Python.h>
 
int
main(int argc, char *argv[])
{
  Py_Initialize();
  PyRun_SimpleString("from time import time,ctime\n"
                     "print 'Today is',ctime(time())\n");
  Py_Finalize();
  return 0;
}

import glpk
 
print "starting..."
example = glpk.lpx("example.mod")
example.solve()
print "solution:", example.sol
print "solution is also here:", example.x

int x;
x = 0;

int intero;
intero = 0;

// File .flex in ingresso a JFlex.
 
%%
 
%byaccj
 
%{
  private Parser yyparser;
 
  public Yylex(java.io.Reader r, Parser yyparser) {
    this(r);
    this.yyparser = yyparser;
  }
 
%}
 
ID = [a-zA-Z]([a-zA-Z0-9_])*
NUM = [0-9]+
FLOATNUM = {NUM}"."{NUM}
 
%% 
 
{ID}    {      /*Salva il valore dell'ID  in yyparser.yylval
                  e lo passa in input al parser*/
                  yyparser.yylval=new ParserVal(yytext());
                  return Parser.ID;
           }
 
"+"          {return (int) yycharat(0);}
"-"          {return (int) yycharat(0);}
"/"          {return (int) yycharat(0);}
"*"          {return (int) yycharat(0);}
"("          {return (int) yycharat(0);}
")"          {return (int) yycharat(0);}
\n           {return (int) yycharat(0);}
{FLOATNUM}   {yyparser.yylval= new ParserVal(yytext());
                     return Parser.FLOATNUM;}
{NUM}        {yyparser.yylval= new ParserVal(yytext());
                  return Parser.NUM;}
[ \t\b\r]    { // Skip }
%%

%{
 
%}
 
%token ID
%token NUM
%token FLOATNUM
 
%start input // produzione di inizio
 
%left '+' '-' '*' '/'  // Associatività degli operatori
 
%% 
 
input:
        |
         input '\n' {/* Salta una riga vuota per
                          far avanzare il parser */
                        }
        | input exp  { System.out.println($2.sval);}
        ;
 
exp : exp '+' exp {$$.sval = $1.sval +  $3.sval;}
    |  '(' exp ')' {$$.sval =  $2.sval;}
    | exp '-' exp  {$$.sval = $1.sval -  $3.sval;}
    | exp '*' exp   {$$.sval = $1.sval  *  $3.sval;}
    | exp '/' exp   {$$.sval = $1.sval / $3.sval;}
    | NUM {$$.sval = $1.sval;}
    | FLOATNUM {$$.sval = $1.sval;}
    | ID { /*Recupera il valore dell'identificatore e memorizzalo in $$.sval,
               non implementato*/}
    ; 
 
%% 
 
private Yylex lexer;
 
  private int yylex () {
    int yyl_return = -1;
    try {
      yylval = new ParserVal(0);
      yyl_return = lexer.yylex();
    }
    catch (IOException e) {
      System.err.println("IO error :"+e);
    }
    return yyl_return;
  }
 
  public void yyerror (String error) {
    System.err.println ("Syntatic Error: " + error);
  }
 
  public Parser(Reader r) {
 
     lexer = new Yylex(r, this);
  }
 
 public static void main(String args[]) throws IOException {
 
    Parser yyparser;
 
    String input = "(1+2)-2"; 
 
    if ( args.length > 0 ) {
 
      yyparser = new Parser( new java.io.StringReader(input));
       yyparser.yyparse();
 
    }else{
 
      System.exit(0);
    }