Move to the next element in the parent array.
Move to the next element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the next element,
or None
if there is no next element or if the parent is not a
com.rojoma.json.v3.ast.JArray.
Move to the previous element in the parent array.
Move to the previous element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the previous element,
or None
if there is no previous element or if the parent is not a
com.rojoma.json.v3.ast.JArray.
Remove the current value from the tree.
Remove the current value from the tree.
A com.rojoma.json.v3.zipper.NothingZipper pointing at the hole left by removing the current value.
Replace the current value with an object.
Replace the current value with an object.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the same location but with the current value replaced.
Replace the current value with an array.
Replace the current value with an array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the same location but with the current value replaced.
Replace the current value with an atom.
Replace the current value with an atom.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the same location but with the current value replaced.
Move to a different field in the parent object.
Move to a different field in the parent object.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the new field,
or None
if that field does not exist or the parent is not a
com.rojoma.json.v3.ast.JObject.
Move up the chain of parents to the top of the object.
Move up the chain of parents to the top of the object.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the top object.
Move to the parent object.
Move to the parent object.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the parent object,
or None
if this is the top-level object.
Move to the parent object.
Move to the parent object.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the parent object.
if this is the top-level object.
The value stored at this location
The value stored at this location
Safe downcast to com.rojoma.json.v3.zipper.JArrayZipper
Safe downcast to com.rojoma.json.v3.zipper.JArrayZipper
Safe downcast to com.rojoma.json.v3.zipper.JAtomZipper
Safe downcast to com.rojoma.json.v3.zipper.JAtomZipper
Safe downcast to com.rojoma.json.v3.zipper.JObjectZipper
Safe downcast to com.rojoma.json.v3.zipper.JObjectZipper
Move to the next element in the parent array.
Move to the next element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the next element.
if there is no next element or if the parent is not a com.rojoma.json.v3.ast.JArray.
Move to the previous element in the parent array.
Move to the previous element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the previous element.
if there is no previous element or if the parent is not a com.rojoma.json.v3.ast.JArray.
Replace the current value with a new value.
Replace the current value with a new value.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the same location but with the current value replaced.
Move to a different field in the parent object.
Move to a different field in the parent object.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the new field.
if there is no such field or if the parent is not a com.rojoma.json.v3.ast.JObject.
A com.rojoma.json.v3.zipper.JsonZipper that points to a com.rojoma.json.v3.ast.JAtom.