Context Navigation

← Previous Changeset
Next Changeset →

Changeset 49634

Timestamp:

05/11/2011 09:21:46 PM (12 months ago)

Author:

busenius

Message:

Happy new year

Location:

trunk

Files:

: 163 edited

README (modified) (1 diff)
data/expi2java/javaTemplates/%APPLICATION%.java (modified) (1 diff)
data/expi2java/javaTemplates/Proc_%PROC_NAME%_%PROC_ID%.java (modified) (1 diff)
data/expi2java/javaTemplates/Protocol_%PROTOCOL_NAME%.java (modified) (1 diff)
data/expi2java/javaTemplates/Thread_%PROC_NAME%_%PROC_ID%.java (modified) (1 diff)
data/expi2java/symbolicTemplates/%TYPENAME%.java (modified) (1 diff)
data/expi2java/symbolicTemplates/AbstractBase.java (modified) (1 diff)
data/expi2java/tlsChannelTemplates/%APPLICATION%.java (modified) (1 diff)
src/concrete/src/library/AbstractAlias.java (modified) (1 diff)
src/concrete/src/library/AbstractBase.java (modified) (1 diff)
src/concrete/src/library/AbstractChannel.java (modified) (1 diff)
src/concrete/src/library/AbstractGenerativeBase.java (modified) (1 diff)
src/concrete/src/library/Concurrency.java (modified) (1 diff)
src/concrete/src/library/Configurations.java (modified) (1 diff)
src/concrete/src/library/IChannel.java (modified) (1 diff)
src/concrete/src/library/IKey.java (modified) (1 diff)
src/concrete/src/library/Lib.java (modified) (1 diff)
src/concrete/src/library/data/ASCIIString.java (modified) (1 diff)
src/concrete/src/library/data/BigNonce.java (modified) (1 diff)
src/concrete/src/library/data/Bool.java (modified) (1 diff)
src/concrete/src/library/data/Channel.java (modified) (1 diff)
src/concrete/src/library/data/ConsoleChannel.java (modified) (1 diff)
src/concrete/src/library/data/Data.java (modified) (1 diff)
src/concrete/src/library/data/ExpiCertificate.java (modified) (1 diff)
src/concrete/src/library/data/ExpiList.java (modified) (1 diff)
src/concrete/src/library/data/ExpiString.java (modified) (1 diff)
src/concrete/src/library/data/FileChannel.java (modified) (1 diff)
src/concrete/src/library/data/FileChannelAlias.java (modified) (1 diff)
src/concrete/src/library/data/Hash.java (modified) (1 diff)
src/concrete/src/library/data/Identifier.java (modified) (1 diff)
src/concrete/src/library/data/Int.java (modified) (1 diff)
src/concrete/src/library/data/KeyPair.java (modified) (1 diff)
src/concrete/src/library/data/KeyStoreAlias.java (modified) (1 diff)
src/concrete/src/library/data/KeyStoreChannel.java (modified) (1 diff)
src/concrete/src/library/data/MemoryChannel.java (modified) (1 diff)
src/concrete/src/library/data/MemoryChannelAlias.java (modified) (1 diff)
src/concrete/src/library/data/Nonce.java (modified) (1 diff)
src/concrete/src/library/data/PRFAlias.java (modified) (1 diff)
src/concrete/src/library/data/PRFState.java (modified) (1 diff)
src/concrete/src/library/data/Pair.java (modified) (1 diff)
src/concrete/src/library/data/PrivKey.java (modified) (1 diff)
src/concrete/src/library/data/PubEnc.java (modified) (1 diff)
src/concrete/src/library/data/PubKey.java (modified) (1 diff)
src/concrete/src/library/data/ReturnChannel.java (modified) (1 diff)
src/concrete/src/library/data/SigKey.java (modified) (1 diff)
src/concrete/src/library/data/Signed.java (modified) (1 diff)
src/concrete/src/library/data/SignedInt.java (modified) (1 diff)
src/concrete/src/library/data/SymEnc.java (modified) (1 diff)
src/concrete/src/library/data/SymKey.java (modified) (1 diff)
src/concrete/src/library/data/TLSCertificate.java (modified) (1 diff)
src/concrete/src/library/data/TLSPRFChannel.java (modified) (1 diff)
src/concrete/src/library/data/TLSPRFHmac.java (modified) (1 diff)
src/concrete/src/library/data/TLSPrivKey.java (modified) (1 diff)
src/concrete/src/library/data/TLSPubEnc.java (modified) (1 diff)
src/concrete/src/library/data/TLSSymEnc.java (modified) (1 diff)
src/concrete/src/library/data/TLSSymStreamEnc.java (modified) (1 diff)
src/concrete/src/library/data/TcpIpChannel.java (modified) (1 diff)
src/concrete/src/library/data/TcpIpChannelAlias.java (modified) (1 diff)
src/concrete/src/library/data/Timestamp.java (modified) (1 diff)
src/concrete/src/library/data/UTF8String.java (modified) (1 diff)
src/concrete/src/library/data/VerKey.java (modified) (1 diff)
src/concrete/src/library/data/tls/TlsChannelAlias.java (modified) (1 diff)
src/concrete/src/library/exceptions/EChannel.java (modified) (1 diff)
src/concrete/src/library/exceptions/EConstructor.java (modified) (1 diff)
src/concrete/src/library/exceptions/EDestructor.java (modified) (1 diff)
src/concrete/src/library/exceptions/EGenerative.java (modified) (1 diff)
src/concrete/src/library/exceptions/ELetProcess.java (modified) (1 diff)
src/concrete/src/library/exceptions/ELibrary.java (modified) (1 diff)
src/concrete/src/library/exceptions/EThread.java (modified) (1 diff)
src/expi2java/src/cmdline/Expi2JavaMain.java (modified) (1 diff)
src/expi2java/src/codegen/AbstractCodeBuilder.java (modified) (1 diff)
src/expi2java/src/codegen/CodeBuilder.java (modified) (1 diff)
src/expi2java/src/codegen/Codeable.java (modified) (1 diff)
src/expi2java/src/codegen/ECodeGeneration.java (modified) (1 diff)
src/expi2java/src/codegen/HOLFunction.java (modified) (1 diff)
src/expi2java/src/codegen/JavaCodeGenerator.java (modified) (1 diff)
src/expi2java/src/codegen/SymLibBuilder.java (modified) (1 diff)
src/expi2java/src/codegen/Templates.java (modified) (1 diff)
src/expi2java/src/exceptions/EBugFound.java (modified) (1 diff)
src/expi2java/src/exceptions/ExpiException.java (modified) (1 diff)
src/expi2java/src/parsers/exdef.jj (modified) (1 diff)
src/expi2java/src/parsers/expi.jj (modified) (1 diff)
src/expi2java/src/processes/CallProcess.java (modified) (1 diff)
src/expi2java/src/processes/CommunicationProcess.java (modified) (1 diff)
src/expi2java/src/processes/EProcess.java (modified) (1 diff)
src/expi2java/src/processes/InProcess.java (modified) (1 diff)
src/expi2java/src/processes/LetProcess.java (modified) (1 diff)
src/expi2java/src/processes/MainProcess.java (modified) (1 diff)
src/expi2java/src/processes/NullProcess.java (modified) (1 diff)
src/expi2java/src/processes/OutProcess.java (modified) (1 diff)
src/expi2java/src/processes/ParallelProcess.java (modified) (1 diff)
src/expi2java/src/processes/PreservedProcess.java (modified) (1 diff)
src/expi2java/src/processes/Process.java (modified) (1 diff)
src/expi2java/src/processes/ProcessKind.java (modified) (1 diff)
src/expi2java/src/processes/ProcessWrapper.java (modified) (1 diff)
src/expi2java/src/processes/ReplicationProcess.java (modified) (1 diff)
src/expi2java/src/processes/RestrictedProcess.java (modified) (1 diff)
src/expi2java/src/processes/ThreadWrapperProcess.java (modified) (1 diff)
src/expi2java/src/terms/ApplicationTerm.java (modified) (1 diff)
src/expi2java/src/terms/Constructor.java (modified) (1 diff)
src/expi2java/src/terms/Destructor.java (modified) (1 diff)
src/expi2java/src/terms/ETerm.java (modified) (1 diff)
src/expi2java/src/terms/FreeName.java (modified) (1 diff)
src/expi2java/src/terms/IdentifierTerm.java (modified) (1 diff)
src/expi2java/src/terms/Pattern.java (modified) (1 diff)
src/expi2java/src/terms/ReductionRule.java (modified) (1 diff)
src/expi2java/src/terms/Term.java (modified) (1 diff)
src/expi2java/src/terms/Tuple.java (modified) (1 diff)
src/expi2java/src/tree/ReallyCloneable.java (modified) (1 diff)
src/expi2java/src/tree/Scoped.java (modified) (1 diff)
src/expi2java/src/tree/TreeNode.java (modified) (1 diff)
src/expi2java/src/tree/TreeWalker.java (modified) (1 diff)
src/expi2java/src/types/AnyConfig.java (modified) (1 diff)
src/expi2java/src/types/Bound.java (modified) (1 diff)
src/expi2java/src/types/Channel.java (modified) (1 diff)
src/expi2java/src/types/ConfigVariable.java (modified) (1 diff)
src/expi2java/src/types/Constraints.java (modified) (1 diff)
src/expi2java/src/types/EDuplicatedExpiType.java (modified) (1 diff)
src/expi2java/src/types/EDuplicatedTerm.java (modified) (1 diff)
src/expi2java/src/types/EInvalidTypeParameter.java (modified) (1 diff)
src/expi2java/src/types/EType.java (modified) (1 diff)
src/expi2java/src/types/EUnknownExpiType.java (modified) (1 diff)
src/expi2java/src/types/Environment.java (modified) (1 diff)
src/expi2java/src/types/ExpiConfig.java (modified) (1 diff)
src/expi2java/src/types/ExpiParameterList.java (modified) (1 diff)
src/expi2java/src/types/ExpiType.java (modified) (1 diff)
src/expi2java/src/types/ExpiTypeVariance.java (modified) (1 diff)
src/expi2java/src/types/FunctionType.java (modified) (1 diff)
src/expi2java/src/types/RestrictedType.java (modified) (1 diff)
src/expi2java/src/types/THFTypeVar.java (modified) (1 diff)
src/expi2java/src/types/TopType.java (modified) (1 diff)
src/expi2java/src/types/TupleConfig.java (modified) (1 diff)
src/expi2java/src/types/TupleType.java (modified) (1 diff)
src/expi2java/src/types/TypeFactory.java (modified) (1 diff)
src/expi2java/src/types/TypeVarRelation.java (modified) (1 diff)
src/expi2java/src/types/TypeVariable.java (modified) (1 diff)
src/expi2java/src/types/Typeable.java (modified) (1 diff)
src/expi2java/src/types/UnknownType.java (modified) (1 diff)
src/expi2java/src/utils/Const.java (modified) (1 diff)
src/expi2java/src/utils/Util.java (modified) (1 diff)
src/expi2java/src/utils/cmdline/CmdLine.java (modified) (1 diff)
src/expi2java/src/utils/cmdline/CmdLineOption.java (modified) (1 diff)
src/symbolic/src/library/AbstractChannel.java (modified) (1 diff)
src/symbolic/src/library/AbstractGenerativeBase.java (modified) (1 diff)
src/symbolic/src/library/Concurrency.java (modified) (1 diff)
src/symbolic/src/library/Configurations.java (modified) (1 diff)
src/symbolic/src/library/Lib.java (modified) (1 diff)
src/symbolic/src/library/Semaphore.java (modified) (1 diff)
src/symbolic/src/library/exceptions/EChannel.java (modified) (1 diff)
src/symbolic/src/library/exceptions/EConstructor.java (modified) (1 diff)
src/symbolic/src/library/exceptions/EDestructor.java (modified) (1 diff)
src/symbolic/src/library/exceptions/EGenerative.java (modified) (1 diff)
src/symbolic/src/library/exceptions/ELetProcess.java (modified) (1 diff)
src/symbolic/src/library/exceptions/ELibrary.java (modified) (1 diff)
src/symbolic/src/library/exceptions/EThread.java (modified) (1 diff)
testData/expi/tls-channel.exdef (modified) (1 diff)
testData/expi/tls-channel.expi (modified) (1 diff)
testData/expi/tls-client.exdef (modified) (1 diff)
testData/expi/tls-client.expi (modified) (1 diff)
testData/expi/tls-old.exdef (modified) (1 diff)
testData/expi/tls-old.expi (modified) (1 diff)
testData/expi/tls.exdef (modified) (1 diff)
testData/expi/tls.expi (modified) (1 diff)

