ch.wlkl.wsh

Class Env<R,W>

java.lang.Object

ch.wlkl.wsh.Top

ch.wlkl.wsh.Env<R,W>

Type Parameters:

R -

W -

All Implemented Interfaces:

OpenClose, Read<R>, Write<W>

public class Env<R,W>
extends Top
implements Read<R>, Write<W>

manages and implements environments. An environment consists of

• standard output: out(), write(Object)
• standard input: in(), read(), read(Object)
• external FD: may be allocated on creation Env(Object[]) and deallocated by close()
• variable pool: get(Object), via(Object), hasKey(Object), put(Object, Object), remove(Object)

maintains a stack of environment, top of stacks is the active environment. environments can be pushed on the stack, popped from the stack and be piped.

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.Map<java.lang.Object,java.lang.Object>	variables

Fields inherited from class ch.wlkl.wsh.Top

emptyStrings, trace

Constructor Summary

Constructors

Constructor and Description
Env()
Env(boolean ini)
Env(java.lang.Object... args)

Method Summary

Modifier and Type	Method and Description
Env<R,W>	addRedirs(java.lang.Object... objs)
static <W> Env<?,W>	bar() bar operator.
static <W> Env<?,W>	barBegin() begin a new pipe.
static Env<?,?>	barEnd() end a pipe.
static Env<?,?>	barLast() last bar of a pipe.
void	close() close the receiver.
static Run	compile(char type)
static Env<java.lang.String,java.lang.String>	env()
static <R,W> Env<R,W>	env(R r, W w)
java.lang.Object	get(java.lang.Object key)
boolean	hasKey(java.lang.Object key)
boolean	hasKey(java.lang.Object key, java.lang.Class<?> cl)
Read<R>	in()
Read<W>	lazyOrClose()
static JavaCmpLoad<Run>	loader()
static <U,V> Env<U,V>	make(Env<U,V> type, java.lang.Object... args)
void	open(java.lang.String opt) open the receiver for read or write.
Write<W>	out()
static Read<?>	pop() pop the current environment from the stack.
static <R,W> Env<R,W>	push(Env<R,W> e) push an environment on the stack, making it the current environment
<T> T	put(java.lang.Object key, T val)
<T,V extends T> T	put(java.lang.Object key, T type, V val)
R	read() return the next line or null iff at end.
boolean	read(java.lang.Object key)
void	readWrite()
void	remove(java.lang.Object key)
void	reset(java.lang.Object... args) redefine the receiver by args.
static void	run(java.lang.String name)
java.lang.Object	via(java.lang.Object keyObj)
void	write(W arg) write the next line.
void	writeAll(java.lang.String opt, Read<W> lo) write the contents of reader to the receiver.

Methods inherited from class ch.wlkl.wsh.Top

fail, name, nameCnt, say, sFail, sFail, sSay, sSay, sTrc, sTrc, toString, trc

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

variables

public static final java.util.Map<java.lang.Object,java.lang.Object> variables

Constructor Detail

Env

public Env(boolean ini)

Env

public Env()

Env

public Env(java.lang.Object... args)

Method Detail

env

public static Env<java.lang.String,java.lang.String> env()

Returns:

the current environment

env

public static <R,W> Env<R,W> env(R r,
                                 W w)

Returns:

the current environment casted to Env<R, W>

push

public static <R,W> Env<R,W> push(Env<R,W> e)

push an environment on the stack, making it the current environment

Parameters:

e - the environment to push

Returns:

e

pop

public static Read<?> pop()

pop the current environment from the stack. If possible convert standard input to a reader an return it

Returns:

standard input of popped enviornment casted to a reader

barBegin

public static <W> Env<?,W> barBegin()

begin a new pipe. Push new environment to the stack

bar

public static <W> Env<?,W> bar()

bar operator. Pop current environment and push a new environment with the old standard out as standard in to the stack.

barLast

public static Env<?,?> barLast()

last bar of a pipe. Pop current environment and push a new environment with the old standard out as standard in and the standard output before barBegin to the stack.

barEnd

public static Env<?,?> barEnd()

end a pipe. Pop current environment which must be pushed by barLast

loader

public static JavaCmpLoad<Run> loader()

compile

public static Run compile(char type)

run

public static void run(java.lang.String name)

make

public static <U,V> Env<U,V> make(Env<U,V> type,
                                  java.lang.Object... args)

reset

public void reset(java.lang.Object... args)

Description copied from interface: OpenClose

redefine the receiver by args. After reset the receiver should be initialised to args as after new...(args). If the receiver is open, reset should close it before reinitialising.

Specified by:

reset in interface OpenClose

Parameters:

args - the specification for the next open

in

public Read<R> in()

out

public Write<W> out()

addRedirs

public Env<R,W> addRedirs(java.lang.Object... objs)

read

public R read()

Description copied from interface: Read

return the next line or null iff at end. Fail it not open for reading. How to fail is unspecified, a null pointer exception or a Top.fail(String) are common possibilities.

Specified by:

read in interface Read<R>

Returns:

the next line

open

public void open(java.lang.String opt)

Description copied from interface: OpenClose

open the receiver for read or write. If already open, close it first.

Specified by:

open in interface OpenClose

Parameters:

opt - the first character means the following:

• "r" open for read
• "w" open for write, erase previous content
• "a" open for write, append to previous content

an implementation may only support a part of these possiblities or add further ones.

close

public void close()

Description copied from interface: OpenClose

close the receiver. if not open do nothing.

Specified by:

close in interface OpenClose

lazyOrClose

public Read<W> lazyOrClose()

writeAll

public void writeAll(java.lang.String opt,
                     Read<W> lo)

Description copied from interface: Write

write the contents of reader to the receiver. reading of the reader may be delayed until the output is needed. open and close reader as specified by opt. fail if arg is null or not properly opened. How to fail is unspecified, a null pointer exception or a Top.fail(String) are common possibilities.

Specified by:

writeAll in interface Write<W>

readWrite

public void readWrite()

write

public void write(W arg)

Description copied from interface: Write

write the next line. fail if arg is null or not open for writing. How to fail is unspecified, a null pointer exception or a Top.fail(String) are common possibilities.

Specified by:

write in interface Write<W>

get

public java.lang.Object get(java.lang.Object key)

via

public java.lang.Object via(java.lang.Object keyObj)

hasKey

public boolean hasKey(java.lang.Object key)

hasKey

public boolean hasKey(java.lang.Object key,
                      java.lang.Class<?> cl)

put

public <T> T put(java.lang.Object key,
                 T val)

put

public <T,V extends T> T put(java.lang.Object key,
                             T type,
                             V val)

remove

public void remove(java.lang.Object key)

read

public boolean read(java.lang.Object key)