07-30-2009
Quote:
As I already told you I'm trying to modify it based on 2 editions.
Edition1. )
Instead of comparing input 1 first range value I would like to compare input 1
all range values based on their specific keys.
The script I posted compares the ranges in the file input2 with
all the ranges
for the relative key in file input1 (not only the first one).
Quote:
Edition2. )
If any range value of input 1 of their specific key overlaps with any range value of input 2
it comes under G and H RANGES (Highlited in green boxes) based on the ""lower"" or """upper""
Could you try to elaborate further on the difference between the
E/F and
G/H ranges?
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
i would like to enter (user input) a bunch of numbers seperated by space:
10 15 20 25
and use awk to print out any lines in a file that have matching numbers
so output is:
22 44 66 55 (10) 77 (20)
(numbers 10 and 20 matched for example)
is this possible in awk . im using gawk for... (5 Replies)
Discussion started by: tanku
5 Replies
2. Shell Programming and Scripting
I am looking for a better way to match real numbers within a specified tolerance range. My current code is as follows:
if ($1 !~ /^CASE/) for(i=1;i in G;i++) if (G >= $5-1 && G <= $5+1)
{ print $1,$4,$5,J,G }
else { print $1,"NO MATCH" }
where $5 and G are... (3 Replies)
Discussion started by: cold_Que
3 Replies
3. Shell Programming and Scripting
Hi Everyone,
Here's a snippet of my data:
File 1 = testRef2:
A1BG - 13208 13284
AAA1 - 34758475 34873943
AAAS - 53701240 53715412File 2 = 42MLN.3.bedS2:
13208
13208
13360
13363
13484
13518
13518My awk script:
awk 'NR == FNR{a=$1;next} {$1>=a}{$1<=a}{print... (5 Replies)
Discussion started by: heecha
5 Replies
4. Shell Programming and Scripting
Hi ,
How do i found out all the number in a range ( HEX)
for example
Input is
15CF:15D2
Output needed
15CF
15D0
15D1
15D2
Thanks (2 Replies)
Discussion started by: greycells
2 Replies
5. Shell Programming and Scripting
Hello,
I have a text file with lines that look like this:
1974 12 27 -0.72743 -1.0169 2 1.25029
1974 12 28 -0.4958 -0.72926 2 0.881839
1974 12 29 -0.26331 -0.53426 2 0.595623
1974 12 30 7.71432E-02 -0.71887 3 0.723001
1974 12 31 0.187789 -1.07114 3 1.08748
1975 1 1 0.349933 -1.02217... (2 Replies)
Discussion started by: meridionaljet
2 Replies
6. Shell Programming and Scripting
Hello to all,
I hope some awk guru could help me.
I have 2 input files:
File1: Is the complete database
File2: Contains some numbers which I want to compare
File1:
"NUMBERKEY","SERVICENAME","PARAMETERNAME","PARAMETERVALUE","ALTERNATENUMBERKEY"... (9 Replies)
Discussion started by: Ophiuchus
9 Replies
7. Shell Programming and Scripting
Hi Experts,
I am finding difficulty to get exact match:
file
OPERATING_SYSTEM=HP-UX
LOOPBACK_ADDRESS=127.0.0.1
INTERFACE_NAME="lan3"
IP_ADDRESS="10.53.52.241"
SUBNET_MASK="255.255.255.192"
BROADCAST_ADDRESS=""
INTERFACE_STATE=""
DHCP_ENABLE=0
INTERFACE_NAME="lan3:1"... (6 Replies)
Discussion started by: rveri
6 Replies
8. Shell Programming and Scripting
Hi,
I'm trying to match a filename that could be called anything from vout001 to vout252 and was trying to do a small test but I'm not getting the result I thought I would..
Can some one tell me what I'm doing wrong?
*****@********>echo $mynumber ... (4 Replies)
Discussion started by: Jazmania
4 Replies
9. Shell Programming and Scripting
Input: START
OS:: UNIX
Release: xxx
Version: xxx
END
START
OS:: LINUX
Release: xxx
Version: xxx
END
START
OS:: Windows
Release: xxx
Version: xxx
ENDHere i am trying to get all the information between START and END, only if i could match OS Type.
I can get all the data between the... (3 Replies)
Discussion started by: Dharmaraja
3 Replies
10. Shell Programming and Scripting
In the awk below I am trying to match the value in $4 of file1 with the split value from $4 in file2. I store the value of $4 in file1 in A and the split value (using the _ for the split) in array. I then strore the value in $2 as min, the value in $3 as max, and the value in $1 as chr.
If A is... (6 Replies)
Discussion started by: cmccabe
6 Replies
LEARN ABOUT DEBIAN
spadesimp
spadesimp(1) spadesimp(1)
NAME
spadesimp - simplifies SPARK verification conditions
SYNOPSIS
spadesimp [OPTIONS] [UNIT]
DESCRIPTION
The Simplifier for SPARK, spadesimp, analyses verification conditions generated by the Examiner for SPARK and attempts to discharge them
automatically. For each vcg file read, the Simplifier will produce a siv (simplified vcs) file and an optional slg (simplifier log) file.
This manual page only summarises the spadesimp command-line flags, please refer to the full Simplifier manual for further information.
OPTIONS
These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.
-help Displays command line help.
-version
Displays version information.
-nolog Do not generate a simplification log file.
-log=file_spec
Specify filename for the simplification log file.
-nowrap
Do not line wrap output files.
-verbose
Display attempted simplification strategies.
-nouserrules
Do not use user rules.
-plain Adopt a plain output style (e.g. no dates or version numbers).
-typecheck
Only typecheck the input files.
-norenum
Do not renumber hypotheses and conclusions in siv files.
-nosimplification=RANGES, -nostandardisation=RANGES, -norule_substitution=RANGES, -nocontradiction_hunt=RANGES, -nosubstitution_elimina-
tion=RANGES, -noexpression_reduction=RANGES
Adjust strategy for different VCs. RANGES can be a comma separated list of ranges. Each range can be either a single VC number or a
simple range of the form VC-VC.
-complexity_limit=LIMIT
(Limit in range 10 .. 200)
-depth_limit=LIMIT
(Limit in range 1 .. 10)
-inference_limit=LIMIT
(Limit in range 10 .. 400)
SEE ALSO
spark(1), sparksimp(1), zombiescope(1), victor(1), pogs(1)
sparkformat(1), sparkmake(1)
AUTHOR
This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
Texts.
22 March 2011 spadesimp(1)