Legend:

: Unmodified
: Added
: Removed

trunk/README

r22476	r49634
22	22
23	23
24		Copyright (c) 2008-2009 Alex Busenius
	24	Copyright (c) 2008-2011 Alex Busenius
25	25
26	26

trunk/data/expi2java/javaTemplates/%APPLICATION%.java

r23526	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/data/expi2java/javaTemplates/Proc_%PROC_NAME%_%PROC_ID%.java

r23526	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/data/expi2java/javaTemplates/Protocol_%PROTOCOL_NAME%.java

r23526	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/data/expi2java/javaTemplates/Thread_%PROC_NAME%_%PROC_ID%.java

r23533	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/data/expi2java/symbolicTemplates/%TYPENAME%.java

r23633	r49634
2	2	* This file is part of Expi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java is free software: you can redistribute it and/or modify

trunk/data/expi2java/symbolicTemplates/AbstractBase.java

r41029	r49634
2	2	* This file is part of Expi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java is free software: you can redistribute it and/or modify

trunk/data/expi2java/tlsChannelTemplates/%APPLICATION%.java

r22914	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/AbstractAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/AbstractBase.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/AbstractChannel.java

r23634	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/AbstractGenerativeBase.java

r23634	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/Concurrency.java

r23526	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/Configurations.java

