Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
scribble-java-master
modules
cli
src
main
java
org
scribble
cli
CommandLine.java
CommandLineArgParser.java
CommandLineException.java
main
MainContext.java
test
java
scribtest
AllTest.java
BadTest.java
ExecUtil.java
GoodTest.java
Harness.java
IgnoredDirectoryWhenFilter.java
JavaProcessBuilder.java
core
src
main
java
org
scribble
ast
AstFactory.java
AstFactoryImpl.java
Choice.java
CompoundInteraction.java
CompoundInteractionNode.java
ConnectionAction.java
Constants.java
Continue.java
DataTypeDecl.java
Do.java
DoArg.java
DoArgList.java
DoArgNode.java
HeaderParamDecl.java
HeaderParamDeclList.java
ImportDecl.java
ImportModule.java
InteractionNode.java
InteractionSeq.java
Interrupt.java
Interruptible.java
MessageNode.java
MessageSigNameDecl.java
MessageSigNode.java
MessageTransfer.java
Module.java
ModuleDecl.java
ModuleMember.java
NameDeclNode.java
NonProtocolDecl.java
NonRoleArg.java
NonRoleArgList.java
NonRoleArgNode.java
NonRoleParamDecl.java
NonRoleParamDeclList.java
Parallel.java
PayloadElem.java
PayloadElemList.java
ProtocolBlock.java
ProtocolDecl.java
ProtocolDef.java
ProtocolHeader.java
ProtocolKindNode.java
Recursion.java
RoleArg.java
RoleArgList.java
RoleDecl.java
RoleDeclList.java
ScopedNode.java
ScribNode.java
ScribNodeBase.java
SimpleInteractionNode.java
UnaryPayloadElem.java
context
DependencyMap.java
ModuleContext.java
ProtocolDeclContext.java
global
GDependencyMap.java
GProtocolDeclContext.java
local
LDependencyMap.java
LProjectionDeclContext.java
LProtocolDeclContext.java
global
GChoice.java
GCompoundInteractionNode.java
GConnect.java
GContinue.java
GDelegationElem.java
GDisconnect.java
GDo.java
GInteractionNode.java
GInteractionSeq.java
GInterrupt.java
GInterruptible.java
GMessageTransfer.java
GNode.java
GParallel.java
GProtocolBlock.java
GProtocolDecl.java
GProtocolDef.java
GProtocolHeader.java
GRecursion.java
GSimpleInteractionNode.java
GWrap.java
local
LAccept.java
LCatches.java
LChoice.java
LCompoundInteractionNode.java
LConnect.java
LConnectionAction.java
LContinue.java
LDelegationElem.java
LDisconnect.java
LDo.java
LInteractionNode.java
LInteractionSeq.java
LInterrupt.java
LInterruptible.java
LMessageTransfer.java
LNode.java
LParallel.java
LProtocolBlock.java
LProtocolDecl.java
LProtocolDef.java
LProtocolHeader.java
LReceive.java
LRecursion.java
LSend.java
LSimpleInteractionNode.java
LThrows.java
LWrapClient.java
LWrapServer.java
SelfRoleDecl.java
name
NameNode.java
PayloadElemNameNode.java
qualified
DataTypeNode.java
GProtocolNameNode.java
LProtocolNameNode.java
MemberNameNode.java
MessageSigNameNode.java
ModuleNameNode.java
ProtocolNameNode.java
QualifiedNameNode.java
simple
AmbigNameNode.java
DummyProjectionRoleNode.java
NonRoleParamNode.java
OpNode.java
RecVarNode.java
RoleNode.java
ScopeNode.java
SimpleNameNode.java
codegen
java
endpointapi
AcceptSocketGenerator.java
ApiGenerator.java
AuxStateChannelTypeGenerator.java
BranchSocketGenerator.java
CaseSocketGenerator.java
EndSocketGenerator.java
HandlerInterfaceGenerator.java
InputFutureGenerator.java
OutputSocketGenerator.java
ReceiveSocketGenerator.java
ScribSocketGenerator.java
SessionApiGenerator.java
StateChannelApiGenerator.java
StateChannelTypeGenerator.java
ioifaces
ActionInterfaceGenerator.java
BranchInterfaceGenerator.java
CaseInterfaceGenerator.java
HandleInterfaceGenerator.java
IOInterfaceGenerator.java
IOInterfacesGenerator.java
IOStateInterfaceGenerator.java
ReceiveInterfaceGenerator.java
SelectInterfaceGenerator.java
SuccessorInterfaceGenerator.java
util
AbstractMethodBuilder.java
ClassBuilder.java
ConstructorBuilder.java
EnumBuilder.java
FieldBuilder.java
InterfaceBuilder.java
JavaBuilder.java
MethodBuilder.java
TypeBuilder.java
del
ChoiceDel.java
CompoundInteractionDel.java
CompoundInteractionNodeDel.java
ConnectionActionDel.java
ContinueDel.java
DefaultDel.java
DoArgListDel.java
DoDel.java
HeaderParamDeclListDel.java
ImportModuleDel.java
InteractionNodeDel.java
InteractionSeqDel.java
InterruptibleDel.java
MessageTransferDel.java
ModuleDel.java
NonRoleArgListDel.java
NonRoleParamDeclDel.java
NonRoleParamDeclListDel.java
ParallelDel.java
ProtocolBlockDel.java
ProtocolDeclDel.java
ProtocolDefDel.java
RecursionDel.java
RoleArgListDel.java
RoleDeclDel.java
RoleDeclListDel.java
ScribDel.java
ScribDelBase.java
SimpleInteractionNodeDel.java
global
GChoiceDel.java
GCompoundInteractionNodeDel.java
GConnectDel.java
GContinueDel.java
GDelegationElemDel.java
GDisconnectDel.java
GDoDel.java
GInteractionNodeDel.java
GInteractionSeqDel.java
GInterruptibleDel.java
GMessageTransferDel.java
GParallelDel.java
GProtocolBlockDel.java
GProtocolDeclDel.java
GProtocolDefDel.java
GRecursionDel.java
GSimpleInteractionNodeDel.java
GWrapDel.java
local
LAcceptDel.java
LChoiceDel.java
LCompoundInteractionNodeDel.java
LConnectDel.java
LConnectionActionDel.java
LContinueDel.java
LDisconnectDel.java
LDoDel.java
LInteractionNodeDel.java
LInteractionSeqDel.java
LMessageTransferDel.java
LParallelDel.java
LProjectionDeclDel.java
LProtocolBlockDel.java
LProtocolDeclDel.java
LProtocolDefDel.java
LReceiveDel.java
LRecursionDel.java
LSendDel.java
LSimpleInteractionNodeDel.java
LWrapClientDel.java
LWrapServerDel.java
name
AmbigNameNodeDel.java
DataTypeNodeDel.java
MessageSigNameNodeDel.java
ParamNodeDel.java
RecVarNodeDel.java
RoleNodeDel.java
main
DefaultModuleLoader.java
Job.java
JobContext.java
ModuleLoader.java
RuntimeScribbleException.java
ScribbleException.java
ScribbleRuntimeException.java
Todo.java
resource
AbstractResource.java
DirectoryResourceLocator.java
FileResource.java
IResourceLocator.java
InlineResource.java
Resource.java
ResourceLocator.java
model
GraphBuilderUtil.java
MAction.java
MPrettyPrint.java
MPrettyState.java
MState.java
endpoint
AutParser.java
EFSM.java
EGraph.java
EGraphBuilderUtil.java
EState.java
EStateKind.java
actions
EAccept.java
EAction.java
EConnect.java
EDisconnect.java
EReceive.java
ESend.java
EWrapClient.java
EWrapServer.java
global
SBuffers.java
SConfig.java
SGraph.java
SModel.java
SState.java
SStateErrors.java
actions
SAccept.java
SAction.java
SConnect.java
SDisconnect.java
SReceive.java
SSend.java
SWrapClient.java
SWrapServer.java
net
Buf.java
ObjectStreamFormatter.java
ScribFuture.java
ScribInterrupt.java
ScribMessage.java
ScribMessageFormatter.java
scribsock
AcceptSocket.java
AffineSocket.java
BranchSocket.java
CaseSocket.java
ConnectSocket.java
EndSocket.java
InitSocket.java
LinearSocket.java
OutputSocket.java
ReceiveSocket.java
SSLSocketChannelServer.java
ScribServerSocket.java
ScribSocket.java
SocketChannelServer.java
session
BinaryChannelEndpoint.java
BinaryChannelWrapper.java
EndpointInputQueues.java
ExplicitEndpoint.java
MPSTEndpoint.java
OpEnum.java
Principal.java
SSLSocketChannelWrapper.java
ScribInputSelector.java
Session.java
SessionEndpoint.java
SocketChannelEndpoint.java
SocketEndpoint.java
SocketWrapper.java
sesstype
Arg.java
Message.java
MessageSig.java
Payload.java
SessionTypeFactory.java
SubprotocolSig.java
kind
AbstractKind.java
AmbigKind.java
DataTypeKind.java
Global.java
ImportKind.java
Kind.java
Local.java
MessageIdKind.java
ModuleKind.java
ModuleMemberKind.java
NonProtocolKind.java
NonRoleArgKind.java
NonRoleParamKind.java
OpKind.java
PackageKind.java
ParamKind.java
PayloadTypeKind.java
ProtocolKind.java
RecVarKind.java
RoleKind.java
ScopeKind.java
SigKind.java
name
AbstractName.java
AmbigName.java
DataType.java
GDelegationType.java
GProtocolName.java
LProtocolName.java
MemberName.java
MessageId.java
MessageSigName.java
ModuleName.java
Name.java
Named.java
Op.java
PackageName.java
PayloadType.java
ProtocolName.java
QualifiedName.java
RecVar.java
Role.java
Scope.java
util
Caller.java
ConnectedMap.java
MessageIdMap.java
Pair.java
ScribParserException.java
ScribUtil.java
visit
AstVisitor.java
EnvVisitor.java
InlinedProtocolUnfolder.java
InlinedProtocolVisitor.java
NoEnvInlinedProtocolVisitor.java
NoEnvOffsetSubprotocolVisitor.java
NoEnvSubprotocolVisitor.java
NoEnvUnfoldingVisitor.java
OffsetSubprotocolVisitor.java
ProtocolDefInliner.java
SubprotocolVisitor.java
Substitutor.java
UnfoldingVisitor.java
context
EGraphBuilder.java
ModuleContextBuilder.java
ModuleContextVisitor.java
ProjectedChoiceDoPruner.java
ProjectedChoiceSubjectFixer.java
ProjectedRoleDeclFixer.java
Projector.java
ProtocolDeclContextBuilder.java
RecRemover.java
UnguardedChoiceDoProjectionChecker.java
env
ProjectionEnv.java
UnguardedChoiceDoEnv.java
env
DummyEnv.java
Env.java
InlineProtocolEnv.java
UnfoldingEnv.java
util
MessageIdCollector.java
NameCollector.java
RecVarCollector.java
RoleCollector.java
validation
GProtocolValidator.java
wf
DelegationProtocolRefChecker.java
ExplicitCorrelationChecker.java
NameDisambiguator.java
ReachabilityChecker.java
WFChoiceChecker.java
env
ExplicitCorrelationEnv.java
ReachabilityEnv.java
WFChoiceEnv.java
test
scrib
demo
fase17
travel
TravelA.java
TravelC.java
TravelS.java
travel2
Travel2A.java
Travel2C.java
Travel2S.java
exercise
calculator
Client.java
Server.java
voting
Server.java
Voter.java
scratch
scratch1
MyC.java
MyS.java
test
foo
MyA.java
MyBC.java
test1
MyC.java
MyS.java
demos
scrib
betty16
src
betty16
lec1
httplong
HttpLongC.java
HttpLongS.java
message
Body.java
HeaderField.java
HttpLongMessage.java
HttpLongMessageFormatter.java
StartLine.java
client
Accept.java
AcceptEncoding.java
AcceptLanguage.java
Connection.java
DoNotTrack.java
Host.java
RequestLine.java
UpgradeInsecureRequests.java
UserAgent.java
server
AcceptRanges.java
CRLF.java
ContentLength.java
ContentType.java
Date.java
ETag.java
HttpVersion.java
LastModified.java
Server.java
StatusCode.java
StrictTransportSecurity.java
Vary.java
Via.java
_200.java
_404.java
httpshort
HttpShortC.java
HttpShortS.java
message
HttpShortMessage.java
HttpShortMessageFormatter.java
client
Request.java
server
Response.java
lec2
adder
AdderC1.java
AdderC2.java
AdderS1.java
AdderS2.java
FibC1.java
MyAdderC.java
MyAdderS.java
MyFibC.java
smtp
MySmtpC.java
SmtpC1.java
SmtpC2.java
SmtpC3.java
SmtpC4.java
message
SmtpMessage.java
SmtpMessageFormatter.java
client
Ehlo.java
Quit.java
StartTls.java
server
_220.java
_250.java
_250d.java
bettybook
src
bettybook
http
longv
HttpLongC.java
HttpLongS.java
message
Body.java
HeaderField.java
HttpLongMessage.java
HttpLongMessageFormatter.java
StartLine.java
client
Accept.java
AcceptEncoding.java
AcceptLanguage.java
Connection.java
DoNotTrack.java
Host.java
RequestLine.java
UpgradeInsecureRequests.java
UserAgent.java
server
AcceptRanges.java
CRLF.java
ContentLength.java
ContentType.java
Date.java
ETag.java
HttpVersion.java
LastModified.java
Server.java
StatusCode.java
StrictTransportSecurity.java
Vary.java
Via.java
_200.java
_404.java
shortv
HttpShortC.java
HttpShortS.java
message
HttpShortMessage.java
HttpShortMessageFormatter.java
client
Req.java
server
Resp.java
math
rmi
RMIMath.java
RMIMathC.java
RMIMathS.java
scrib
MathC.java
MathS1.java
MathS2.java
sock
SockMathC.java
SockMathS.java
coco
src
coco
fibo
FiboA.java
FiboB.java
FiboBHandler.java
FiboMain.java
smtp
MySmtpC.java
SmtpC1.java
SmtpC2.java
SmtpC3.java
message
SmtpMessage.java
SmtpMessageFormatter.java
client
Ehlo.java
Quit.java
StartTls.java
server
_220.java
_250.java
_250d.java
fase16
src
fase16
adder
AdderC.java
AdderS.java
MyAdderC.java
smtp
SmtpC.java
message
SmtpMessage.java
SmtpMessageFormatter.java
client
Ehlo.java
Quit.java
StartTls.java
server
_220.java
_250.java
_250d.java
fib
src
fib
AdderClient.java
AdderServer.java
FibClient.java
Fibo.java
MyAdderC.java
http
src
http
longvers
HttpLongC.java
HttpLongS.java
message
Body.java
HeaderField.java
HttpLongMessage.java
HttpLongMessageFormatter.java
StartLine.java
client
Accept.java
AcceptEncoding.java
AcceptLanguage.java
Connection.java
DoNotTrack.java
Host.java
RequestLine.java
UpgradeInsecureRequests.java
UserAgent.java
server
AcceptRanges.java
CRLF.java
ContentLength.java
ContentType.java
Date.java
ETag.java
HttpVersion.java
LastModified.java
Server.java
StatusCode.java
StrictTransportSecurity.java
Vary.java
Via.java
_200.java
_404.java
shortvers
HttpShortC.java
HttpShortS.java
message
HttpShortMessage.java
HttpShortMessageFormatter.java
client
Request.java
server
Response.java
loan
src
loan
LoanApplicant.java
LoanApplicationPortal.java
LoanFinanceDept.java
LoanProcessingDept.java
smtp
src
smtp
EraserThread.java
SimpleSmtpC.java
SmtpC.java
message
SmtpMessage.java
SmtpMessageFormatter.java
client
Auth.java
Data.java
DataLine.java
Ehlo.java
EndOfData.java
Mail.java
Quit.java
Rcpt.java
StartTls.java
Subject.java
server
_220.java
_221.java
_235.java
_250.java
_250d.java
_354.java
_501.java
_535.java
travel
src
travel
BookingA.java
BookingC.java
BookingS.java
tutorial
src
tutorial
adder
AdderC.java
AdderS.java
parser
src
main
java
org
scribble
parser
AntlrConstants.java
AntlrParser.java
ScribModuleLoader.java
ScribParser.java
ast
AntlrDataTypeDecl.java
AntlrExtIdentifier.java
AntlrImportModule.java
AntlrMessageSig.java
AntlrMessageSigDecl.java
AntlrModule.java
AntlrModuleDecl.java
AntlrNonRoleArgList.java
AntlrNonRoleParamDecl.java
AntlrNonRoleParamDeclList.java
AntlrPayloadElemList.java
AntlrRoleArg.java
AntlrRoleArgList.java
AntlrRoleDecl.java
AntlrRoleDeclList.java
global
AntlrGChoice.java
AntlrGConnect.java
AntlrGContinue.java
AntlrGDisconnect.java
AntlrGDo.java
AntlrGInteractionSequence.java
AntlrGInterrupt.java
AntlrGInterruptible.java
AntlrGMessageTransfer.java
AntlrGParallel.java
AntlrGProtocolBlock.java
AntlrGProtocolDecl.java
AntlrGProtocolDefinition.java
AntlrGProtocolHeader.java
AntlrGRecursion.java
AntlrGWrap.java
name
AntlrAmbigName.java
AntlrQualifiedName.java
AntlrSimpleName.java
util
ScribParserUtil.java
package org.scribble.sesstype.kind; public interface NonProtocolKind extends Kind { }