r22481	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/IChannel.java

r22335	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/IKey.java

r22335	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/Lib.java

r22239	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/ASCIIString.java

r22910	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/BigNonce.java

r22913	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Bool.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Channel.java

r49620	r49634
2	2	* This file is part of Expi2Java Concrete Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Concrete Library is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/ConsoleChannel.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Data.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/ExpiCertificate.java

r23440	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/ExpiList.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/ExpiString.java

r49620	r49634
2	2	* This file is part of Expi2Java Concrete Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Concrete Library is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/FileChannel.java

r22905	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/FileChannelAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Hash.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Identifier.java

r22910	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Int.java

r49620	r49634
2	2	* This file is part of Expi2Java Concrete Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Concrete Library is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/KeyPair.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/KeyStoreAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/KeyStoreChannel.java

r23535	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/concrete/src/library/data/MemoryChannel.java

r22905	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/MemoryChannelAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Nonce.java

r22910	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/PRFAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/PRFState.java

r23891	r49634
2	2	* This file is part of Expi2Java Concrete Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Concrete Library is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Pair.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/PrivKey.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/PubEnc.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/PubKey.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/ReturnChannel.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/SigKey.java

r22913	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Signed.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/SignedInt.java

r23428	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/SymEnc.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/concrete/src/library/data/SymKey.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/concrete/src/library/data/TLSCertificate.java

r23440	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TLSPRFChannel.java

r22905	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TLSPRFHmac.java

r22913	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TLSPrivKey.java

r22910	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TLSPubEnc.java

r22913	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TLSSymEnc.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TLSSymStreamEnc.java

r22912	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/TcpIpChannel.java

r23081	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/concrete/src/library/data/TcpIpChannelAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/Timestamp.java

r22910	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/UTF8String.java

r22913	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/VerKey.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/data/tls/TlsChannelAlias.java

r23525	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/EChannel.java

r22335	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/EConstructor.java

r22275	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/EDestructor.java

r23437	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/EGenerative.java

r22481	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/ELetProcess.java

r22275	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/ELibrary.java

r22275	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/concrete/src/library/exceptions/EThread.java

r22275	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/cmdline/Expi2JavaMain.java

r49605	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/AbstractCodeBuilder.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/CodeBuilder.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/Codeable.java

r19089	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/ECodeGeneration.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/HOLFunction.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/JavaCodeGenerator.java

r23229	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/codegen/SymLibBuilder.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/codegen/Templates.java

r23926	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/exceptions/EBugFound.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/exceptions/ExpiException.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/parsers/exdef.jj

r24216	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/parsers/expi.jj

r21448	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Initial version written for the ZK-Compiler tool

trunk/src/expi2java/src/processes/CallProcess.java

r21661	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/CommunicationProcess.java

r19046	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/processes/EProcess.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/processes/InProcess.java

r20905	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/LetProcess.java

r20905	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/MainProcess.java

r20006	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/processes/NullProcess.java

r19046	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/OutProcess.java

r25507	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/ParallelProcess.java

r23921	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/PreservedProcess.java

r20107	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/processes/Process.java

r22481	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Initially written for the ZK-Compiler tool

trunk/src/expi2java/src/processes/ProcessKind.java

r21661	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/processes/ProcessWrapper.java

r20374	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/processes/ReplicationProcess.java

r19046	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/RestrictedProcess.java

r20128	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/processes/ThreadWrapperProcess.java

r20006	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/ApplicationTerm.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/Constructor.java

r23443	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/Destructor.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/ETerm.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/FreeName.java

r19988	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/IdentifierTerm.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/Pattern.java

r18890	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/ReductionRule.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/terms/Term.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/terms/Tuple.java

r25394	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/tree/ReallyCloneable.java

r19043	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/tree/Scoped.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/tree/TreeNode.java

r20310	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/tree/TreeWalker.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/AnyConfig.java

r19140	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/Bound.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/Channel.java

r20005	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/ConfigVariable.java

r22901	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/Constraints.java

r26699	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/EDuplicatedExpiType.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/EDuplicatedTerm.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/EInvalidTypeParameter.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/EType.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/EUnknownExpiType.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/Environment.java

r26612	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/ExpiConfig.java

r22706	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/ExpiParameterList.java

r21887	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/ExpiType.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/ExpiTypeVariance.java

r23422	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/FunctionType.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/RestrictedType.java

r23920	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/THFTypeVar.java

r24792	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/TopType.java

r23925	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/TupleConfig.java

r22240	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/TupleType.java

r22908	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/TypeFactory.java

r20127	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/TypeVarRelation.java

r49620	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/TypeVariable.java

r25624	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/Typeable.java

r19089	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/types/UnknownType.java

r23920	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/utils/Const.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/expi2java/src/utils/Util.java

r22807	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/utils/cmdline/CmdLine.java

r20312	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/expi2java/src/utils/cmdline/CmdLineOption.java

r18765	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Adapted from the Spi2Java framework

trunk/src/symbolic/src/library/AbstractChannel.java

r41029	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/AbstractGenerativeBase.java

r23633	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/Concurrency.java

r23526	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/Configurations.java

r23919	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/Lib.java

r23521	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/Semaphore.java

r41029	r49634
2	2	* This file is part of eXpi2Java
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* eXpi2Java is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/EChannel.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/EConstructor.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/EDestructor.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/EGenerative.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/ELetProcess.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/ELibrary.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/src/symbolic/src/library/exceptions/EThread.java

r22337	r49634
2	2	* This file is part of Expi2Java Symbolic Library
3	3	*
4		* Copyright (c) 2008-2009 Alex Busenius
	4	* Copyright (c) 2008-2011 Alex Busenius
5	5	*
6	6	* Expi2Java Symbolic Library is free software: you can redistribute it and/or modify

trunk/testData/expi/tls-channel.exdef

r23890	r49634
13	13	* along with this program. If not, see <http://www.gnu.org/licenses/>.
14	14	*
15		* Copyright (c) 2008-2009 Alex Busenius
	15	* Copyright (c) 2008-2011 Alex Busenius
16	16	*
17	17	*

trunk/testData/expi/tls-channel.expi

r23890	r49634
16	16	* along with this program. If not, see <http://www.gnu.org/licenses/>.
17	17	*
18		* Copyright (c) 2008-2009 Alex Busenius
	18	* Copyright (c) 2008-2011 Alex Busenius
19	19	*
20	20	*

trunk/testData/expi/tls-client.exdef

r22899	r49634
13	13	* along with this program. If not, see <http://www.gnu.org/licenses/>.
14	14	*
15		* Copyright (c) 2008-2009 Alex Busenius
	15	* Copyright (c) 2008-2011 Alex Busenius
16	16	*
17	17	*

trunk/testData/expi/tls-client.expi

r23042	r49634
16	16	* along with this program. If not, see <http://www.gnu.org/licenses/>.
17	17	*
18		* Copyright (c) 2008-2009 Alex Busenius
	18	* Copyright (c) 2008-2011 Alex Busenius
19	19	*
20	20	*

trunk/testData/expi/tls-old.exdef

r22899	r49634
13	13	* along with this program. If not, see <http://www.gnu.org/licenses/>.
14	14	*
15		* Copyright (c) 2008-2009 Alex Busenius
	15	* Copyright (c) 2008-2011 Alex Busenius
16	16	*
17	17	*

trunk/testData/expi/tls-old.expi

r22899	r49634
16	16	* along with this program. If not, see <http://www.gnu.org/licenses/>.
17	17	*
18		* Copyright (c) 2008-2009 Alex Busenius
	18	* Copyright (c) 2008-2011 Alex Busenius
19	19	*
20	20	*

trunk/testData/expi/tls.exdef

r24218	r49634
13	13	* along with this program. If not, see <http://www.gnu.org/licenses/>.
14	14	*
15		* Copyright (c) 2008-2009 Alex Busenius
	15	* Copyright (c) 2008-2011 Alex Busenius
16	16	*
17	17	*

trunk/testData/expi/tls.expi

r23890	r49634
16	16	* along with this program. If not, see <http://www.gnu.org/licenses/>.
17	17	*
18		* Copyright (c) 2008-2009 Alex Busenius
	18	* Copyright (c) 2008-2011 Alex Busenius
19	19	*
20	20	*

Note: See TracChangeset for help on using the changeset viewer.